Changeset fa19d3 in git

Timestamp:

Nov 22, 2006, 10:43:27 PM (17 years ago)

Author:

Viktor Levandovskyy <levandov@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

688c5f840bb21a424c4b9fa6527595a7dd39d409

Parents:

0d8f37995e9b1387eccdb6e605e94ea50e2f0942

Message:

*levandov: changes names of aux vars, minor fixes


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

File:

• Singular/LIB/involut.lib (modified) (5 diffs)

Singular/LIB/involut.lib

@@ -1 @@
-version="$Id: involut.lib,v 1.10 2006-11-13 11:35:28 Singular Exp $";
+version="$Id: involut.lib,v 1.11 2006-11-22 21:43:27 levandov Exp $";
 category="Noncommutative";
 info="
@@ -435 +435 @@
   matrix Rel = RelMatr(); //the matrix of relations
 
-  string s   = new_var(); //string of new variables
+  string @ss   = new_var(); //string of new variables
   string Par = parstr(@B); //string of parameters in old ring
 
   if (Par=="") // if there are no parameters
   {
-    execute("ring @@K=0,("+varstr(@B)+","+s+"), dp;"); //new ring with new variables
+    execute("ring @@K=0,("+varstr(@B)+","+@ss+"), dp;"); //new ring with new variables
   }
   else //if there exist parameters
   {
-     execute("ring @@K=(0,"+Par+") ,("+varstr(@B)+","+s+"), dp;");//new ring with new variables
+     execute("ring @@K=(0,"+Par+") ,("+varstr(@B)+","+@ss+"), dp;");//new ring with new variables
   };
 
@@ -498 +498 @@
   if ( Par=="" ) //initializes the ring of relations
   {
-    execute("ring @@KK=0,("+s+"), dp;");
+    execute("ring @@KK=0,("+@ss+"), dp;");
   }
   else
   {
-    execute("ring @@KK=(0,"+Par+"),("+s+"), dp;");
+    execute("ring @@KK=(0,"+Par+"),("+@ss+"), dp;");
   };
   ideal J = imap(@@K,J); // ideal, considered in @@KK now
   string snv = "["+string(NVars)+"]";
-  execute("matrix @@D"+snv+snv+"="+s+";"); // matrix with entries=new variables
+  execute("matrix @@D"+snv+snv+"="+@ss+";"); // matrix with entries=new variables
 
   J = J, ideal( @@D*@@D-matrix( freemodule(NVars) ) ); // add the condition that involution to square is just identity
@@ -562 +562 @@
   matrix Rel = RelMatr(); //the matrix of relations
 
-  string s   = new_var_special(); //string of new variables
+  string @ss   = new_var_special(); //string of new variables
   string Par = parstr(@B); //string of parameters in old ring
 
   if (Par=="") // if there are no parameters
   {
-    execute("ring @@K=0,("+varstr(@B)+","+s+"), dp;"); //new ring with new variables
+    execute("ring @@K=0,("+varstr(@B)+","+@ss+"), dp;"); //new ring with new variables
   }
   else //if there exist parameters
   {
-    execute("ring @@K=(0,"+Par+") ,("+varstr(@B)+","+s+"), dp;");//new ring with new variables
+    execute("ring @@K=(0,"+Par+") ,("+varstr(@B)+","+@ss+"), dp;");//new ring with new variables
   };
 
@@ -621 +621 @@
   if ( Par=="" ) //initializes the ring of relations
   {
-    execute("ring @@KK=0,("+s+"), dp;");
+    execute("ring @@KK=0,("+@ss+"), dp;");
   }
   else
   {
-    execute("ring @@KK=(0,"+Par+"),("+s+"), dp;");
+    execute("ring @@KK=(0,"+Par+"),("+@ss+"), dp;");
   };