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

◆ varpower_monideal()

MonomialIdeal * varpower_monideal ( const PolynomialRing * R,
const M2_arrayint top,
const_varpower vp )
static

Definition at line 803 of file monideal.cpp.

806{
807 // If m is a varpower monomial, xi1^a1 ... xin^an, create the monomial ideal
808 // (xi1^(top[i1]+1-a1), ..., xin^(top[in]+1-an))
810 for (index_varpower i = vp; i.valid(); ++i)
811 {
812 Bag *b = new Bag();
814 i.var(), top->array[i.var()] + 1 - i.exponent(), b->monom());
815 result->insert(b);
816 }
817 return result;
818}
ExponentListIterator< int, true > index_varpower
static void var(Exponent v, Exponent e, Vector &result)
Engine-side monomial ideal: a decision tree of Nmi_nodes storing the (typically minimal) generators b...
Definition monideal.hpp:136
gc_vector< int > & monom()
Definition int-bag.hpp:60
int_bag Bag
Definition int-bag.hpp:70
VALGRIND_MAKE_MEM_DEFINED & result(result)

References int_bag::monom(), result(), and ExponentList< int, true >::var().

Referenced by MonomialIdeal::alexander_dual().