Changeset 80f146c in git

Timestamp:

Apr 12, 2013, 12:30:53 PM (11 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

1b2216d2c860dbf849acc8cd3cfcfea342b7cf5b

Parents:

f0af172e133d4eed88c580cf9b063745051a3d66

Message:

fix: load needed module gfanlib.so

Location:

Singular/LIB

Files:

• divisors.lib (modified) (1 diff)
• gitfan.lib (modified) (1 diff)

Singular/LIB/divisors.lib

@@ -71 +71 @@
 proc mod_init()
 {
+LIB"gfanlib.so";
 newstruct("divisor","ideal den,ideal num");
 newstruct("formaldivisor","list summands");

Singular/LIB/gitfan.lib

@@ -29 +29 @@
 
 ////////////////////////////////////////////////////
+proc mod_init()
+{
+  LIB"gfanlib.so";
+}
 
 static proc int2face(int n, int r)