LIB "ncalg.lib";
def K = makeQso3(3);
setring K;
K;
==> // characteristic : 0
==> // 1 parameter : Q
==> // minpoly : (Q2-Q+1)
==> // number of vars : 3
==> // block 1 : ordering dp
==> // : names x y z
==> // block 2 : ordering C
==> // noncommutative relations:
==> // yx=(Q-1)*xy+(-Q)*z
==> // zx=(-Q)*xz+(-Q+1)*y
==> // zy=(Q-1)*yz+(-Q)*x
|