Changeset 54af8a5 in git


Ignore:
Timestamp:
Mar 6, 2012, 12:13:07 PM (12 years ago)
Author:
Martin Lee <martinlee84@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'd25190065115c859833252500a64cfb7b11e3a50')
Children:
ad01774b4a6d798db520e2cd641a9b9d6171862b
Parents:
4a0a30398a875d80f01a41e504fcf8ad0cfd7541
git-author:
Martin Lee <martinlee84@web.de>2012-03-06 12:13:07+01:00
git-committer:
Martin Lee <martinlee84@web.de>2012-04-04 14:42:26+02:00
Message:
chg: added divisibility test over Q(a)
File:
1 edited

Legend:

Unmodified
Added
Removed
  • factory/facMul.cc

    r4a0a303 r54af8a5  
    28422842    return result;
    28432843  }
    2844   else
    2845     return true;
    2846     //return fdivides (A, B);
     2844  bool isRat= isOn (SW_RATIONAL);
     2845  if (!isRat)
     2846    On (SW_RATIONAL);
     2847  CanonicalForm Q, R;
     2848  Variable x= Variable (1);
     2849  Variable y= Variable (2);
     2850  newtonDivrem (swapvar (B, y, x), swapvar (A, y, x), Q, R);
     2851  if (!isRat)
     2852    Off (SW_RATIONAL);
     2853  return R.isZero();
    28472854#else
    28482855  return fdivides (A, B); //maybe NTL?
Note: See TracChangeset for help on using the changeset viewer.