Changeset 906062 in git

Timestamp:

Dec 10, 2012, 5:37:41 PM (10 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'cdfcdb8287f66bc6070028082cbbc6eff10e609b')

Children:

6babcbc2bccd0b96989f6f2c061f8640dfb98b4de7cccf3b8b35aa52ffffb9f6d1a54ae569d3466f

Parents:

56892ef1d39dd9a7a3628073c6b656961ba9bc0d9053f02b7317fbd38584bd46c32dc61a34b8932f

Message:

Merge pull request #223 from mmklee/sw_normalize_fix

fix: normalization in transcendental extension over finite field

NOTE: divides by denumerator and makes fraction into "NUM / NULL" (only over Fp)

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