next | previous | forward | backward | up | top | index | toc | Macaulay2 web site

mons2intmat -- matrix of leading exponents

Synopsis

Description

This function returns the Matrix whose rows represent the leading exponents of the elements of I. The length of each row is the numbers of variables of the ambient ring of I.
i1 : R=ZZ/37[x,y,t];
i2 : J=ideal(x^3, x^2*y, y^3, x*y^2,x*y^2*t^7);

o2 : Ideal of R
i3 : m=mons2intmat(J)

o3 = | 3 0 0 |
     | 2 1 0 |
     | 0 3 0 |
     | 1 2 0 |
     | 1 2 7 |

              5        3
o3 : Matrix ZZ  <--- ZZ
i4 : I=intmat2mons(m,R)

             3   2    3     2     2 7
o4 = ideal (x , x y, y , x*y , x*y t )

o4 : Ideal of R
i5 : I==J

o5 = true

See also

Ways to use mons2intmat :