Changeset a37b34 in git for factory/FLINTconvert.cc

Timestamp:

Nov 12, 2012, 6:09:32 PM (11 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', 'f6c3dc58b0df4bd712574325fe76d0626174ad97')

Children:

6ea864278bd3cbb9e4869b30bd2abcd525d6ed30

Parents:

b2c7a216311d3bac9e82e892f71b35269aa0886e

git-author:

Martin Lee <martinlee84@web.de>2012-11-12 18:09:32+01:00

git-committer:

Martin Lee <martinlee84@web.de>2012-11-16 13:20:06+01:00

Message:

fix: bug in conversion to NTL/FLINT

File:

• factory/FLINTconvert.cc (modified) (1 diff)

factory/FLINTconvert.cc

@@ -122 +122 @@
   {
     CanonicalForm c= i.coeff();
-    if (!c.isImm()) c.mapinto(); //c%= getCharacteristic();
+    if (!c.isImm()) c=c.mapinto(); //c%= getCharacteristic();
     if (!c.isImm())
     {  //This case will never happen if the characteristic is in fact a prime