Changeset 73a9ffb in git for libpolys/coeffs/modulop.cc

Timestamp:

May 26, 2011, 10:29:03 AM (13 years ago)

Author:

Frank Seelisch <seelisch@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

488808e90a9444d2ce5d16be059643fdd2e8629e

Parents:

e676cdf123bc41ae953d7fd58106263f5fd02d0c

git-author:

Frank Seelisch <seelisch@mathematik.uni-kl.de>2011-05-26 10:29:03+02:00

git-committer:

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

Message:

made sure that ch is properly set everywhere, and ch >= 0; more ASSUMEs

File:

• libpolys/coeffs/modulop.cc (modified) (2 diffs)

libpolys/coeffs/modulop.cc

@@ -23 +23 @@
 // int npGen=0;
 
+/// Our Type!
+static const n_coeffType ID = n_Zp;
 
 BOOLEAN npGreaterZero (number k, const coeffs r)
@@ -329 +331 @@
 BOOLEAN npInitChar(coeffs r, void* p)
 {
+  assume( getCoeffType(r) == ID );
   const int c = (int) (long) p;