Changeset a707c3 in git

Timestamp:

Jul 2, 2018, 3:08:31 PM (6 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

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

Children:

2bbfc1c22b51f7fecdb2e042af6d3dddbdbeb3fa

Parents:

96cd73ba8e350c13e7964b70073c3fec90b296c4

Message:

add: nCoeff_is_Zn/rField_is_Zn

Location:

libpolys

Files:

• coeffs/coeffs.h (modified) (1 diff)
• polys/monomials/ring.h (modified) (1 diff)

libpolys/coeffs/coeffs.h

@@ -841 +841 @@
 { assume(r != NULL); return getCoeffType(r)==n_Z || ((getCoeffType(r)==n_Q) && (!r->is_field)); }
 
+static FORCE_INLINE BOOLEAN nCoeff_is_Zn(const coeffs r)
+{ assume(r != NULL); return getCoeffType(r)==n_Zn; }
+
 static FORCE_INLINE BOOLEAN nCoeff_is_Q_or_BI(const coeffs r)
 { assume(r != NULL); return getCoeffType(r)==n_Q; }

libpolys/polys/monomials/ring.h

@@ -514 +514 @@
 static inline BOOLEAN rField_is_Z(const ring r)
 { assume(r != NULL); assume(r->cf != NULL); return nCoeff_is_Z(r->cf); }
+
+static inline BOOLEAN rField_is_Zn(const ring r)
+{ assume(r != NULL); assume(r->cf != NULL); return nCoeff_is_Zn(r->cf); }
 
 static inline BOOLEAN rField_is_numeric(const ring r) /* R, long R, long C */