Changeset 73a9ffb in git for libpolys/coeffs/longrat.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/longrat.cc (modified) (2 diffs)

libpolys/coeffs/longrat.cc

@@ -111 +111 @@
 #define MPZ_EXACTDIV(A,B,C) mpz_divexact((A),(B),(C))
 
+/// Our Type!
+static const n_coeffType ID = n_Q;
+
 void    _nlDelete_NoImm(number *a);
-
-static const n_coeffType ID = n_long_R;
 
 /***************************************************************
@@ -2545 +2546 @@
 BOOLEAN nlInitChar(coeffs r, void* p)
 {
-  const int ch = (int)(long)(p);
+  assume( getCoeffType(r) == ID );
+  //const int ch = (int)(long)(p);
   
   r->cfKillChar=NULL;