Changeset 128379 in git

Timestamp:

Jan 7, 2014, 5:42:13 PM (10 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

e1189c35fd3779e98427b5d018b22921bfcb3d99

Parents:

a5275ef9ddf687be7aeadda480e4e7d6c265dd4c

git-author:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2014-01-07 17:42:13+01:00

git-committer:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2014-01-07 17:47:19+01:00

Message:

chg: activate ehv.lib

Files:

• Singular/LIB/ehv.lib (modified) (7 diffs)
• Singular/singular-libs (modified) (1 diff)
• doc/singular.doc (modified) (previous)

Singular/LIB/ehv.lib

@@ -329 +329 @@
                               help of regular sequences
                      = 2    : does not try to find a regular sequence
-         Strategy[3]        > strategy for the computation of ideal quotients
-                     = n    : uses quot(.,.,n) for the ideal quotient computations
          If no second argument is given then Strategy=(0,0,0) is used.
 EXAMPLE: example equiRadEHV; shows an example"
@@ -365 +363 @@
               int strategy = #[2];
             }
-          if(size(#) > 2)
-            {
-              int quoStr = #[3];
-            }
-          else
-            {
-              int quoStr = 0;
-            }
         }
       else
         {
           int strategy = 0;
-          int quoStr = 0;
         }
     }
@@ -384 +373 @@
       int equStr = 0;
       int strategy = 0;
-      int quoStr = 0;
     }
 
@@ -417 +405 @@
           J = aJacob(m[2],d);
           if(printlevel > 2){"Leaving equiRadEHV.";}
-          return(quot1(m[2],J,quoStr));
+          return(quotient(m[2],J));
         }
 
@@ -460 +448 @@
           J = aJacob(I0,d);
           if(printlevel > 2){"1st quotient.";}
-          radI0 = quot1(I0,J,quoStr);
+          radI0 = quotient(I0,J);
           if(printlevel > 2){"2nd quotient.";}
-          L = quot1(radI0,m[2],quoStr);
+          L = quotient(radI0,m[2]);
           if(printlevel > 2){"3rd quotient.";}
-          radI1 = quot1(radI0,L,quoStr);
+          radI1 = quotient(radI0,L);
           attrib(radI1,"isEquidimensional",1);
           attrib(radI1,"isRadical",1);
@@ -496 +484 @@
         {
           if(printlevel > 2){"Quotient-Computation.";}
-          I = quot1(I,J,quoStr);
+          I = quotient(I,J);
           if(printlevel > 2){"Computing the a-th Jacobian";}
             J = aJacob(I,a);
@@ -506 +494 @@
   J = aJacob(I,d);
   if(printlevel > 2){"Quotient-Computation.";}
-  I = quot1(I,J,quoStr);
+  I = quotient(I,J);
   attrib(I,"isEquidimensional",1);
   attrib(I,"isRadical",1);

Singular/singular-libs

@@ -12 +12 @@
         cisimplicial.lib classify.lib \
         compregb.lib control.lib crypto.lib curvepar.lib decodegb.lib \
-        deform.lib elim.lib equising.lib finvar.lib general.lib gmspoly.lib \
+        deform.lib ehv.lib elim.lib  equising.lib  finvar.lib  general.lib gmspoly.lib \
         gmssing.lib graphics.lib grobcov.lib groups.lib grwalk.lib \
         hnoether.lib \