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

◆ GBKernelComputation()

GBKernelComputation::GBKernelComputation ( const GBMatrix * m)

Definition at line 69 of file Eschreyer.cpp.

70 : F(m->get_free_module()),
71 n_ones(0),
72 n_unique(0),
73 n_others(0),
75{
76 const PolynomialRing *R0 = F->get_ring()->cast_to_PolynomialRing();
77 GR = R0->get_gb_ring();
78 R = R0;
79 K = R->getCoefficients();
80 M = R->getMonoid();
81
83 SF = F->get_schreyer_order();
84 SG = G->get_schreyer_order();
85
86 exp_size = EXPONENT_BYTE_SIZE(M->n_vars());
87 monom_size = MONOMIAL_BYTE_SIZE(M->monomial_size());
88
89 // Set 'gb'.
90 strip_gb(m);
91}
static FreeModule * make_schreyer(const Matrix *m)
Definition freemod.cpp:53
const FreeModule * F
Definition Eschreyer.hpp:93
const FreeModule * G
Definition Eschreyer.hpp:94
void strip_gb(const gc_vector< gbvector * > &m)
const SchreyerOrder * SF
Definition Eschreyer.hpp:91
const PolynomialRing * R
Definition Eschreyer.hpp:87
const SchreyerOrder * SG
Definition Eschreyer.hpp:92
const Monoid * M
Definition Eschreyer.hpp:90
virtual GBRing * get_gb_ring() const
Definition polyring.hpp:276
#define MONOMIAL_BYTE_SIZE(mon_size)
Definition monoid.hpp:66
#define EXPONENT_BYTE_SIZE(nvars)
Definition monoid.hpp:63
const FreeModule * get_free_module() const
Definition Eschreyer.hpp:61

References exp_size, EXPONENT_BYTE_SIZE, F, G, PolynomialRing::get_gb_ring(), GR, K, M, FreeModule::make_schreyer(), monom_size, MONOMIAL_BYTE_SIZE, n_ones, n_others, n_unique, R, SF, SG, strip_gb(), and total_reduce_count.

Referenced by cast_to_GBKernelComputation(), and cast_to_GBKernelComputation().