Changeset 74dcead in git

Timestamp:

Jun 30, 2015, 12:33:49 PM (8 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

43b04d2d8385c988fe1b69e545f48f527a9e2be1f34cd445520f5220554ca71a6324d2a0ecd2c7f6

Parents:

2a4231766997cb703074cd965636c35b364d526d

Message:

fix: div by constant while mapping transExt.

File:

• libpolys/polys/monomials/p_polys.cc (modified) (2 diffs)

libpolys/polys/monomials/p_polys.cc

@@ -3847 +3847 @@
     if( !DENIS1((fraction)z) )
     {
-      if (p_IsConstant(DEN((fraction)z),srcExtRing))
-      {
-        number n=pGetCoeff(DEN((fraction)z));
-        zz=p_Div_nn(zz,n,srcExtRing);
-        p_Normalize(zz,srcExtRing);
-      }
-      else
+      if (!p_IsConstant(DEN((fraction)z),srcExtRing))
         WarnS("Not defined: Cannot map a rational fraction and make a polynomial out of it! Ignoring the denumerator.");
     }
@@ -3885 +3879 @@
     qq = p_PermPoly(zz, par_perm-1, srcExtRing, dst, nMap, NULL, rVar (srcExtRing)-1);
 
+  if(nCoeff_is_transExt(srcCf)
+  && (!DENIS1((fraction)z))
+  && p_IsConstant(DEN((fraction)z),srcExtRing))
+  {
+    number n=nMap(pGetCoeff(DEN((fraction)z)),srcExtRing->cf, dstCf);
+    qq=p_Div_nn(qq,n,dst);
+    n_Delete(&n,dstCf);
+    p_Normalize(qq,dst);
+  }
   p_Test (qq, dst);
-
-//       poly p_PermPoly (poly p, int * perm, const ring oldRing, const ring dst, nMapFunc nMap, int *par_perm, int OldPar)
-
-//  assume( FALSE );  WarnS("longalg missing 2");
 
   return qq;