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