Definition at line 105 of file gb-sugarless.cpp.
112{
113 (void) use_max_degree_limit;
114 (void) max_degree_limit;
117 {
118 ERROR(
"expected polynomial ring over a field");
119 return nullptr;
120 }
124}
GBinhom_comp(const Matrix *m, int collect_syz, int n_syz, M2_arrayint gb_weights, int strategy)
const Ring * get_ring() const
virtual const Ring * getCoefficients() const
virtual bool is_ZZ() const
virtual const PolynomialRing * cast_to_PolynomialRing() const
VALGRIND_MAKE_MEM_DEFINED & result(result)
References Ring::cast_to_PolynomialRing(), collect_syz, ERROR, GBinhom_comp(), Matrix::get_ring(), PolynomialRing::getCoefficients(), Ring::is_ZZ(), Matrix, result(), and strategy.
Referenced by GBComputation::choose_gb().