recomputeHilbertFunction()

bool HilbertController::recomputeHilbertFunction ( )

private

Definition at line 68 of file hilb-fcn.cpp.

{
  if (hilb_new_elems)
    {
      // Recompute h, hf_diff
      Matrix *M = make_lead_term_matrix();
      RingElement *h = hilb_comp::hilbertNumerator(M);
      if (h == nullptr) return false;  // computation was interrupted
      hf_diff = (*h) - (*hf_orig);
      hilb_new_elems = false;
    }
  return true;
}

References hf_diff, hilb_new_elems, hilb_comp::hilbertNumerator(), make_lead_term_matrix(), and Matrix.

Referenced by setDegree().