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

Field -- optional argument for polyoIdeal

Description

Change the base field for the ambient ring of the ideal returned by polyoIdeal.

i1 : F = GF(81,Variable=>a)

o1 = F

o1 : GaloisField
 
i2 : Q={{{1,1},{2,2}},{{2,1},{3,2}},{{2,2},{3,3}}};
 
i3 : I = polyoIdeal(Q,Field=> F,RingChoice=>1,TermOrder=> GRevLex)

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

o3 : Ideal of F[x   , x   , x   , x   , x   , x   , x   , x   ]
                 3,3   3,2   3,1   2,3   2,2   2,1   1,2   1,1

See also

Functions with optional argument named Field:

For the programmer

The object Field is a symbol.