diff -ru src/factory/cf_chinese.cc b/factory/cf_chinese.cc
src
|
b
|
|
211 | 211 | ZZ NTLc= convertFacCF2NTLZZ (c); |
212 | 212 | bool lessZero= (sign (NTLc) == -1); |
213 | 213 | if (lessZero) |
214 | | negate (NTLc, NTLc); |
| 214 | NTL::negate (NTLc, NTLc); |
215 | 215 | ZZ NTLnum, NTLden; |
216 | 216 | if (ReconstructRational (NTLnum, NTLden, NTLc, NTLq, bound, bound)) |
217 | 217 | { |
218 | 218 | if (lessZero) |
219 | | negate (NTLnum, NTLnum); |
| 219 | NTL::negate (NTLnum, NTLnum); |
220 | 220 | CanonicalForm num= convertNTLZZX2CF (to_ZZX (NTLnum), Variable (1)); |
221 | 221 | CanonicalForm den= convertNTLZZX2CF (to_ZZX (NTLden), Variable (1)); |
222 | 222 | On (SW_RATIONAL); |