Changeset 17887d2 in git

Timestamp:

Oct 8, 2013, 4:23:27 PM (9 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

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

Children:

1ab8c483ab732822980c218349f3ca9cdf2f19b0

Parents:

ecf4a6aec8765816e4b84c145f473f1ff6555d71

Message:

chg: editing

File:

• libpolys/polys/monomials/p_polys.cc (modified) (1 diff)

libpolys/polys/monomials/p_polys.cc

@@ -2876 +2876 @@
        lead (ph) is > 0 if extRing->cf == Q
        or lead (ph) is monic if extRing->cf == Zp*/
-    if (nCoeff_is_transExt(C))
-    {
-      p= ph;
-      h= p_GetCoeff (p, C);
-      fraction f = (fraction) h;
-      poly g = NUM(f);
-      number n=p_GetCoeff (g,C->extRing->cf);
-      if (rField_is_Q (C->extRing))
-      {
-        if (!n_GreaterZero(n,C->extRing->cf))
-        {
-          p=p_Neg (p,r);
-        }
-      }
-      else if (rField_is_Zp(C->extRing))
-      {
-        if (!n_IsOne (n, C->extRing->cf))
-        {
-          n=n_Invers (n,C->extRing->cf);
-          nMapFunc nMap;
-          nMap= n_SetMap (C->extRing->cf, C);
-          number ninv= nMap (n,C->extRing->cf, C);
-          p=p_Mult_nn (p, ninv, r);
-          n_Delete (&ninv, C);
-          n_Delete (&n, C->extRing->cf);
-        }
-      }
-      p= ph;
-    }
-    
+  if (nCoeff_is_transExt(C))
+  {
+    p= ph;
+    h= p_GetCoeff (p, C);
+    fraction f = (fraction) h;
+    number n=p_GetCoeff (NUM (f),C->extRing->cf);
+    if (rField_is_Q (C->extRing))
+    {
+      if (!n_GreaterZero(n,C->extRing->cf))
+      {
+        p=p_Neg (p,r);
+      }
+    }
+    else if (rField_is_Zp(C->extRing))
+    {
+      if (!n_IsOne (n, C->extRing->cf))
+      {
+        n=n_Invers (n,C->extRing->cf);
+        nMapFunc nMap;
+        nMap= n_SetMap (C->extRing->cf, C);
+        number ninv= nMap (n,C->extRing->cf, C);
+        p=p_Mult_nn (p, ninv, r);
+        n_Delete (&ninv, C);
+        n_Delete (&n, C->extRing->cf);
+      }
+    }
+    p= ph;
+  }
+
   return;
 }