Changeset 906458 in git for Singular/LIB/normal.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/normal.lib (modified) (4 diffs)

Singular/LIB/normal.lib

@@ -1 +1 @@
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: normal.lib,v 1.50 2009-03-26 16:37:19 Singular Exp $";
+version="$Id: normal.lib,v 1.51 2009-04-07 16:18:05 seelisch Exp $";
 category="Commutative Algebra";
 info="
@@ -1904 +1904 @@
 
 proc genus(ideal I,list #)
-"USAGE:   genus(i) or genus(i,1); I a 1-dimensional ideal
+"USAGE:   genus(I) or genus(I,1); I a 1-dimensional ideal
 RETURN:  an integer, the geometric genus p_g = p_a - delta of the projective
          curve defined by i, where p_a is the arithmetic genus.
@@ -1910 +1910 @@
          i.e. dim(R'/R), R' the normalization of the local ring R of the
          singularity. @*
-         genus(i,1) uses the normalization to compute delta. Usually genus(i,1)
+         genus(I,1) uses the normalization to compute delta. Usually genus(i,1)
          is slower than genus(i) but sometimes not.
 EXAMPLE: example genus; shows an example
@@ -2541 +2541 @@
 "USAGE:    primeClosure(L [,c]); L a list of a ring containing a prime ideal
                                  ker, c an optional integer
-RETURN:   a list L (of size n+1) consisting of rings L[1],...,L[n] such that
-          - L[1] is a copy of (not a reference to!) the input ring L[1]
+RETURN:   a list L (of size n+1) consisting of rings L[1],...,L[n] such that@*
+          - L[1] is a copy of (not a reference to!) the input ring L[1]@*
           - all rings L[i] contain ideals ker, L[2],...,L[n] contain ideals phi
-            such that
-                    L[1]/ker --> ... --> L[n]/ker
-            are injections given by the corresponding ideals phi, and L[n]/ker
-            is the integral closure of L[1]/ker in its quotient field.
+            such that L[1]/ker --> ... --> L[n]/ker are injections given by the
+            corresponding ideals phi, and L[n]/ker is the integral closure of
+            L[1]/ker in its quotient field.@*
           - all rings L[i] contain a polynomial nzd such that elements of
             L[i]/ker are quotients of elements of L[i-1]/ker with denominator
-            nzd via the injection phi.
-            L[n+1] is the delta invariant 
-NOTE:     - L is constructed by recursive calls of primeClosure itself.
-          - c determines the choice of nzd:
+            nzd via the injection phi.@*
+            L[n+1] is the delta invariant
+NOTE:     - L is constructed by recursive calls of primeClosure itself.@*
+          - c determines the choice of nzd:@*
                - c not given or equal to 0: first generator of the ideal SL,
-                 the singular locus of Spec(L[i]/ker)
+                 the singular locus of Spec(L[i]/ker)@*
                - c<>0: the generator of SL with least number of monomials.
 EXAMPLE:  example primeClosure; shows an example