Changeset 90a388 in git

Timestamp:

Nov 29, 2021, 7:45:08 PM (2 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

418f0cbb2a15c310e579f06117f3158ad6f7032f

Parents:

081f5e9083d6d6daad82ed16b87ba288fc38b5ae

Message:

fix: tropical.lib

File:

• Singular/LIB/tropical.lib (modified) (2 diffs)

Singular/LIB/tropical.lib

@@ -4624 +4624 @@
         {
           if (system("sh","gfan_tropicalbasis --mod "+charstr(basering)+" < /tmp/gfaninput > /tmp/gfanbasis"))
-          { ERROR("error in gfan_tropicalbasis");
+          { ERROR("error in gfan_tropicalbasis");}
           if (system("sh","gfan_tropicalintersection < /tmp/gfanbasis > /tmp/gfanoutput"))
-          { ERROR("error in gfan_tropicalintersection");
+          { ERROR("error in gfan_tropicalintersection");}
         }
         else
@@ -4633 +4633 @@
 //          system("sh","gfan_tropicaltraverse < /tmp/gfantropstcone > /tmp/gfanoutput");
           if (system("sh","gfan_tropicalbasis < /tmp/gfaninput > /tmp/gfanbasis"))
-          { ERROR("error in gfan_tropicalbasis");
+          { ERROR("error in gfan_tropicalbasis");}
           if (system("sh","gfan_tropicalintersection < /tmp/gfanbasis > /tmp/gfanoutput"))
-          { ERROR("error in gfan_tropicalintersection");
+          { ERROR("error in gfan_tropicalintersection");}
         }
         string trop=read("/tmp/gfanoutput");