Changeset 628f663 in git for libpolys/polys/ext_fields/algext.cc

Timestamp:

Feb 19, 2013, 6:27:58 PM (11 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

87343b4d7f38df9831596b5fcc7ded4fcff5f407

Parents:

644b311072b1277f612b8e3d8ad80e23a56d5ec0

git-author:

Martin Lee <martinlee84@web.de>2013-02-19 18:27:58+01:00

git-committer:

Martin Lee <martinlee84@web.de>2013-02-20 22:34:19+01:00

Message:

chg: towards correct imap

File:

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

libpolys/polys/ext_fields/algext.cc

@@ -921 +921 @@
 #endif
 
-number naCopyExt(number a, const coeffs src, const coeffs)
+number naCopyExt(number a, const coeffs src, const coeffs dst)
 {
   fraction fa=(fraction)a;
-  return (number)p_Copy(NUM(fa),src->extRing);
+  poly p = p_Copy(NUM(fa),src->extRing);
+  assume( rSamePolyRep(src->extRing, dst->extRing) );
+  definiteReduce(p, dst->extRing->qideal->m[0], dst);
+  return (number)p;
 }
 
@@ -995 +998 @@
   if (nCoeff_is_Q(bSrc) && nCoeff_is_Q(bDst))
   {
-    if (strcmp(rRingVar(0, src->extRing),
-               rRingVar(0, dst->extRing)) == 0)
+    if (rSamePolyRep(src->extRing, dst->extRing) && (strcmp(rRingVar(0, src->extRing), rRingVar(0, dst->extRing)) == 0))
     {
       if (src->type==n_algExt)
@@ -1009 +1011 @@
   if (nCoeff_is_Zp(bSrc) && nCoeff_is_Zp(bDst))
   {
-    if (strcmp(rRingVar(0,src->extRing),rRingVar(0,dst->extRing))==0)
+    if (rSamePolyRep(src->extRing, dst->extRing) && (strcmp(rRingVar(0,src->extRing),rRingVar(0,dst->extRing))==0))
     {
       if (src->type==n_algExt)