|
7.5.14.0. commRing
Procedure from library dmodloc.lib (see dmodloc_lib).
- Usage:
- commRing();
- Return:
- ring, basering without non-commutative relations
Example:
| 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
|
|