next | previous | forward | backward | up | top | index | toc | home

monomialIdeal(Matrix) -- monomial ideal of lead terms

Synopsis

Usage:
monomialIdeal L
Function: monomialIdeal
Inputs:
- L, a matrix, a ring element, a list, or a sequence
Outputs:
- a monomial ideal, the monomial ideal of lead terms of the elements of L

Description

If L is a matrix, then it must have only one row. For all of these types, the result is generated by only the lead terms given: no Groebner bases are computed. See monomialIdeal(Ideal) if the lead terms of a Groebner basis is desired.

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

i2 : I = monomialIdeal(a^3,b^3,c^3, a^2-b^2)

                     2   3   3
o2 = monomialIdeal (a , b , c )

o2 : MonomialIdeal of R

i3 : M = monomialIdeal vars R

o3 = monomialIdeal (a, b, c)

o3 : MonomialIdeal of R

i4 : J = monomialIdeal 0_R

o4 = 0

o4 : MonomialIdeal of R

See also

MonomialIdeal -- the class of all monomial ideals handled by the engine