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)
