Changeset 9ece67 in git

Timestamp:

May 24, 2006, 6:36:06 PM (17 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', '828514cf6e480e4bafc26df99217bf2a1ed1ef45')

Children:

d953d49a2e3197af775fc454acbd99f8b06a6d64

Parents:

7bb357fc91a4d4ff1cdbd965c343d46ad930311a

Message:

*hannes: format


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

Location:

Singular/LIB

Files:

• teachstd.lib (modified) (2 diffs)
• weierstr.lib (modified) (2 diffs)

Singular/LIB/teachstd.lib

@@ -2 +2 @@
 //GMG, last modified 28.9.01
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: teachstd.lib,v 1.3 2006-05-19 11:50:35 Singular Exp $";
+version="$Id: teachstd.lib,v 1.4 2006-05-24 16:36:06 Singular Exp $";
 category="Teaching";
 info="
 LIBRARY:  teachstd.lib   Procedures for teaching standard bases
 AUTHOR:                  G.-M. Greuel, greuel@mathematik.uni-kl.de
+
+NOTE: The library is intended to be used for teaching purposes but not
+      for serious computations. Sufficiently high printlevel allows to 
+      control each step, thus illustrating the algorithms at work.
+      The procedures are implemented exatly as described in the book 
+      'A SINGULAR Introduction to Commutative Algebra' by G.-M. Greuel and
+      G. Pfister (Springer 2002).
 
 PROCEDURES:
@@ -23 +30 @@
  standard(id);          standard basis of ideal/module
  localstd(id);          local standard basis of id using Lazard's method
+
               [parameters in square brackets are optional]
-
- NOTE: The library is intended to be used for teaching purposes but not
-       for serious computations. Sufficiently high printlevel allows to 
-       control each step, thus illustrating the algorithms at work.
-       The procedures are implemented exatly as described in the book 
-       'A SINGULAR Introduction to Commutative Algebra' by G.-M. Greuel and
-       G. Pfister (Springer 2002).
 ";
 

Singular/LIB/weierstr.lib

@@ -1 +1 @@
 //GMG, last modified 28.10.2001
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: weierstr.lib,v 1.2 2006-05-19 11:50:35 Singular Exp $";
+version="$Id: weierstr.lib,v 1.3 2006-05-24 16:36:06 Singular Exp $";
 category="Teaching";
 info="
@@ -12 +12 @@
  lastvarGeneral(f);    make f general of finite order w.r.t. last variable 
  generalOrder(f);      compute integer b s.t. f is x_n-general of order b 
+
            (parameters in square brackets [] are optional)
 ";