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

◆ spair_make()

gbA::spair * gbA::spair_make ( int i,
int j )
private

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

450{
451 gbelem *g1 = gb[i];
452 gbelem *g2 = gb[j];
453 exponents_t exp1 = g1->lead;
454 exponents_t exp2 = g2->lead;
456 result->next = nullptr;
458 result->lcm = exponents_make();
460 _nvars, g1->deg, exp1, exp2, result->lcm, gb_weights, result->deg);
461 if (g2->gap > g1->gap) result->deg += g2->gap - g1->gap;
462 result->x.pair.i = i;
463 result->x.pair.j = j;
464
465 return result;
466}
exponents::Exponents exponents_t
int _nvars
spair * spair_node()
M2_arrayint gb_weights
@ SPAIR_SPAIR
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(), gbA::gbelem::gap, gb(), gb_weights, gbA::gbelem::lead, result(), spair_node(), and SPAIR_SPAIR.

Referenced by spair_make_gcd_ZZ(), spair_make_ring(), and update_pairs().