CoCoA:Radical

From ApCoCoAWiki
Revision as of 10:02, 24 October 2007 by XMLBot (talk | contribs) (pushing XML rev. 1.46, again)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Radical

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)
-------------------------------

Syntax

Radical(I:IDEAL):IDEAL

EquiIsoDec

RadicalOfUnmixed

   <type>groebner</type>
   <type>ideal</type>