Changeset 5cd5026 in git

Timestamp:

Jul 6, 2007, 12:35:05 PM (16 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

12074fcc0581beb6c6809d2ebc8bf6c5962f5ddd

Parents:

81cac2324e8331e0b38ee0703eeba8b2b66064ca

Message:

*hannes: format


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

File:

• Singular/LIB/sagbi.lib (modified) (7 diffs)

Singular/LIB/sagbi.lib

@@ -1 +1 @@
 //////////////////////////////////////////////////////////////////////////////
-version="$Id: sagbi.lib,v 1.9 2007-01-23 18:27:17 Singular Exp $";
+version="$Id: sagbi.lib,v 1.10 2007-07-06 10:35:05 Singular Exp $";
 category="Commutative Algebra";
 info="
-LIBRARY:  SAGBI.lib  Compute Subalgebras bases Analogous to Groebner bases for ideals
+LIBRARY:  sagbi.lib  Compute Subalgebras bases Analogous to Groebner bases for ideals
 AUTHORS: Gerhard Pfister,        pfister@mathematik.uni-kl.de,
 @*       Anen Lakhal,            alakhal@mathematik.uni-kl.de
@@ -42 +42 @@
   int b=size(B);
 
-
   //In quotient rings,SINGULAR does not reduce polynomials w.r.t the
   //quotient ideal,therefore we should first 'reduce';if it is necessary for
@@ -88 +87 @@
                         //"kern" is the ideal of algebraic relations between
                         // lead(id[z]).
-
     export kern,A;// we export:
                   // * the ideal A  to avoid useless computations
@@ -94 +92 @@
                   // * the ideal kern : some times we can get intresting
                   //   informations from this ideal.
-
     setring bsr;
     map phi=R1,vars,id;
@@ -133 +130 @@
 }
 
-
 ///////////////////////////////////////////////////////////////////////////////
 static proc std1(ideal J,ideal I,list #)
@@ -143 +139 @@
   int tt;
   ideal Res,@result;
-
 
   if(size(#)>0) {tt=#[1];}
@@ -201 +196 @@
 
     //================create a new ring with extra variables==============
-
     execute("ring R1=("+charstr(R)+"),("+varstr(R)+",@y((ii+1)..(ii+jj))),(dp(n),dp(kk+jj-n));");
     // *levandov: would it not be easier and better to use