|
D.4.18.11 equidim
Procedure from library primdec.lib (see primdec_lib).
- Usage:
- equidim(i) or equidim(i,1) ; i ideal
- Return:
- list of equidimensional ideals a[1],...,a[s] with:
- a[s] the equidimensional locus of i, i.e. the intersection
of the primary ideals of dimension of i
- a[1],...,a[s-1] the lower dimensional equidimensional loci.
- Note:
- An embedded component q (primary ideal) of i can be replaced in the
decomposition by a primary ideal q1 with the same radical as q.
equidim(i,1) uses the algorithm of Eisenbud/Huneke/Vasconcelos.
Example:
|