Definition at line 161 of file groebner.cpp.
163{
164 try
165 {
168 if (
G->get_ring()->get_degree_ring() != h->
get_ring())
169 {
170 ERROR(
"expected Hilbert function hint to be in correct degree ring");
171 return nullptr;
172 }
173 if (
G !=
nullptr)
return G->set_hilbert_function(h);
174 ERROR(
"computation type unknown or not implemented");
175 return nullptr;
177 {
179 return nullptr;
180 }
181}
virtual GBComputation * cast_to_GBComputation()
base class for Groebner basis computations.
const Ring * get_ring() const
References Computation::cast_to_GBComputation(), clear_emit_size(), ERROR, G, and RingElement::get_ring().