Changeset b589d8 in git

Timestamp:

Feb 7, 2018, 5:03:08 PM (6 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

68df857e62b64242b7a453cec75dae99e29cb7d9

Parents:

86ff3330453186ab71cee5297e8429b40dcb0f61

Message:

fix: add LIB "poly.lib" for lcm to grobcov.lib

File:

• Singular/LIB/grobcov.lib (modified) (1 diff)

Singular/LIB/grobcov.lib

@@ -240 +240 @@
 LIB "primdec.lib";
 LIB "qhmoduli.lib";
+LIB "poly.lib";
 
 // ************ Begin of the grobcov library *********************