up previous next
radical of an ideal
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. AAECC12, pp 3954, 1997, Lecture
Notes in Computer Science, n.1255 SpringerVerlag.
NOTE: at the moment, this implementation works only if the coefficient
ring is the rationals or has large enough characteristic.
Use R ::= QQ[x,y];
I := Ideal(x,y)^3;
Radical(I);
Ideal(y, x)

