LIB "dmodloc.lib";
def W = makeWeyl(3);
setring W; W;
==> // coefficients: QQ
==> // number of vars : 6
==> //        block   1 : ordering dp
==> //                  : names    x(1) x(2) x(3) D(1) D(2) D(3)
==> //        block   2 : ordering C
==> // noncommutative relations:
==> //    D(1)x(1)=x(1)*D(1)+1
==> //    D(2)x(2)=x(2)*D(2)+1
==> //    D(3)x(3)=x(3)*D(3)+1
def W2 = commRing();
setring W2; W2;
==> // coefficients: QQ
==> // number of vars : 6
==> //        block   1 : ordering dp
==> //                  : names    x(1) x(2) x(3) D(1) D(2) D(3)
==> //        block   2 : ordering C
ring r = 0,(x,y),dp;
def r2 = commRing(); // same as r
setring r2; r2;
==> // coefficients: QQ
==> // number of vars : 2
==> //        block   1 : ordering dp
==> //                  : names    x y
==> //        block   2 : ordering C