isSymbPowerContainedinPower -- tests if the m-th symbolic power an ideal is contained the n-th power

Synopsis

Usage:

isSymbPowerContainedinPower(I,m,n)
Inputs:
- I, an ideal,
- m, an integer,
- n, an integer,
Optional inputs:
- CIPrimes => ..., default value false, compute the symbolic power by taking the intersection of the powers of the primary components
- UseMinimalPrimes => ..., default value false, an option to only use minimal primes to calculate symbolic powers
Outputs:
- a Boolean value, whether the m-th symbolic power of $I$ is contained in the n-th power

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

o1 = R

o1 : PolynomialRing

i2 : J = ideal(x,y)

o2 = ideal (x, y)

o2 : Ideal of R

i3 : isSymbPowerContainedinPower(J,3,2)

o3 = true