Singular

LIB "ncalg.lib";
def ncAlgebra = makeUso9();
ncAlgebra;
==> // coefficients: QQ
==> // number of vars : 36
==> //        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) 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) H(1) H(2) H(3)\
    H(4)
==> //        block   2 : ordering C
==> // noncommutative relations: ...
setring ncAlgebra;
// ...  264  noncommutative relations