HilbertController()

HilbertController::HilbertController	(	const FreeModule *	F0,
		const RingElement *	hf )

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

    : F(F0),
      leadterms(nullptr),  // set later
      hilb_new_elems(true),
      hilb_n_in_degree(0),  // will be really set later
      hf_orig(hf),
      hf_diff(nullptr)  // will be set later
{
  // TODO: check and write
  R = F->get_ring()->cast_to_PolynomialRing();
}

References F, hf_diff, hf_orig, hilb_n_in_degree, hilb_new_elems, leadterms, and R.