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

◆ create_pre_spair()

pre_spair * F4SPairSet::create_pre_spair ( int i)
private

Definition at line 218 of file f4-spairs.cpp.

219{
220 // Steps:
221 // a. allocate the space for the pre_spair and the varpower monomial
222 // b. compute the quotient and the degree
223 pre_spair *result = PS.allocate();
224 result->quot = VP.reserve(max_varpower_size);
225 result->j = j;
226 result->type = SPairType::SPair;;
227 M->quotient_as_vp(gb[j]->f.monoms,
228 gb[gb.size() - 1]->f.monoms,
229 result->quot,
230 result->deg1,
231 result->are_disjoint);
232 int len = static_cast<int>(varpower_monomials::length(result->quot));
233 VP.intern(len);
234 return result;
235}
static const Exponent length(ConstExponents m)
int max_varpower_size
const gb_array & gb
const MonomialInfo * M
F4MemoryBlock< varpower_word > VP
F4MemoryBlock< pre_spair > PS
VALGRIND_MAKE_MEM_DEFINED & result(result)

References gb, ExponentList< long, false >::length(), M, max_varpower_size, PS, result(), SPair, and VP.

Referenced by construct_pairs().