Difference between revisions of "CoCoA:IsStronglyStable"
From ApCoCoAWiki
(pushing XML rev. 1.46, again) |
(No difference)
|
Latest revision as of 10:02, 24 October 2007
IsStronglyStable
checks if an ideal is strongly stable
Description
This function tests whether the monomial ideal I is strongly stable
(Borel-fixed in characteristic 0).
Example
Use R ::= Q[x,y,z]; I := Ideal(xy^3, y^4, x^3, x^2y, x^2z); IsStronglyStable(I); TRUE -------------------------------
Syntax
IsStronglyStable(I: MONOMIAL IDEAL): BOOL
<type>ideal</type> <type>boolean</type>