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

TermOrder -- optional argument for polyoIdeal

Description

Change the term order for the ambient ring returned by polyoIdeal in the case that the option RingChoice is equal to 1.
This option can be used just when RingChoice => 1.

i1 : Q={{{1,1},{2,2}},{{2,2},{3,3}},{{3,3},{4,4}}};
 
i2 : I = polyoIdeal(Q,RingChoice=>1,TermOrder=> GRevLex);

o2 : 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
 
i3 : R=ring I;
 
i4 : describe R

o4 = 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 :

For the programmer

The object TermOrder is a symbol.