Changeset 1a3911 in git for Singular/LIB/teachstd.lib

Timestamp:

Apr 6, 2009, 2:39:02 PM (15 years ago)

Author:

Frank Seelisch <seelisch@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

08e081516771eec845058a046616a8c0d7e8325b

Parents:

7de8e4cf4e88e60e523f5ebb65a61c114ff3674a

Message:

removed some docu errors prior to release 3-1-0


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

File:

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

Singular/LIB/teachstd.lib

@@ -2 +2 @@
 //GMG, last modified 28.9.01
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: teachstd.lib,v 1.10 2009-02-12 13:57:00 motsak Exp $";
+version="$Id: teachstd.lib,v 1.11 2009-04-06 12:39:02 seelisch Exp $";
 category="Teaching";
 info="
@@ -78 +78 @@
 { "EXAMPLE:"; echo = 2;
    ring s=0,(x,y,z),(c,dp);
-   leadmonomial((y+z+x+xyz)**2);
-   leadmonomial([(y+z+x+xyz)**2,xyz5]);
+   leadmonomial((y+z+x+xyz)^2);
+   leadmonomial([(y+z+x+xyz)^2,xyz5]);
 }
 ///////////////////////////////////////////////////////////////////////////////
@@ -226 +226 @@
 proc minEcart(T,h)
 "USAGE:   minEcart(T,h); T ideal or module, h poly or vector
-RETURN:  element g from T such that leadmonom(g) divides leadmonom(h)
+RETURN:  element g from T such that leadmonom(g) divides leadmonom(h)@*
          ecart(g) is minimal with this property (if T != 0);
          return 0 if T is 0 or h = 0
@@ -413 +413 @@
 RETURN:  1 if product criterion applies in the same module component,
          2 if lead(f) and lead(g) involve different components, 0 else
-NOTE:    if product criterion applies we can delete (f,g) from pairset
+NOTE:    if product criterion applies we can delete (f,g) from pairset.
          This procedure returns 0 if o is given and is a positive integer, or
          you may set the attribute \"default_arg\" for prodcrit to 1.
@@ -500 +500 @@
 RETURN:  list L,
          L[1] = the pairset of G as list (not containing pairs for
-         which the product or the chain criterion applies)
+         which the product or the chain criterion applies),
          L[2] = intvec v, v[1]= # product criterion, v[2]= # chain criterion
 EXAMPLE: example pairset; shows an example
@@ -572 +572 @@
 ///////////////////////////////////////////////////////////////////////////////
 proc updatePairs(P,S,h)
-"USAGE:   updatePairs(P,S,h); P list, S ideal or module, h poly or vector
+"USAGE:   updatePairs(P,S,h); P list, S ideal or module, h poly or vector@*
          P a list of pairs of polys or vectors (obtained from pairset)
 RETURN:  list Q,
          Q[1] = the pairset P enlarged  by all pairs (f,h), f from S,
-         without pairs for which the product or the chain criterion applies
+         without pairs for which the product or the chain criterion applies@*
          Q[2] = intvec v, v[1]= # product criterion, v[2]= # chain criterion
 EXAMPLE: example updatePairs; shows an example
@@ -745 +745 @@
 ///////////////////////////////////////////////////////////////////////////////
 proc localstd (id)
-"USAGE:   localstd (id); id = ideal
+"USAGE:   localstd(id); id = ideal
 RETURN:  A standard basis for a local degree ordering, using Lazard's method.
 NOTE:    The procedure homogenizes id w.r.t. a new 1st variable local@t,