LIB "ncalg.lib";
def ncAlgebra = makeUso10();
ncAlgebra;
==> // coefficients: QQ considered as a field
==> // number of vars : 45
==> // block 1 : ordering dp
==> // : names X(1) X(2) X(3) X(4) X(5) X(6) X(7) X(8) X(\
9) X(10) X(11) X(12) X(13) X(14) X(15) X(16) X(17) X(18) X(19) X(20) Y(1)\
Y(2) Y(3) Y(4) Y(5) Y(6) Y(7) Y(8) Y(9) Y(10) Y(11) Y(12) Y(13) Y(14) Y(\
15) Y(16) Y(17) Y(18) Y(19) Y(20) H(1) H(2) H(3) H(4) H(5)
==> // block 2 : ordering C
==> // noncommutative relations: ...
setring ncAlgebra;
// ... 390 noncommutative relations
|