Changeset 141342 in git for libpolys/polys/ext_fields

Timestamp:

May 25, 2011, 11:13:13 AM (13 years ago)

Author:

Frank Seelisch <seelisch@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

f0797cc6a47f909e14515d7d07179ce7dbb9c8b7

Parents:

48a994659e87a54916c1ebffdba59be9375387e4

git-author:

Frank Seelisch <seelisch@mathematik.uni-kl.de>2011-05-25 11:13:13+02:00

git-committer:

Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 12:36:52+01:00

Message:

nExt replaced by n_algExt and n_transExt

Location:

libpolys/polys/ext_fields

Files:

• algext.cc (modified) (2 diffs)
• algext.h (modified) (2 diffs)

libpolys/polys/ext_fields/algext.cc

@@ -523 +523 @@
 nMapFunc naSetMap(const coeffs src, const coeffs dst)
 {
-  /* dst is expected to be an (algebraic) extension field */
-  assume(getCoeffType(dst) == n_Ext);
+  /* dst is expected to be an algebraic extension field */
+  assume(getCoeffType(dst) == n_algExt);
+  
+  /* ATTENTION: This code assumes that dst is an algebraic extension of Q
+                or Zp. So, dst must NOT BE an algebraic extension of some
+                extension etc. This code will NOT WORK for extension
+                towers of height >= 2. */
   
   if (nCoeff_is_Q(src) && nCoeff_is_Q_a(dst))
@@ -575 +580 @@
   assume(cf->algring->cf                 != NULL);      // algring->cf;
   assume(getCoeffType(cf) == naID);                     // coeff type;
+  
+  cf->ch = cf->algring->cf->ch;   /* propagate characteristic up so that it
+                                     becomes directly accessible in cf */
   
   #ifdef LDEBUG

libpolys/polys/ext_fields/algext.h

@@ -37 +37 @@
 } ExtInfo;
 
-/// Get a mapping function from src into the domain of this type (n_Ext)
+/// Get a mapping function from src into the domain of this type (n_algExt)
 nMapFunc naSetMap(const coeffs src, const coeffs dst);
 
@@ -84 +84 @@
 
 /* our own type */
-#define naID n_Ext
+#define naID n_algExt
 
 /* polynomial ring in which our numbers live */