auto_reduce()

void MarkedGB::auto_reduce ( )

protected

Definition at line 116 of file reducedgb-marked.cpp.

{
  // For each element, reduce all terms which are not
  // the marked lead term
  ring_elem not_used;
 
  for (int i = 0; i < polys.size(); i++)
    marked_remainder(polys[i], false, not_used, leadterms[i]);
}

References leadterms, and marked_remainder().

Referenced by add_marked_elems().