# minDegreeSymbPower -- returns the minimal degree of a given symbolic power of an ideal.

## Description

Given an ideal $I$ and an integer $n$, returns the minimal degree of an element in $I^{(n)}$.

 i1 : T = QQ[x,y,z]; i2 : I = intersect(ideal"x,y",ideal"x,z",ideal"y,z") o2 = ideal (y*z, x*z, x*y) o2 : Ideal of T i3 : minDegreeSymbPower(I,2) o3 = 3

## Ways to use minDegreeSymbPower :

• "minDegreeSymbPower(Ideal,ZZ)"

## For the programmer

The object minDegreeSymbPower is .