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

symbolicContainmentMonomialCurve -- tests the containment of symbolic in ordinary powers of ideals for monomial curves.

Synopsis

Description

Tests whether I(m) ⊆In, where I is the defining ideal for the monomial curve defined by ta1, ..., tan. If no field is provided, the ideal is defined over .

i1 : symbolicContainmentMonomialCurve({3,4,5},3,2)

o1 = true

See also

Ways to use symbolicContainmentMonomialCurve :