Macaulay2 » Documentation
Packages » SymbolicPowers :: InSymbolic

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

InSymbolic -- an optional parameter used in containmentProblem.

Description

Set this option to true to ask the reverse containment question: which ordinary power contains a given symbolic power.

i1 : R = QQ[x,y,z];

i2 : J = ideal (x*(y^3-z^3),y*(z^3-x^3),z*(x^3-y^3));

o2 : Ideal of R

i3 : containmentProblem(J,3,InSymbolic => true)

o3 = 1

See also

containmentProblem -- computes the smallest symbolic power contained in a power of an ideal.

Functions with optional argument named InSymbolic:

containmentProblem(...,InSymbolic=>...) -- an optional parameter used in containmentProblem.

For the programmer

The object InSymbolic is a symbol.

The source of this document is in SymbolicPowers.m2:1606:0.