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

Timestamp:

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

Author:

Frank Seelisch <seelisch@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

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/rintegers.cc (modified) (3 diffs)

libpolys/coeffs/rintegers.cc

@@ -22 +22 @@
 #include "si_gmp.h"
 
+/// Our Type!
+static const n_coeffType ID = n_Z;
 
 omBin gmp_nrz_bin = omGetSpecBin(sizeof(mpz_t));
@@ -381 +383 @@
 BOOLEAN nrzInitChar(coeffs r,  void * parameter)
 {
+  assume( getCoeffType(r) == ID );
   r->cfSetChar= NULL;
   r->nCoeffIsEqual = ndCoeffIsEqual;
@@ -425 +428 @@
  
   r->nNULL = 0;
-  r->type = n_Z;
+  r->ch = 0;
   r->ringtype = 4;
   r->has_simple_Alloc=FALSE;