Macaulay2 » Documentation
Packages » SymbolicPowers :: symbolicPowerJoin

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

symbolicPowerJoin -- computes the symbolic power of the prime ideal using join of ideals.

Synopsis

Usage:

symbolicPowerJoin(P,n)
Inputs:
- P, an ideal,
- n, an integer,
Outputs:
- an ideal, the n-th symbolic power of P

Description

Computes the $n$-th symbolic power of the prime ideal $P$, using join of ideals.

This is the algorithm in Seth Sullivant's "Combinatorial symbolic powers", J. Algebra 319 (2008), no. 1, 115-142.

i1 : A = QQ[x,y,z];

i2 : symbolicPowerJoin(ideal(x,y),2)

             2        2
o2 = ideal (y , x*y, x )

o2 : Ideal of A

See also

joinIdeals -- Computes the join of the given ideals

Ways to use symbolicPowerJoin:

symbolicPowerJoin(Ideal,ZZ)

For the programmer

The object symbolicPowerJoin is a method function.