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

◆ GBRingSkew()

GBRingSkew::GBRingSkew ( const Ring * K0,
const Monoid * M0,
SkewMultiplication skew0 )
protected

Definition at line 128 of file gbring.cpp.

131 : GBRing(K0, M0)
132{
133 _is_skew = true;
134 _skew = skew0;
135 int **skew_monoms = newarray(int *, _skew.n_skew_vars());
137 for (int v = 0; v < _skew.n_skew_vars(); v++)
138 {
139 exp[_skew.skew_variable(v)]++;
140 skew_monoms[v] = M0->make_one();
141 M0->from_expvector(exp, skew_monoms[v]);
142 exp[_skew.skew_variable(v)]--;
143 }
144 _skew_monoms = skew_monoms;
145}
exponents::Exponents exponents_t
bool _is_skew
Definition gbring.hpp:150
SkewMultiplication _skew
Definition gbring.hpp:151
int *const * _skew_monoms
Definition gbring.hpp:153
friend class GBRing
Definition gbring.hpp:647
int n_vars() const
Definition monoid.hpp:207
monomial make_one() const
Definition monoid.cpp:455
void from_expvector(const_exponents exp, monomial result) const
Definition monoid.cpp:742
const mpreal exp(const mpreal &x, mp_rnd_t r=mpreal::get_default_rnd())
Definition mpreal.h:2298
#define newarray_atomic_clear(T, len)
Definition newdelete.hpp:93
#define newarray(T, len)
Definition newdelete.hpp:82

References GBRing::_is_skew, GBRing::_skew, GBRing::_skew_monoms, Monoid::from_expvector(), GBRing, Monoid::make_one(), Monoid::n_vars(), newarray, and newarray_atomic_clear.