monomialIdeal Matrix -- make a monomial ideal

monomialIdeal Matrix -- make a monomial ideal

Synopsis:

Usage: I = monomialIdeal f

Function: monomialIdeal -- make a monomial ideal

Input:

f, an instance of class Matrix: a 1 by n matrix

Output:

I, an instance of class MonomialIdeal: the monomial ideal generated by the lead terms of f

i1 : R=ZZ/101[a,b,c]



o1 = R



o1 : PolynomialRing

i2 : m = monomialIdeal vars R



o2 = monomialIdeal (a, b, c)



o2 : MonomialIdeal of R

i3 : m^2



                     2        2             2

o3 = monomialIdeal (a , a*b, b , a*c, b*c, c )



o3 : MonomialIdeal of R

i4 : m^3



                     3   2      2   3   2           2      2     2   3

o4 = monomialIdeal (a , a b, a*b , b , a c, a*b*c, b c, a*c , b*c , c )



o4 : MonomialIdeal of R

Code:

     -- ../../../Macaulay2/m2/monideal.m2:63-66
     monomialIdeal Matrix := MonomialIdeal => f -> (
          if numgens target f =!= 1 then error "expected a matrix with 1 row";
          sendgg(ggPush f, ggPush 0, ggmonideal);
          newMonomialIdeal ring f)