up 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