IrreducibleDecom_Frobby5(I:MONOMIAL IDEAL):LIST
I := Ideal(x^2, x*y, y^2, z^2); IrreducibleDecom_Frobby5(I); [Ideal(x, y^2, z^2), Ideal(x^2, y, z^2)]; -------------------------------