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

◆ spair_make_skew()

gbA::spair * gbA::spair_make_skew ( int i,
int v )
private

Definition at line 491 of file gb-default.cpp.

492{
493 spair *result;
494 int j;
495 gbelem *g1 = gb[i];
496 exponents_t exp1 = g1->lead;
498 int vvar = R->skew_variable(v);
499 for (j = 0; j < _nvars; j++) exp2[j] = 0;
500 exp2[vvar] = 2;
501 result = spair_node();
502 result->next = nullptr;
504 result->lcm = exp2;
505 exponents_lcm(_nvars, g1->deg, exp1, exp2, exp2, gb_weights, result->deg);
506 result->x.pair.i = i;
507 result->x.pair.j = v;
508
509 return result;
510}
exponents::Exponents exponents_t
GBRing * R
int _nvars
spair * spair_node()
M2_arrayint gb_weights
@ SPAIR_SKEW
exponents_t exponents_make()
void gb(IntermediateBasis &F, int n)
static void exponents_lcm(int nvars, int dega, exponents_t a, exponents_t b, exponents_t result, M2_arrayint weights, int &result_degree)
VALGRIND_MAKE_MEM_DEFINED & result(result)
const mpreal exp2(const mpreal &x, mp_rnd_t r=mpreal::get_default_rnd())
Definition mpreal.h:2299
int deg
Definition f4-types.hpp:140

References _nvars, gbA::gbelem::deg, exponents_lcm(), exponents_make(), gb(), gb_weights, gbA::gbelem::lead, R, result(), spair_node(), and SPAIR_SKEW.

Referenced by update_pairs().