Macaulay2 » Documentation
Packages » PolyominoIdeals » TermOrder
next | previous | forward | backward | up | index | toc

TermOrder -- optional argument for polyoIdeal and adjacent2MinorIdeal

Description

Sets the term order for the polynomial ring where the ideal is defined. Typical options include Lex, GRevLex, or other standard monomial orders.

i1 : Q = cellCollection {{1,1}, {2,1}, {2,2}};
 
i2 : I = adjacent2MinorIdeal(Q, TermOrder => GRevLex)

o2 = ideal (- x   x    + x   x   , - x   x    + x   x   , - x   x    +
               2,1 1,2    2,2 1,1     3,1 2,2    3,2 2,1     3,2 2,3  
     ------------------------------------------------------------------------
     x   x   )
      3,3 2,2

o2 : Ideal of QQ[x   , x   , x   , x   , x   , x   , x   , x   ]
                  3,3   3,2   3,1   2,3   2,2   2,1   1,2   1,1
For polyoIdeal, this option can be used just when RingChoice => 1.

i3 : Q= cellCollection {{1,1},{2,2},{3,3}};
 
i4 : I = polyoIdeal(Q,RingChoice=>1,TermOrder=> GRevLex);

o4 : Ideal of QQ[x   , x   , x   , x   , x   , x   , x   , x   , x   , x   ]
                  4,4   4,3   3,4   3,3   3,2   2,3   2,2   2,1   1,2   1,1
 
i5 : R=ring I;
 
i6 : describe R

o6 = QQ[x   , x   , x   , x   , x   , x   , x   , x   , x   , x   , Degrees => {10:1}, Heft => {1}]
         4,4   4,3   3,4   3,3   3,2   2,3   2,2   2,1   1,2   1,1

See also

Functions with optional argument named TermOrder:

  • adjacent2MinorIdeal(...,TermOrder=>...)
  • polyoIdeal(...,TermOrder=>...)

For the programmer

The object TermOrder is a symbol.

The source of this document is in PolyominoIdeals.m2:1984:0.