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

## Synopsis

• Usage:
isSymbPowerContainedinPower(I,m,n)
• Inputs:
• 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:
• , whether the m-th symbolic power of $I$ is contained in the n-th power

## Description

 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