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

Timestamp:

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

Author:

Frank Seelisch <seelisch@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

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/rmodulon.cc (modified) (2 diffs)

libpolys/coeffs/rmodulon.cc

@@ -24 +24 @@
 #include <string.h>
 
+/// Our Type!
+static const n_coeffType ID = n_Zn;
+
 extern omBin gmp_nrz_bin;
 
@@ -45 +48 @@
 BOOLEAN nrnInitChar (coeffs r, void* p)
 {
-  
+  assume( getCoeffType(r) == ID );
   nrnInitExp((int)(long)(p), r);
   r->ringtype = 2;
-  r->type = n_Zn;
+  
+  /* next computation may yield wrong characteristic as r->modNumber
+     is a GMP number */
+  r->ch = mpz_get_ui(r->modNumber);
 
   r->cfInit        = nrnInit;