Macaulay2 Engine
Loading...
Searching...
No Matches

◆ create()

GBinhom_comp * GBinhom_comp::create ( const Matrix * m,
M2_bool collect_syz,
int n_rows_to_keep,
M2_arrayint gb_weights,
int strategy,
M2_bool use_max_degree,
int max_degree )
static

Definition at line 105 of file gb-sugarless.cpp.

112{
113 (void) use_max_degree_limit;
114 (void) max_degree_limit;
115 const PolynomialRing *P = m->get_ring()->cast_to_PolynomialRing();
116 if (P == nullptr || P->getCoefficients()->is_ZZ())
117 {
118 ERROR("expected polynomial ring over a field");
119 return nullptr;
120 }
122 new GBinhom_comp(m, collect_syz, n_rows_to_keep, gb_weights, strategy);
123 return result;
124}
GBinhom_comp(const Matrix *m, int collect_syz, int n_syz, M2_arrayint gb_weights, int strategy)
const Ring * get_ring() const
Definition matrix.hpp:134
virtual const Ring * getCoefficients() const
Definition polyring.hpp:277
virtual bool is_ZZ() const
Definition ring.hpp:171
virtual const PolynomialRing * cast_to_PolynomialRing() const
Definition ring.hpp:243
const int ERROR
Definition m2-mem.cpp:55
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().