Changeset eb55f8a in git for libpolys/coeffs/modulop.cc


Ignore:
Timestamp:
Sep 16, 2014, 4:56:19 PM (10 years ago)
Author:
Oleksandr Motsak <motsak@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
5b45a4ff15d0998cc64c730af75c1c1f773d4a77
Parents:
4ec0f01d431893a4c0997d2bdfab87cb8d37e03e
git-author:
Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-09-16 16:56:19+02:00
git-committer:
Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-09-23 20:10:49+02:00
Message:
There should be no *Test in assume call (and no assume in *Test definition)
File:
1 edited

Legend:

Unmodified
Added
Removed

  • libpolys/coeffs/modulop.cc

    r4ec0f0 reb55f8a  
    5454BOOLEAN npGreaterZero (number k, const coeffs r)
    5555{
    56   assume( n_Test(k, r) );
     56  n_Test(k, r);
    5757
    5858  int h = (int)((long) k);
    … …  
    7070number npMult (number a,number b, const coeffs r)
    7171{
    72   assume( n_Test(a, r) );
    73   assume( n_Test(b, r) );
     72  n_Test(a, r);
     73  n_Test(b, r);
    7474
    7575  if (((long)a == 0) || ((long)b == 0))
    7676    return (number)0;
    7777  number c = npMultM(a,b, r);
    78   assume( n_Test(c, r) );
     78  n_Test(c, r);
    7979  return c;
    8080}
    … …  
    8989
    9090  number c = (number)ii;
    91   assume( n_Test(c, r) );
     91  n_Test(c, r);
    9292  return c;
    9393
    … …  
    100100int npInt(number &n, const coeffs r)
    101101{
    102   assume( n_Test(n, r) );
     102  n_Test(n, r);
    103103
    104104  if ((long)n > (((long)r->ch) >>1)) return (int)((long)n -((long)r->ch));
    … …  
    108108number npAdd (number a, number b, const coeffs r)
    109109{
    110   assume( n_Test(a, r) );
    111   assume( n_Test(b, r) );
     110  n_Test(a, r);
     111  n_Test(b, r);
    112112
    113113  number c = npAddM(a,b, r);
    114114
    115   assume( n_Test(c, r) );
     115  n_Test(c, r);
    116116
    117117  return c;
    … …  
    120120number npSub (number a, number b, const coeffs r)
    121121{
    122   assume( n_Test(a, r) );
    123   assume( n_Test(b, r) );
     122  n_Test(a, r);
     123  n_Test(b, r);
    124124
    125125  number c = npSubM(a,b,r);
    126126
    127   assume( n_Test(c, r) );
     127  n_Test(c, r);
    128128
    129129  return c;
    … …  
    132132BOOLEAN npIsZero (number  a, const coeffs r)
    133133{
    134   assume( n_Test(a, r) );
     134  n_Test(a, r);
    135135
    136136  return 0 == (long)a;
    … …  
    139139BOOLEAN npIsOne (number a, const coeffs r)
    140140{
    141   assume( n_Test(a, r) );
     141  n_Test(a, r);
    142142
    143143  return 1 == (long)a;
    … …  
    146146BOOLEAN npIsMOne (number a, const coeffs r)
    147147{
    148   assume( n_Test(a, r) );
     148  n_Test(a, r);
    149149
    150150  return ((r->npPminus1M == (long)a)&&((long)1!=(long)a));
    … …  
    201201inline number npInversM (number c, const coeffs r)
    202202{
    203   assume( n_Test(c, r) );
     203  n_Test(c, r);
    204204#ifndef HAVE_DIV_MOD
    205205  number d = (number)(long)r->npExpTable[r->npPminus1M - r->npLogTable[(long)c]];
    … …  
    213213  number d = (number)inv;
    214214#endif
    215   assume( n_Test(d, r) );
     215  n_Test(d, r);
    216216  return d;
    217217
    … …  
    220220number npDiv (number a,number b, const coeffs r)
    221221{
    222   assume( n_Test(a, r) );
    223   assume( n_Test(b, r) );
     222  n_Test(a, r);
     223  n_Test(b, r);
    224224
    225225//#ifdef NV_OPS
    … …  
    247247#endif
    248248
    249   assume( n_Test(d, r) );
     249  n_Test(d, r);
    250250  return d;
    251251
    … …  
    253253number  npInvers (number c, const coeffs r)
    254254{
    255   assume( n_Test(c, r) );
     255  n_Test(c, r);
    256256
    257257  if ((long)c==0)
    … …  
    262262  number d = npInversM(c,r);
    263263
    264   assume( n_Test(d, r) );
     264  n_Test(d, r);
    265265  return d;
    266266
    … …  
    269269number npNeg (number c, const coeffs r)
    270270{
    271   assume( n_Test(c, r) );
     271  n_Test(c, r);
    272272
    273273  if ((long)c==0) return c;
    … …  
    275275#if 0
    276276  number d = npNegM(c,r);
    277   assume( n_Test(d, r) );
     277  n_Test(d, r);
    278278  return d;
    279279#else
    280280  c = npNegM(c,r);
    281   assume( n_Test(c, r) );
     281  n_Test(c, r);
    282282  return c;
    283283#endif
    … …  
    286286BOOLEAN npGreater (number a,number b, const coeffs r)
    287287{
    288   assume( n_Test(a, r) );
    289   assume( n_Test(b, r) );
     288  n_Test(a, r);
     289  n_Test(b, r);
    290290
    291291  //return (long)a != (long)b;
    … …  
    295295BOOLEAN npEqual (number a,number b, const coeffs r)
    296296{
    297   assume( n_Test(a, r) );
    298   assume( n_Test(b, r) );
     297  n_Test(a, r);
     298  n_Test(b, r);
    299299
    300300//  return (long)a == (long)b;
    … …  
    305305void npWrite (number &a, const coeffs r)
    306306{
    307   assume( n_Test(a, r) );
     307  n_Test(a, r);
    308308
    309309  if ((long)a>(((long)r->ch) >>1)) StringAppend("-%d",(int)(((long)r->ch)-((long)a)));
    … …  
    314314void npPower (number a, int i, number * result, const coeffs r)
    315315{
    316   assume( n_Test(a, r) );
     316  n_Test(a, r);
    317317
    318318  if (i==0)
    … …  
    379379    }
    380380  }
    381   assume( n_Test(*a, r) );
     381  n_Test(*a, r);
    382382  return s;
    383383}
Note: See TracChangeset for help on using the changeset viewer.