Changeset e72a9a 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:

918ca09282483016057240878bd4a20cd2d7305f

Parents:

c149e345cb58e789ed28fe569ddaee8906cdbdc7

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);
 }