CoCoA:RadicalOfUnmixed

RadicalOfUnmixed

radical of an unmixed ideal

Description

This function computes the radical of an unmixed ideal.

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^2 - y^2 - 4x + 4y, x - 2);
  RadicalOfUnmixed(I);
Ideal(x^2 - y^2 - 4x + 4y, x - 2, y - 2)
-------------------------------
  Minimalized(It); -- the result may not be presented in its simplest form
Ideal(x - 2, y - 2)
-------------------------------

Syntax

RadicalOfUnmixed(I:IDEAL):IDEAL

EquiIsoDec

Radical

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