Home Online Manual
Top
Back: diffRat
Forward: rightNFWeyl
FastBack:
FastForward:
Up: dmodloc_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
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