Ticket #437: NTL_negate.patch

File NTL_negate.patch, 857 bytes (added by jdemeyer@…, 11 years ago)

Fix

  • factory/cf_chinese.cc

    diff -ru src/factory/cf_chinese.cc b/factory/cf_chinese.cc
    src b  
    211211            ZZ NTLc= convertFacCF2NTLZZ (c);
    212212            bool lessZero= (sign (NTLc) == -1);
    213213            if (lessZero)
    214               negate (NTLc, NTLc);
     214              NTL::negate (NTLc, NTLc);
    215215            ZZ NTLnum, NTLden;
    216216            if (ReconstructRational (NTLnum, NTLden, NTLc, NTLq, bound, bound))
    217217            {
    218218              if (lessZero)
    219                 negate (NTLnum, NTLnum);
     219                NTL::negate (NTLnum, NTLnum);
    220220              CanonicalForm num= convertNTLZZX2CF (to_ZZX (NTLnum), Variable (1));
    221221              CanonicalForm den= convertNTLZZX2CF (to_ZZX (NTLden), Variable (1));
    222222              On (SW_RATIONAL);