| LIB "tateProdCplxNegGrad.lib";
intvec c = 1,2;
def (S,E) = productOfProjectiveSpaces(c);
setring(S);
matrix m[4][2] = x(0)(0), x(1)(0),x(0)(1),0,0,x(1)(1), 0,x(1)(2);
matrix A = symExt(m);
print(A);
==> 0, x(0)(0),0, 0,
==> 0, 0, x(0)(0), 0,
==> 0, 0, 0, x(0)(0),
==> x(0)(1), 0, 0, 0,
==> -x(0)(0),x(0)(1),0, 0,
==> 0, 0, x(0)(1), 0,
==> 0, 0, 0, x(0)(1),
==> 0, x(1)(0),0, 0,
==> 0, 0, x(1)(0), 0,
==> 0, 0, 0, x(1)(0),
==> x(1)(1), 0, 0, 0,
==> 0, x(1)(1),0, 0,
==> -x(1)(0),0, x(1)(1), 0,
==> 0, 0, 0, x(1)(1),
==> x(1)(2), 0, 0, 0,
==> 0, x(1)(2),0, 0,
==> 0, 0, x(1)(2), 0,
==> 0, 0, -x(1)(1),x(1)(2)
setring(E);
print(fetch(S,A));
==> 0, e(0)(0),0, 0,
==> 0, 0, e(0)(0), 0,
==> 0, 0, 0, e(0)(0),
==> e(0)(1), 0, 0, 0,
==> -e(0)(0),e(0)(1),0, 0,
==> 0, 0, e(0)(1), 0,
==> 0, 0, 0, e(0)(1),
==> 0, e(1)(0),0, 0,
==> 0, 0, e(1)(0), 0,
==> 0, 0, 0, e(1)(0),
==> e(1)(1), 0, 0, 0,
==> 0, e(1)(1),0, 0,
==> -e(1)(0),0, e(1)(1), 0,
==> 0, 0, 0, e(1)(1),
==> e(1)(2), 0, 0, 0,
==> 0, e(1)(2),0, 0,
==> 0, 0, e(1)(2), 0,
==> 0, 0, -e(1)(1),e(1)(2)
|