Changeset 4c6e420 in git for libpolys/coeffs/coeffs.h

Timestamp:

Apr 27, 2011, 4:25:41 PM (13 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

760a78f4333abdcf36c17059f611fa15a34c2dac

Parents:

5c97e10bb44ba586b18c55984cb4187d64f2d618

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2011-04-27 16:25:41+02:00

git-committer:

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

Message:

ADD: algring to coeffs (for extension fields via polynomials)
FIX: eliminated the use of minpoly/P/params in polynomials (as much as was possible)
ADD: complex numbers need a name for the imaginary root of -1 (use complex_parameter instead of parameter[0])

File:

• libpolys/coeffs/coeffs.h (modified) (4 diffs)

libpolys/coeffs/coeffs.h

@@ -36 +36 @@
 typedef struct snumber *   number;
 
+struct snumber;
+typedef struct snumber *   number;
+
 /* standard types */
 #ifdef HAVE_RINGS
@@ -41 +44 @@
 typedef mpz_ptr int_number;
 #endif
+
+struct ip_sring;
+typedef struct ip_sring *         ring;
 
 struct n_Procs_s;
@@ -81 +87 @@
    unsigned short *npLogTable;
    #endif
-   // Zp_a, Q_a
+
    // ?
    // initialisation:
@@ -155 +161 @@
    n_coeffType type;
 //-------------------------------------------
-  char**     parameter; //< names of parameters, rInit
-  short      P;      //< number of pars, rInit
-  number     minpoly;  //< for Q_a/Zp_a, rInit
+
+  /// For Zp_a, Q_a we need polynomials (due to polys)
+  ring          algring; //< implementation of extensions needs polynomials...
+  /// for Q_a/Zp_a, rInit
+  number     minpoly;  //< make it a number! (needed for ring.cc) must be set by n???InitChar
+
+
+//-------------------------------------------
+  char* compex_parameter; //< the name of sqrt(-1), i.e. 'i' or 'j' etc...?
 
 #ifdef HAVE_RINGS