Changeset d18df5 in git for libpolys/polys/monomials/ring.h

Timestamp:

Sep 10, 2013, 2:42:09 PM (11 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

7a09e1d6d0251363fa537e336d28f280643b495f

Parents:

57618f842a0f320fdf02101851783aa8ae1b31db

git-author:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2013-09-10 14:42:09+02:00

git-committer:

Janko Boehm <boehm@mathematik.uni-kl.de>2013-09-10 15:30:18+02:00

Message:

removed rField_is_Extension (alg. or trans. ext. ?)

File:

• libpolys/polys/monomials/ring.h (modified) (2 diffs)

libpolys/polys/monomials/ring.h

@@ -493 +493 @@
 static inline BOOLEAN rField_has_simple_Alloc(const ring r)
 { assume(r != NULL); assume(r->cf != NULL); return nCoeff_has_simple_Alloc(r->cf); }
-
-/// Alg. or trans. ext.
-static inline BOOLEAN rField_is_Extension(const ring r)
-{ assume(r != NULL); assume(r->cf != NULL); return nCoeff_is_Extension(r->cf); } /* Z/p(a) and Q(a)*/
 
 n_coeffType rFieldType(const ring r);
@@ -646 +642 @@
   const coeffs C = r->cf;
   assume(C != NULL);
-//  assume( (rParameter(r)!=NULL) == rField_is_Extension(r) ); // ?
   return nCoeff_is_Extension(C) || nCoeff_is_GF(C) || nCoeff_is_long_C(C);
 }