Changeset 644b31 in git for libpolys/polys/ext_fields/transext.cc

Timestamp:

Feb 20, 2013, 7:02:58 PM (10 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '1d362c315e551a5b527ab0759f8839cf0e94f3a5')

Children:

0723d52f38b257cac43d6e4c57aa7a5d243f5002628f663dc4f87ee80a30f2fabcac34fba9b2b144

Parents:

ef7324f0fe134054c1000413c4d1fa21ccc163b1

git-author:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2013-02-20 19:02:58+01:00

git-committer:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2013-02-20 19:17:44+01:00

Message:

fix: ntDiv: normlization of .../(-1)

File:

• libpolys/polys/ext_fields/transext.cc (modified) (1 diff)

libpolys/polys/ext_fields/transext.cc

@@ -850 +850 @@
   fraction result = (fraction)omAlloc0Bin(fractionObjectBin);
   NUM(result) = g;
+  if (!n_GreaterZero(pGetCoeff(f),ntRing->cf))
+  {
+    g=p_Neg(g,ntRing);
+    f=p_Neg(f,ntRing);
+    NUM(result) = g;
+  }
   if (!p_IsConstant(f,ntRing) || !n_IsOne(pGetCoeff(f),ntRing->cf))
+  {
     DEN(result) = f;
+  }
   COM(result) = COM(fa) + COM(fb) + MULT_COMPLEXITY;
   heuristicGcdCancellation((number)result, cf);