Changeset a1c745 in git for Singular/LIB/ratgb.lib

Timestamp:

Jun 20, 2007, 5:39:45 PM (17 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'd08f5f0bb3329b8ca19f23b74cb1473686415c3a')

Children:

58357dfdb1fe1b24b7a844771e7ba9997a9abe7d

Parents:

d31cedc0c35a743b9525836619923330af9a7714

Message:

*hannes: format


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

File:

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

Singular/LIB/ratgb.lib

@@ -1 +1 @@
 //////////////////////////////////////////////////////////////////////////////
-version="$Id: ratgb.lib,v 1.2 2007-05-27 01:51:40 levandov Exp $";
+version="$Id: ratgb.lib,v 1.3 2007-06-20 15:39:45 Singular Exp $";
 category="Noncommutative";
 info="
@@ -6 +6 @@
 AUTHOR: Viktor Levandovskyy,     levandov@risc.uni-linz.ac.at
 
-PROCEDURES: 
+PROCEDURES:
 ratstd(ideal I, int n);   compute Groebner basis in Ore localizations of the basering wrt first n variables
 
@@ -19 +19 @@
 ASSUME: the variables are organized in two blocks and
 @* the first block of length n contains the elements
-@*     with respect to which one localizes, 
-@* the basering is equipped with the elimination ordering 
+@*     with respect to which one localizes,
+@* the basering is equipped with the elimination ordering
 @*     for the variables in the second block
 NOTE:    the output ring O is commutative. The ideal rGBid in O
@@ -124 +124 @@
   tmp2[1] = L[3][2];
   tmp2[2] = L[3][3];
-  RL[3]   = tmp2; 
+  RL[3]   = tmp2;
 
   // factor ideal is ignored
@@ -137 +137 @@
 
   ideal LG = imap(save, LG);
-  // do not do groebner at this place, 
+  // do not do groebner at this place,
   // it may cause misordering!
 
   // 4. run simplify
-  
+
   ideal SLG = simplify(LG,8+32); //contains zeros
   intvec islg;
@@ -201 +201 @@
   D[1,3] = K;
   D[2,4] = N;
-  ncalgebra(1,D); 
-  ideal I = (k+1)*K - (n-k), (n-k+1)*N - (n+1); 
+  ncalgebra(1,D);
+  ideal I = (k+1)*K - (n-k), (n-k+1)*N - (n+1);
   int is = 2;
   def A  = ratstd(I,is);