Projekt:CoCoA-Berechnungen/Idealauflösung/Polynomring in drei Variablen

Man kann die Gestalt der Auflösung mit dem Programmcode

I:=Ideal(x^2,y^2,z^2,xyz);
Res(R/I);
Describe It;

(und ähnlich) berechnen. Describe It gibt dabei die Matrizen aus.

/x,y,z

/x^2,y^2,z;xy

/x^2,y^2,z^2;xyz