Use R ::= ZZ/(32003)[t,x,y];
I := Ideal(t^3-x, t^4-y);
G := SyzOfGens(I); --***OBSOLETE MANUAL: WORK IN PROGRESS***
Print I;
Ideal(t^3 - x, t^4 - y)
-------------------------------
Describe I;
Record[Type := IDEAL, Value := Record[Gens := [t^3 - x, t^4 - y],
SyzOfGens := Module([-t^4 + y, t^3 - x], [t^4x - xy, -t^3x + x^2])]]
-------------------------------
Describe Function("$mat.Transposed");
Define Transposed(M)
If NOT(Type(M) = MAT) Then
Error("Transposed: argument must be a matrix");
EndIf;
Return(Mat([
J,
1..Len(M[1]),
True,
[M[I][J]|I In 1..Len(M)]
]));
EndDefine;
-------------------------------
|