next | previous | forward | backward | up | top | index | toc | Macaulay2 website
SymbolicPowers :: minDegreeSymbPower

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

Synopsis

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 :

For the programmer

The object minDegreeSymbPower is a method function.