|
D.4.18.9 equiRadical
Procedure from library primdec.lib (see primdec_lib).
- Usage:
- equiRadical(I); I ideal
- Return:
- ideal, intersection of associated primes of I of maximal dimension.
- Note:
- A combination of the algorithms of Krick/Logar (with modifications by Laplagne) and Kemper is used.
Works also in positive characteristic (Kempers algorithm).
Example:
|