Changeset 4869982 in git

Timestamp:

Apr 8, 2009, 7:13:02 PM (14 years ago)

Author:

Motsak Oleksandr <motsak@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

06984ae84863612ab64e2e3f8903aa78ef9e0d44

Parents:

9df212d331f045aa0b28d25854ee5041cdbc55f1

Message:

*motsak: sca


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

File:

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

Singular/LIB/nctools.lib

@@ -1 +1 @@
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: nctools.lib,v 1.43 2009-03-30 18:11:40 motsak Exp $";
+version="$Id: nctools.lib,v 1.44 2009-04-08 17:13:02 motsak Exp $";
 category="Noncommutative";
 info="
@@ -22 +22 @@
 Exterior();               return qring, the exterior algebra of a basering,
 findimAlgebra(M,[r]);     create finite dimensional algebra structure from the basering and the multiplication matrix M,
-SuperCommutative([b,e,Q]);  return qring, the super-commutative algebra over a basering,
+superCommutative([b,e,Q]);  return qring, the super-commutative algebra over a basering,
 rightStd(I);              compute a right Groebner basis of an ideal,
 
@@ -720 +720 @@
 
 ///////////////////////////////////////////////////////////////////////////////
-proc SuperCommutative(list #)
-"USAGE:   SuperCommutative([b,[e, [Q, [flag]]]]);
+proc superCommutative(list #)
+"USAGE:   superCommutative([b,[e, [Q, [flag]]]]);
 RETURN:  qring
 PURPOSE:  create the super-commutative algebra (as a GR-algebra) 'over' a basering,
@@ -728 +728 @@
 THEORY: given a basering, this procedure introduces the anticommutative relations x(j)x(i)=-x(i)x(j) for all e>=j>i>=b,
 @* moreover, creates a factor algebra modulo the two-sided ideal, generated by x(b)^2, ..., x(e)^2[ + Q]
-EXAMPLE: example SuperCommutative; shows examples
-"
-{
-
-// NOTE: as a side effect the basering will be changed (if not in a commutative case) to bo the ground G-algebra (without factor).
-  int fprot = (find(option(),"prot") != 0);
+DISPLAY: If @code{printlevel} > 1, warning debug messages will be printed
+EXAMPLE: example superCommutative; shows examples
+"
+{
+  int fprot = (printlevel > 1); // (find(option(),"prot") != 0);
 
   string rname=nameof(basering);
@@ -739 +738 @@
   if ( rname == "basering") // i.e. no ring has been set yet
   {
-    ERROR("You have to call the procedure from the ring");
+    ERROR("You have to call the procedure from a ring");
     return();
   }
@@ -893 +892 @@
   {
     print("Warning: Since the current ordering is not global there might be problems computing twostd(Q)!");
-    print("Q:", @Q);
+    "Q:"; 
+    @Q;
   }
 
@@ -909 +909 @@
   "EXAMPLE:";echo=2;
   ring R = 0,(x(1..4)),dp; // global!
-  def ER = SuperCommutative(); // the same as Exterior (b = 1, e = N)
+  def ER = superCommutative(); // the same as Exterior (b = 1, e = N)
   setring ER; ER;
   "Alternating variables: [", AltVarStart(), ",", AltVarEnd(), "].";
   kill R; kill ER;
   ring R = 0,(x(1..4)),(lp(1), dp(3)); // global!
-  def ER = SuperCommutative(2); // b = 2, e = N
+  def ER = superCommutative(2); // b = 2, e = N
   setring ER; ER;
   "Alternating variables: [", AltVarStart(), ",", AltVarEnd(), "].";
   kill R; kill ER;
   ring R = 0,(x(1..6)),(ls(2), dp(2), lp(2)); // local!
-  def ER = SuperCommutative(3,4); // b = 3, e = 4
+  def ER = superCommutative(3,4); // b = 3, e = 4
   setring ER; ER;
   "Alternating variables: [", AltVarStart(), ",", AltVarEnd(), "].";
@@ -1092 +1092 @@
   "EXAMPLE:";echo=2;
   ring R = 0,(x(1..4)),dp; // global!
-  def ER = SuperCommutative(2); // (b = 2, e = N)
+  def ER = superCommutative(2); // (b = 2, e = N)
   setring ER; ER;
   "Alternating variables: [", AltVarStart(), ",", AltVarEnd(), "].";
@@ -1120 +1120 @@
   "EXAMPLE:";echo=2;
   ring R = 0,(x(1..4)),dp; // global!
-  def ER = SuperCommutative(2); // (b = 2, e = N)
+  def ER = superCommutative(2); // (b = 2, e = N)
   setring ER; ER;
   "Alternating variables: [", AltVarStart(), ",", AltVarEnd(), "].";
@@ -1129 +1129 @@
 "USAGE:   IsSCA();
 RETURN:  int
-PURPOSE:  returns 1 if basering is a supercommutative algebra and 0 otherwise.
+PURPOSE:  returns 1 if basering is a super-commutative algebra and 0 otherwise.
 NOTE:     shows hint message for non-SCA algebras if the 'prot' option is on.
 EXAMPLE: example IsSCA; shows examples
@@ -1156 +1156 @@
     { "Alternating variables: [", AltVarStart(), ",", AltVarEnd(), "]."; }
   else
-    { "Not a supercommutative algebra!!!"; }
+    { "Not a super-commutative algebra!!!"; }
   kill R;
 /////////////////////////////////////////////////////////////////////
@@ -1164 +1164 @@
     { "Alternating variables: [", AltVarStart(), ",", AltVarEnd(), "]."; }
   else
-    { "Not a supercommutative algebra!!!"; }
+    { "Not a super-commutative algebra!!!"; }
   kill R, S;
 /////////////////////////////////////////////////////////////////////
@@ -1189 +1189 @@
     { "Alternating variables: [", AltVarStart(), ",", AltVarEnd(), "]."; }
   else
-    { "Not a supercommutative algebra!!!"; }
+    { "Not a super-commutative algebra!!!"; }
   kill R, ER, S;
 /////////////////////////////////////////////////////////////////////
   ring R = 0,(x(1..4)),dp;
-  def ER = SuperCommutative(2); // (b = 2, e = N)
+  def ER = superCommutative(2); // (b = 2, e = N)
   setring ER; ER;
   if(IsSCA())
     { "This is a SCA! Alternating variables: [", AltVarStart(), ",", AltVarEnd(), "]."; }
   else
-    { "Not a supercommutative algebra!!!"; }
+    { "Not a super-commutative algebra!!!"; }
   kill R, ER;
 }