Changeset 7222f9 in git

Timestamp:

Dec 14, 2013, 2:33:16 PM (9 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'f875bbaccd0831e36aaed09ff6adeb3eb45aeb94')

Children:

27877c10cae6d5eb945d62a27d66dfdf8a5a4784

Parents:

6559a180dd5adf37865e03b7e23d7869804974d13f0c57146a6a67730db9dabac6e63da0960dc3c3

Message:

Merge pull request #448 from jankoboehm/spielwiese

Added missing libraries to singular-libs

Location:

Singular

Files:

• ipid.cc (modified) (1 diff)
• singular-libs (modified) (1 diff)
• subexpr.cc (modified) (1 diff)

Singular/ipid.cc

@@ -433 +433 @@
   else if ((IDTYP(h)==RING_CMD)||(IDTYP(h)==QRING_CMD))
     rKill(h);
-  else
+  else if (IDDATA(h)!=NULL)
     s_internalDelete(IDTYP(h),IDDATA(h),r);
   //  general  -------------------------------------------------------------

Singular/singular-libs

@@ -41 +41 @@
 # for new libs
 
-SLIB1 = classifyci.lib classify_aeq.lib ffsolve.lib decomp.lib template.lib\
+SLIB1 = classifyci.lib classify_aeq.lib \
+        divisors.lib \
+        ffsolve.lib decomp.lib template.lib \
         findifs.lib finitediff.lib \
+        gitfan.lib \
         locnormal.lib modnormal.lib \
-        JMBTest.lib JMSConst.lib multigrading.lib parallel.lib \
+        JMBTest.lib JMSConst.lib multigrading.lib\
+        orbitparam.lib parallel.lib \
         realizationMatroids.lib resources.lib ringgb.lib \
         schreyer.lib symodstd.lib derham.lib polybori.lib ellipticcovers.lib \

Singular/subexpr.cc

@@ -455 +455 @@
 void s_internalDelete(const int t,  void *d, const ring r)
 {
+  assume(d!=NULL);
   switch (t)
   {