Macaulay2 » Documentation
Packages » SymbolicPowers :: containmentProblem(...,InSymbolic=>...)
next | previous | forward | backward | up | index | toc

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

Synopsis

Description

Given an ideal I and an integer n, InSymbolic is used to ask the following question: What is the largest power containing the symbolic power $I^{(n)}$?

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

Further information

Functions with optional argument named InSymbolic: