Top
Back: ndcond
Forward: makeWeyl
FastBack: ncdecomp_lib
FastForward: qmatrix_lib
Up: nctools_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
7.5.7.0. Weyl
Procedure from library nctools.lib (see nctools_lib).

Usage:
Weyl([p]); p an optional integer

Return:
nothing

Purpose:
create a Weyl algebra structure on a basering

Note:
suppose the number of variables of a basering is 2k.
(if this number is odd, an error message will be returned)
by default, the procedure treats first k variables as coordinates x_i and the last k as differentials d_i
if nonzero p is given, the procedure treats 2k variables of a basering as k pairs (x_i,d_i), i.e. variables with odd numbers are treated as coordinates and with even numbers as differentials

Example:
 
LIB "nctools.lib";
ring A1=0,(x(1..2),d(1..2)),dp;
Weyl();
A1;
==> //   characteristic : 0
==> //   number of vars : 4
==> //        block   1 : ordering dp
==> //                  : names    x(1) x(2) d(1) d(2) 
==> //        block   2 : ordering C
==> //   noncommutative relations:
==> //    d(1)x(1)=x(1)*d(1)+1
==> //    d(2)x(2)=x(2)*d(2)+1
kill A1;
ring B1=0,(x1,d1,x2,d2),dp;
Weyl(1);
B1;
==> //   characteristic : 0
==> //   number of vars : 4
==> //        block   1 : ordering dp
==> //                  : names    x1 d1 x2 d2 
==> //        block   2 : ordering C
==> //   noncommutative relations:
==> //    d1x1=x1*d1+1
==> //    d2x2=x2*d2+1
makeWeyl


Top Back: ndcond Forward: makeWeyl FastBack: ncdecomp_lib FastForward: qmatrix_lib Up: nctools_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-0-1, October 2005, generated by texi2html.