366{
367
369 if (nv == 0)
370 {
372 return nullptr;
373 }
374
375 mpz_t *topvec = nullptr;
376 if (top->len > 0)
377 {
379 for (int i = 0; i < top->len; i++)
380 mpz_init_set_si(topvec[i], top->array[i]);
381 }
382
384
385
386 if (topvec != nullptr)
387 {
388 for (int i = 0; i < top->len; i++) mpz_clear(topvec[i]);
390 }
391
393}
Engine-side monomial ideal: a decision tree of Nmi_nodes storing the (typically minimal) generators b...
void INTERNAL_ERROR(const char *s,...)
VALGRIND_MAKE_MEM_DEFINED & result(result)
static MonomialIdeal * FrobbyAlexanderDual(const MonomialIdeal *I, const mpz_t *topvec)