next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
SymbolicPowers :: symbolicDefect

symbolicDefect -- computes the symbolic defect of an ideal

Synopsis

Description

Given an ideal I and integer m, this method returns the size of a minimal generating set for the m-th symbolic power of I modulo Im.

i1 : R = QQ[x,y,z]

o1 = R

o1 : PolynomialRing
i2 : I = ideal(x*y,x*z,y*z);

o2 : Ideal of R
i3 : symbolicDefect(I,2)

o3 = 1

Ways to use symbolicDefect :