Changeset d12f186 in git for libpolys/polys/ext_fields

Timestamp:

Jul 7, 2011, 11:18:50 AM (13 years ago)

Author:

Frank Seelisch <seelisch@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

44d898208ddc75d14a68b3bf09b8a1971b2ee1f6

Parents:

6c19d854882ab99fd19b9b972a32606106c2f2ee

git-author:

Frank Seelisch <seelisch@mathematik.uni-kl.de>2011-07-07 11:18:50+02:00

git-committer:

Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 12:39:12+01:00

Message:

bug in coeffs.h, removing nested fractions in ext. fields over Q

File:

• libpolys/polys/ext_fields/transext.cc (modified) (3 diffs)

libpolys/polys/ext_fields/transext.cc

@@ -591 +591 @@
   if (!p_IsConstant(DEN(f), ntRing))
   { /* step (1); see documentation of this procedure above */
+    p_Normalize(NUM(f), ntRing);
+    p_Normalize(DEN(f), ntRing);
     number lcmOfDenominators = n_Init(1, ntCoeffs);
     number c; number tmp;
@@ -616 +618 @@
     { /* multiply NUM(f) and DEN(f) with lcmOfDenominators */
       NUM(f) = p_Mult_nn(NUM(f), lcmOfDenominators, ntRing);
+      p_Normalize(NUM(f), ntRing);
       DEN(f) = p_Mult_nn(DEN(f), lcmOfDenominators, ntRing);
+      p_Normalize(DEN(f), ntRing);
     }
     n_Delete(&lcmOfDenominators, ntCoeffs);
@@ -646 +650 @@
                                                      ntCoeffs);
         NUM(f) = p_Mult_nn(NUM(f), inverseOfGcdOfCoefficients, ntRing);
+        p_Normalize(NUM(f), ntRing);
         DEN(f) = p_Mult_nn(DEN(f), inverseOfGcdOfCoefficients, ntRing);
+        p_Normalize(DEN(f), ntRing);
         n_Delete(&inverseOfGcdOfCoefficients, ntCoeffs);
       }