Changeset 740417 in git for coeffs/numbers.cc

Timestamp:

Jun 10, 2010, 10:37:23 AM (14 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

2518dbee8f87276f3d061cf2c577c3fc651e90ce

Parents:

3b3b0e959defd3f8388f7dc75f5a0cd257d56fc0

git-author:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2010-06-10 10:37:23+02:00

git-committer:

Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 11:55:08+01:00

Message:

test assumption on coeffs

File:

• coeffs/numbers.cc (modified) (1 diff)

coeffs/numbers.cc

@@ -195 +195 @@
    if (n->cfGetUnit==(nMapFunc)NULL) n->cfGetUnit=n->cfCopy;
 #endif
+#ifndef NDEBUG
+   assume(n->nCoeffIsEqual!=NULL);
+   if(n->cfKillChar==NULL) Warn("cfKillChar is NULL for coeff %d",t);
+   if(n->cfSetChar!=NULL) Warn("cfSetChar is NOT NULL for coeff %d",t);
+   assume(n->cfMult!=NULL);
+   assume(n->cfSub!=NULL);
+   assume(n->cfAdd!=NULL);
+   assume(n->cfDiv!=NULL);
+   assume(n->cfIntDiv!=NULL);
+   assume(n->cfIntMod!=NULL);
+   assume(n->cfExactDiv!=NULL);
+   assume(n->cfInit!=NULL);
+   assume(n->cfPar!=NULL);
+   assume(n->cfParDeg!=NULL);
+   assume(n->cfSize!=NULL);
+   assume(n->cfInt!=NULL);
+   //assume(n->n->cfDivComp!=NULL);
+   //assume(n->cfIsUnit!=NULL);
+   //assume(n->cfGetUnit!=NULL);
+   //assume(n->cfExtGcd!=NULL);
+   assume(n->cfNeg!=NULL);
+   assume(n->cfCopy!=NULL);
+   assume(n->cfRePart!=NULL);
+   assume(n->cfImPart!=NULL);
+   assume(n->cfWrite!=NULL);
+   assume(n->cfRead!=NULL);
+   assume(n->cfNormalize!=NULL);
+   assume(n->cfGreater!=NULL);
+   //assume(n->cfDivBy!=NULL);
+   assume(n->cfEqual!=NULL);
+   assume(n->cfIsZero!=NULL);
+   assume(n->cfIsOne!=NULL);
+   assume(n->cfIsMOne!=NULL);
+   assume(n->cfGreaterZero!=NULL);
+   assume(n->cfPower!=NULL);
+   assume(n->cfGetDenom!=NULL);
+   assume(n->cfGetNumerator!=NULL);
+   assume(n->cfGcd!=NULL);
+   assume(n->cfLcm!=NULL);
+   assume(n->cfDelete!=NULL);
+   assume(n->cfSetMap!=NULL);
+   assume(n->cfName!=NULL);
+   assume(n->cfInpMult!=NULL);
+   assume(n->cfInit_bigint!=NULL);
+   #ifdef LDEBUG
+   assume(n->cfDBTest!=NULL);
+   #endif
+   assume(n->type==t);
+#endif
   }
   else