i11 : A = ZZ/101[x_(1,1)..x_(n,n),y_(1,1)..y_(n,n)];
|
i13 : Y = transpose genericMatrix(A,y_(1,1),n,n);
2 2
o13 : Matrix A <-- A
|
i16 : inhomogeneousSystemOfParameters(B,Attempts=>1,Maximal=>false)
o16 = | -x_(2,1)-y_(1,2)+y_(2,1) x_(1,2)-y_(2,2)
-----------------------------------------------------------------------
-x_(2,1)+x_(2,2)-y_(1,1)+y_(1,2) -x_(1,1)+x_(2,1)
-----------------------------------------------------------------------
x_(1,1)-x_(2,1)-y_(1,1) x_(1,1)+x_(1,2) |
1 6
o16 : Matrix B <-- B
|