Changeset 8d5f05 in git for libpolys/coeffs/coeffs.h

Timestamp:

Jun 11, 2014, 7:47:46 PM (10 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'c5facdfddea2addfd91babd8b9019161dea4b695')

Children:

38a53c048e362151c5c6f95afd4ff65bb32f577c

Parents:

8ddc7cdebf2fd739ad88aa6464fcf904707cd2f1

Message:

removed n_IntDiv/cfIntDiv etc.

File:

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

libpolys/coeffs/coeffs.h

@@ -23 +23 @@
 {
   n_unknown=0,
-  n_Zp, /**< \F{p < ?} */
+  n_Zp, /**< \F{p < 2^31} */
   n_Q,  /**< rational (GMP) numbers */
   n_R,  /**< single prescision (6,6) real numbers */
-  n_GF, /**< \GF{p^n < 32001?} */
-  n_long_R, /**< real (GMP) numbers */
+  n_GF, /**< \GF{p^n < 2^16} */
+  n_long_R, /**< real floating point (GMP) numbers */
   n_algExt,  /**< used for all algebraic extensions, i.e.,
                 the top-most extension in an extension tower
@@ -34 +34 @@
                   the top-most extension in an extension tower
                   is transcendental */
-  n_long_C, /**< complex (GMP) numbers */
+  n_long_C, /**< complex floating point (GMP) numbers */
   n_Z, /**< only used if HAVE_RINGS is defined: ? */
   n_Zn, /**< only used if HAVE_RINGS is defined: ? */
@@ -140 +140 @@
    //   cfExactDiv does an exact division, but no error checking
    //   (I'm not sure I understant and even less that this makes sense)
-   numberfunc cfMult, cfSub ,cfAdd ,cfDiv, cfIntDiv, cfIntMod, cfExactDiv;
+   numberfunc cfMult, cfSub ,cfAdd ,cfDiv, cfIntMod, cfExactDiv;
 
    /// init with an integer
@@ -619 +619 @@
 { assume(r != NULL); assume(r->cfDiv!=NULL); return r->cfDiv(a,b,r); }
 
-static inline number n_IntDiv(number a, number b, const coeffs r)
-{ assume(r != NULL); assume(r->cfIntDiv!=NULL); return r->cfIntDiv(a,b,r); }
-
 /// for r a field, return n_Init(0,r)
 /// otherwise: n_Div(a,b,r)*b+n_IntMod(a,b,r)==a