Use R ::= ZZ/(32003)[t,x,y];
I := Ideal(t^3-x,t^4-y);
G := SyzOfGens(I);
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;
-------------------------------
|