Given ideals I and J in a polynomial ring, we compute their join I*J:
|
|
|
Following Seth Sullivant's "Combinatorial symbolic powers", J. Algebra 319 (2008), no. 1, 115–142, we can compute symbolic powers of prime ideals using join:
|
|
|
|
|
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/SymbolicPowers.m2:793:0.