pair_not_needed()

bool F4SPairSet::pair_not_needed ( spair * p, gbelem * m )

private

Definition at line 81 of file f4-spairs.cpp.

{
  // if (p->type != SPairType::SPair && p->type != SPairType::Ring) return false;
  if (p->type != SPairType::SPair) return false;
  if (M->get_component(p->lcm) != M->get_component(m->f.monoms)) return false;
  return M->unnecessary(
      m->f.monoms, gb[p->i]->f.monoms, gb[p->j]->f.monoms, p->lcm);
}

References gbelem::f, gb, M, GBF4Polynomial::monoms, p, and SPair.

Referenced by remove_unneeded_pairs().