CoCoA:StableIdeal

StableIdeal

stable ideal containing L

Description

This function returns the smallest stable ideal containing the

power-products in L.

Example

  Use R ::= Q[x,y,z];
  L := [xz^4, y^3];
  StableIdeal(L);
Ideal(x^2z^3, xyz^3, xz^4, x^3, x^2y, xy^2, y^3)
-------------------------------

Syntax

StableIdeal(L: LIST of power-products): IDEAL

IsStable

LexSegmentIdeal

StronglyStableIdeal

   <type>ideal</type>
   <type>list</type>