Changeset 591e530 in git for Singular/LIB/normal.lib

Timestamp:

Mar 3, 2010, 4:24:49 PM (14 years ago)

Author:

Frank Seelisch <seelisch@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

be7ab3f4ba9a8e5580fa3a661c99d768af9c1253

Parents:

279597d67431ed2b797482b0d13c8c270a776b43

Message:

minor typos in proc docs

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

File:

• Singular/LIB/normal.lib (modified) (8 diffs)

Singular/LIB/normal.lib

@@ -41 +41 @@
 
 proc normal(ideal id, list #)
-"USAGE:  normal(id [,choose]); id = radical ideal, choose = optional string. @*
+"USAGE:  normal(id [,choose]); id = radical ideal, choose = list of optional
+         strings. @*
          Optional parameters in list choose (can be entered in any order):@*
          Decomposition:@*
@@ -62 +63 @@
          all computations with respect to this ordering.@*
          - \"withDelta\" (or \"wd\") -> returns also the delta invariants.@*
-         If choose is not given or empty, only \"equidim\" but no other option
-         is used.
+         If the optional parameter choose is not given or empty, only
+         \"equidim\" but no other option is used.
 ASSUME:  The ideal must be radical, for non-radical ideals the output may
          be wrong (id=radical(id); makes id radical). However, when using the
@@ -3329 +3330 @@
 
 proc normalP(ideal id,list #)
-"USAGE:   normalP(id [,choose]); id = radical ideal, = optional string.
+"USAGE:  normalP(id [,choose]); id = radical ideal, choose = optional list of
+         strings.
          Optional parameters in list choose (can be entered in any order):@*
-         list of optional strings \"withRing\", \"isPrim\", \"noFac\",
-         \"noRed\", where@*
+         \"withRing\", \"isPrim\", \"noFac\", \"noRed\", where@*
          - \"noFac\" -> factorization is avoided during the computation
          of the minimal associated primes.@*
@@ -3345 +3346 @@
 ASSUME:  The characteristic of the ground field must be positive. If the
          option \"isPrim\" is not set, the minimal associated primes of id
-         are computed first and hence normal computes the normalization of
+         are computed first and hence normalP computes the normalization of
          the radical of id. If option \"isPrim\" is set, the ideal must be
          a prime ideal otherwise the result may be wrong.
@@ -3390 +3391 @@
 @*       If the input ideal id is weighted homogeneous a weighted ordering may
          be used (qhweight(id); computes weights).
-@*       Works only in characteristic p > 0, use proc normal in char 0.
+@*       Works only in characteristic p > 0; use proc normal in char 0.
 KEYWORDS: normalization; integral closure; delta invariant.
 SEE ALSO: normal, normalC
@@ -3686 +3687 @@
       { "iteration", ii; }
       L = U*Dp + I;
-      //### L=interred(L) oder msdt(L)[2]?
+      //### L=interred(L) oder mstd(L)[2]?
       //Wird dadurch kleiner aber string(L) wird groesser
       K = preimage(Q,phi,L);    //### Improvement by block ordering?
@@ -3906 +3907 @@
   if(c==1)
   {
-    if( defined(norid) )  { kill norid; }
-    if( defined(normap) ) { kill normap; }
-    ideal norid = I;
-    ideal normap =  maxid;
+/*    if( defined(norid) )  { kill norid; }
+      if( defined(normap) ) { kill normap; }
+      ideal norid = I;
+      ideal normap =  maxid;  */
+
+    list gnirlist = ringlist(R);
+    def R1 = ring(gnirlist);
+    setring R1;
+    ideal norid = imap(R, I);
+    ideal normap = imap(R, maxid);
     export norid;
     export normap;
+
     if(noRed == 1){
       setring R;
-      return(R);
+      return(R1);
     } else {
       list L = substpartSpecial(norid,normap);
@@ -5145 +5153 @@
 
 proc normalC(ideal id, list #)
-"USAGE:   normalC(id [,choose]);  id = radical ideal, choose = optional string.
+"USAGE:  normalC(id [,choose]);  id = radical ideal, choose = optional list
+         of string.
          Optional parameters in list choose (can be entered in any order):@*
          Decomposition:@*