Macaulay2 » Documentation
Packages » SymbolicPowers :: minDegreeSymbPower

next | previous | forward | backward | up | index | toc

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

Usage:

minDegreeSymbPower(Ideal,ZZ)
Inputs:
- I, an ideal,
- n, an integer,
Outputs:
- an integer,

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 a method function.

The source of this document is in SymbolicPowers.m2:1350:0.