Singular

LIB "ncalg.lib";
def ncAlgebra = makeUso8();
ncAlgebra;
==> // coefficients: QQ
==> // number of vars : 28
==> //        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) Y(1) Y(2) Y(3) Y(4) Y(5) Y(6) Y(7) Y(8) Y(9) Y(10) Y\
   (11) Y(12) H(1) H(2) H(3) H(4)
==> //        block   2 : ordering C
==> // noncommutative relations: ...
setring ncAlgebra;
// ...  180  noncommutative relations