Changeset 906458 in git for Singular/LIB/algebra.lib

Timestamp:

Apr 7, 2009, 6:18:06 PM (15 years ago)

Author:

Frank Seelisch <seelisch@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

5d98f437864469b655868be585350eeb57da2863

Parents:

2ae96e40fc5453bcb155aec76d376d79dd549cbe

Message:

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


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

File:

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

Singular/LIB/algebra.lib

@@ -3 +3 @@
 //new proc  nonZeroEntry(id), used to fix a bug in proc finitenessTest
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: algebra.lib,v 1.20 2009-04-03 20:58:53 motsak Exp $";
+version="$Id: algebra.lib,v 1.21 2009-04-07 16:18:05 seelisch Exp $";
 category="Commutative Algebra";
 info="
@@ -252 +252 @@
                 nonlinear relation h(p,i[1],...,i[k])=0.
 @end format
-NOTE:    the proc algebra_containment tests the same with a different
+NOTE:    the proc algebra_containment tests the same using a different
          algorithm, which is often faster
          if l[1] == 0 then l[2] may contain more than one relation h(y(0),y(1),...,y(k)), 
@@ -622 +622 @@
 NOTE:    The algorithm returns 1 iff all the variables of the basering are
          contained in the polynomial subalgebra generated by the polynomials
-         defining phi. Hence, if the basering has local or mixed ordering
-         or if the preimage ring is a quotient ring (in which case the map
-         may not be well defined) then the return value 1 means \"surjectivity\"
-         in this sense.
+         defining phi. Hence, it tests surjectivity in the case of a global odering.
+         If the basering has local or mixed ordering or if the preimage ring is a
+         quotient ring (in which case the map may not be well defined) then the return
+         value 1 needs to be interpreted with care.
 EXAMPLE: example is_surjective; shows an example
 "
@@ -687 +687 @@
 "USAGE:   is_bijective(phi,pr); phi map to basering, pr preimage ring
 RETURN:  an integer,  1 if phi is bijective, 0 if not
-NOTE:    The algorithm checks first injectivity and then surjectivity
+NOTE:    The algorithm checks first injectivity and then surjectivity.
          To interprete this for local/mixed orderings, or for quotient rings
          type help is_surjective; and help is_injective;
@@ -795 +795 @@
 @end format
 NOTE:    Designed for characteristic 0.It works also in char k > 0 if it
-         terminates,but may result in an infinite loop in small characteristic
+         terminates,but may result in an infinite loop in small characteristic.
 EXAMPLE: example noetherNormal; shows an example
 "