Changeset c8302b in git for factory/FLINTconvert.cc

Timestamp:

May 9, 2012, 10:52:48 AM (12 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '73c62e0961bcfc8f1a00420b41eec2ea3c0ef6e9')

Children:

75f10d0ac85a8bbe7d3c995ee023d8aaaf4a6c9b

Parents:

5c0bf0e51f96eb0ce4f2b693d76e67b7ab513d4e68a3479934a843315e00106eafa5f39066a82124

Message:

Merge pull request #103 from mmklee/factory_fixes_sw

Factory fixes sw

File:

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

factory/FLINTconvert.cc

@@ -265 +265 @@
 {
   CFFList result;
-  result.insert (CFFactor (CanonicalForm ((long) leadingCoeff), 1));
+  if (leadingCoeff != 1)
+    result.insert (CFFactor (CanonicalForm ((long) leadingCoeff), 1));
 
   long i;