CIPrimes -- compute the symbolic power by taking the intersection of the powers of the primary components

Description

The default value is false. When defined to be true, the symbolicPower function tests whether the primary components are complete intersections having the same height. If each component is, then the function takes the intersection of the powers of the components: $$I^{(n)}=\cap_{p\in Ass(R/I)} p^n.$$

Functions with optional argument named CIPrimes:

containmentProblem(...,CIPrimes=>...)
isSymbPowerContainedinPower(...,CIPrimes=>...)
symbolicDefect(...,CIPrimes=>...)
symbolicPower(...,CIPrimes=>...)

For the programmer

The object CIPrimes is a symbol.

CIPrimes -- compute the symbolic power by taking the intersection of the powers of the primary components

Description

See also

Functions with optional argument named CIPrimes:

For the programmer