Difference between revisions of "CoCoA:RadicalOfUnmixed"
From ApCoCoAWiki
(pushing XML rev. 1.46, again) |
(No difference)
|
Latest revision as of 10:02, 24 October 2007
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
<type>groebner</type> <type>ideal</type>