Changeset 971833a in git

Timestamp:

Mar 18, 2004, 10:34:03 PM (20 years ago)

Author:

Viktor Levandovskyy <levandov@…>

Branches:

(u'spielwiese', 'a719bcf0b8dbc648b128303a49777a094b57592c')

Children:

67f529fdd2c960bf13602e78f0985f0f3a81e20d

Parents:

b84c3c7204e5d46fd603e346fb83df31274a6caf

Message:

*levandov: CreateWeyl added, regrouped


git-svn-id: file:///usr/local/Singular/svn/trunk@7094 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/LIB/nctools.lib (modified) (6 diffs)

Singular/LIB/nctools.lib

@@ -1 +1 @@
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: nctools.lib,v 1.1 2004-03-18 20:40:22 levandov Exp $";
+version="$Id: nctools.lib,v 1.2 2004-03-18 21:34:03 levandov Exp $";
 category="Noncommutative";
 info="
-LIBRARY: nctools.lib     General Tools for Noncommutative Algebras
+LIBRARY: nctools.lib     General tools for noncommutative algebras
 AUTHORS:   Levandovskyy V.,     levandov@mathematik.uni-kl.de,
 @*         Lobillo, F.J.,    jlobillo@ugr.es,
@@ -17 +17 @@
 RootOfUnity(n);         Computes the minimal polynomial for the n-th primitive root of unity,
 Weyl([p]);              Creates Weyl algebra structure in a basering (two different realizations),
+CreateWeyl(n, [p]);      Returns n-th Weyl algebra in x(i),D(i) presentation; in char p, if an integer p is given
 Heisenberg(N, [p]);     Returns N-th  Heisenberg algebra in x(i),y(i),h(i) realization,
 Exterior();             Returns qring, the exterior algebra of a basering,
@@ -730 +731 @@
 "USAGE:   Heisenberg(N, [p]); N an integer (setting 3*N variables), p an optional integer (field characteristic)
 RETURN:  N-th  Heisenberg algebra in x(i),y(i),h(i) realization
+NOTE: you have to activate this ring with the "setring" command
 EXAMPLE: example Heisenberg; shows examples
 "
@@ -755 +757 @@
   "EXAMPLE:";echo=2;
   def a=Heisenberg(2);
-  setring a; a;
+  setring a; 
+  a;
 }
 
@@ -762 +765 @@
 proc Exterior(list #)
 "USAGE:   Exterior();
-RETURN:  qring, the exterior algebra of a basering. 
+RETURN:  qring, the exterior algebra of a basering
+NOTE: you have to activate this qring with the "setring" command
 EXAMPLE: example Exterior; shows examples
 "
@@ -799 +803 @@
 
 ///////////////////////////////////////////////////////////////////////////////
+
+proc CreateWeyl(int n, list #)
+"USAGE:   CreateWeyl(n,[p]); n an integer, n>0; p an optional integer (field characteristic)
+RETURN:  a ring, describing n-th Weyl algebra
+NOTE:    You have to activate this ring with the "setring" command.
+         The presentation of n-th Weyl algebra is classical:
+         D(i)x(i)=x(i)D(i)+1
+SEE ALSO: Weyl
+EXAMPLE: example CreateWeyl; shows examples
+"{
+  if (n<1)
+  {
+    Print("Incorrect input");
+    return();
+  }
+  int @p = 0;
+  if ( size(#) > 0 )
+  {
+    if ( typeof( #[1] ) == "int" )
+    {
+      @p = #[1];
+    }
+  }
+  ring @rr=@p,(x(1..n),D(1..n)),dp;
+  Weyl();
+  return(@rr);
+}
+example
+{ "EXAMPLE:"; echo = 2;
+   def a = CreateWeyl(3);
+   setring a;
+   a;
+}
+
+//////////////////////////////////////////////////////////////////////