FrbIrreducibleDecomposition(I: IDEAL): LIST

/**/  Use R ::= QQ[x,y,z];
/**/  I := ideal(x^2, x*y, y^2, z^2);
/**/  FrbIrreducibleDecomposition(I);
[ideal(x, y^2, z^2), ideal(x^2, y, z^2)];

-- *** missing manual for these function: volunteers? ;-) ***
FrbDimension
FrbMultigradedHilbertPoincareNumerator
FrbTotalDegreeHilbertPoincareNumerator