Changeset ce4610 in git

Timestamp:

Feb 1, 2017, 10:28:47 AM (7 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

4230277da20a55a572267a2d3ae8e860ffb8deee

Parents:

ab9451896d9e00fb71ed53755c19641f7eb4b68e

Message:

fix tr #259 (genus)

File:

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

Singular/LIB/normal.lib

@@ -1 +1 @@
 //////////////////////////////////////////////////////////////////////////////
-version="version normal.lib 4.0.1.1 Dec_2014 "; // $Id$
+version="version normal.lib 4.1.0.0 Jan_2017 "; // $Id$
 category="Commutative Algebra";
 info="
@@ -2725 +2725 @@
 
       execute("ring C=("+charstr(S)+",a),(x,y),ds;");
-
       minpoly=number(imap(B,p));
+
       map iota=S,a,a;
       number c=number(iota(c));
@@ -2750 +2750 @@
    int o=ord(f);
    int delt,nb;
-
    if(tau==0)                 //smooth case
    {
@@ -2784 +2783 @@
       if(w>=1){"Newton-Polygon:";NP;"";}
       int s=size(NP);
-
       if(is_NND(f,mu,NP))
       { // the Newton-polygon is non-degenerate
@@ -2836 +2834 @@
       if(w>=1){"now we have to use Hamburger-Noether (Puiseux) expansion";}
       ideal fac=factorize(f,1);
+      for(i=1;i<=ncols(fac);i++)
+      {
+         if(deg(lead(fac[i]))==0){fac[i]=0;}
+      }
+      fac=simplify(fac,2);
       if(size(fac)>1)
       {