Changeset 87343b in git for libpolys/polys/ext_fields

Timestamp:

Feb 20, 2013, 10:28:04 PM (11 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')

Children:

0723d52f38b257cac43d6e4c57aa7a5d243f5002

Parents:

628f663dc4f87ee80a30f2fabcac34fba9b2b144

git-author:

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

git-committer:

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

Message:

fixed fetch/imap so far
still misses map from trans to alg extensions

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 dst)
-{
+number naCopyTrans2AlgExt(number a, const coeffs src, const coeffs dst)
+{
+  assume (nCoeff_is_transExt (src));
+  assume (nCoeff_is_algExt (dst));
   fraction fa=(fraction)a;
+  assume( rSamePolyRep(src->extRing, dst->extRing) );
   poly p = p_Copy(NUM(fa),src->extRing);
-  assume( rSamePolyRep(src->extRing, dst->extRing) );
   definiteReduce(p, dst->extRing->qideal->m[0], dst);
+  assume (p_Test (p, dst->extRing));
   return (number)p;
 }
@@ -1003 +1006 @@
          return ndCopyMap; // naCopyMap;         /// Q(a)   --> Q(a)
       else
-         return naCopyExt;
+         return naCopyTrans2AlgExt;
     }
     else
@@ -1016 +1019 @@
         return ndCopyMap; // naCopyMap;          /// Z/p(a) --> Z/p(a)
       else
-         return naCopyExt;
+         return naCopyTrans2AlgExt;
     }
     else