previous next |
Radical |
Syntax |
Radical(I:IDEAL):IDEAL |
Summary |
radical of an ideal |
Description |
This function computes the radical of I using the algorithm described in the paper M. Caboara, P.Conti and C. Traverso: "Yet Another Ideal Decomposition Algorithm." Proc. AAECC-12, pp 39-54, 1997, Lecture Notes in Computer Science, n.1255 Springer-Verlag. NOTE: at the moment, this implementation works only if the coefficient ring is the rationals or has large enough characteristic. |
Example |
Use R ::= Q[x,y]; I := Ideal(x,y)^3; Radical(I); Ideal(y, x) ------------------------------- |
See also: |