Changeset 9053f02 in git

Timestamp:

Dec 7, 2012, 2:19:36 PM (11 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

90606248d583c5fc68e2935f8e617bf697e3814b

Parents:

56892ef1d39dd9a7a3628073c6b656961ba9bc0d

git-author:

Martin Lee <martinlee84@web.de>2012-12-07 14:19:36+01:00

git-committer:

Martin Lee <martinlee84@web.de>2012-12-10 17:04:05+01:00

Message:

fix: normalization in transcendental extension over finite field

File:

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

libpolys/polys/ext_fields/transext.cc

@@ -1134 +1134 @@
        DEN(f), or both, due to previous arithmetics. The next call will
        remove those nested fractions, in case there are any. */
-    if (nCoeff_is_Q(ntCoeffs)) handleNestedFractionsOverQ(f, cf);
+    if (nCoeff_is_Zp(ntCoeffs) && p_IsConstant (DEN (f), ntRing))
+    {
+      NUM (f) = p_Div_nn (NUM (f), p_GetCoeff (DEN(f),ntRing), ntRing);
+      //poly newNum= singclap_pdivide (NUM(f), DEN (f), ntRing);
+      //p_Delete(&NUM (f), ntRing);
+      //NUM (f)= newNum;
+      p_Delete(&DEN (f), ntRing);
+      DEN (f) = NULL;
+      COM (f) = 0;
+    } else if (nCoeff_is_Q(ntCoeffs)) handleNestedFractionsOverQ(f, cf);
   }
   else