Changeset 740417 in git


Ignore:
Timestamp:
Jun 10, 2010, 10:37:23 AM (14 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '0bc2210f8055033868008a3836878db65ec6f89e')
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:
1 edited

Legend:

Unmodified
Added
Removed
  • coeffs/numbers.cc

    r3b3b0e r740417  
    195195   if (n->cfGetUnit==(nMapFunc)NULL) n->cfGetUnit=n->cfCopy;
    196196#endif
     197#ifndef NDEBUG
     198   assume(n->nCoeffIsEqual!=NULL);
     199   if(n->cfKillChar==NULL) Warn("cfKillChar is NULL for coeff %d",t);
     200   if(n->cfSetChar!=NULL) Warn("cfSetChar is NOT NULL for coeff %d",t);
     201   assume(n->cfMult!=NULL);
     202   assume(n->cfSub!=NULL);
     203   assume(n->cfAdd!=NULL);
     204   assume(n->cfDiv!=NULL);
     205   assume(n->cfIntDiv!=NULL);
     206   assume(n->cfIntMod!=NULL);
     207   assume(n->cfExactDiv!=NULL);
     208   assume(n->cfInit!=NULL);
     209   assume(n->cfPar!=NULL);
     210   assume(n->cfParDeg!=NULL);
     211   assume(n->cfSize!=NULL);
     212   assume(n->cfInt!=NULL);
     213   //assume(n->n->cfDivComp!=NULL);
     214   //assume(n->cfIsUnit!=NULL);
     215   //assume(n->cfGetUnit!=NULL);
     216   //assume(n->cfExtGcd!=NULL);
     217   assume(n->cfNeg!=NULL);
     218   assume(n->cfCopy!=NULL);
     219   assume(n->cfRePart!=NULL);
     220   assume(n->cfImPart!=NULL);
     221   assume(n->cfWrite!=NULL);
     222   assume(n->cfRead!=NULL);
     223   assume(n->cfNormalize!=NULL);
     224   assume(n->cfGreater!=NULL);
     225   //assume(n->cfDivBy!=NULL);
     226   assume(n->cfEqual!=NULL);
     227   assume(n->cfIsZero!=NULL);
     228   assume(n->cfIsOne!=NULL);
     229   assume(n->cfIsMOne!=NULL);
     230   assume(n->cfGreaterZero!=NULL);
     231   assume(n->cfPower!=NULL);
     232   assume(n->cfGetDenom!=NULL);
     233   assume(n->cfGetNumerator!=NULL);
     234   assume(n->cfGcd!=NULL);
     235   assume(n->cfLcm!=NULL);
     236   assume(n->cfDelete!=NULL);
     237   assume(n->cfSetMap!=NULL);
     238   assume(n->cfName!=NULL);
     239   assume(n->cfInpMult!=NULL);
     240   assume(n->cfInit_bigint!=NULL);
     241   #ifdef LDEBUG
     242   assume(n->cfDBTest!=NULL);
     243   #endif
     244   assume(n->type==t);
     245#endif
    197246  }
    198247  else
Note: See TracChangeset for help on using the changeset viewer.