Changeset bfde6c in git for libpolys/tests/polys_test.h

Timestamp:

Apr 27, 2011, 1:01:09 PM (12 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

b5b9dc3fbf31410fce6496f383303df8ed1e5461

Parents:

b7d7eb00647832d8b7ba2d7f853accc84ba835b5

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2011-04-27 13:01:09+02:00

git-committer:

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

Message:

FIX: some silly bugs in tests...
TODO: correct assumes...?

File:

• libpolys/tests/polys_test.h (modified) (4 diffs)

libpolys/tests/polys_test.h

@@ -55 +55 @@
 namespace
 {
+  
   void PrintRing(const ring r)
   {
@@ -100 +101 @@
 void TestSum(const ring r, const unsigned long N)
 {
+  TS_ASSERT_DIFFERS( r    , NULLp);
+  TS_ASSERT_DIFFERS( r->cf, NULLp);
+  
+  
   clog << ( _2S("TEST: sum[0..") + _2S(N) + "]: ");
   clog << endl;
@@ -110 +115 @@
   clog<< "poly(N*(N+1)/2) (int: " << ssss << "): "; PrintSized(sum1, r);
 
-  poly s, ss, i, res;
+  poly s, ss, i, res; res = NULL;
 
   s = p_Init(N  , r);
@@ -120 +125 @@
 
   number t = n_Init(2, r->cf);
-  clog<< "number(2): "; PrintSized(i, r);  
+  clog<< "number(2): "; PrintSized(t, r->cf);  
 
   if( !n_IsZero( t, r->cf) )
   {
-    TS_ASSERT( n_DivBy(p_GetCoeff(i, r), t, r->cf) );
-    res = p_Div_nn(i, t, r); i = NULL;
-  
+    if( i != NULL )
+    {
+      number ii = p_GetCoeff(i, r);
+      clog<< "number(poly(N)*poly(N+1)): "; PrintSized(ii, r->cf);  
+
+      TS_ASSERT( n_DivBy(ii, t, r->cf) );
+      res = p_Div_nn(i, t, r); i = NULL;
+    }
+    
+      
+
     clog<< "(poly(N)*poly(N+1))/number(2): "; PrintSized(res, r);
-    poly d = p_Sub(res, sum1, r);
-    
+    poly d = p_Sub(p_Copy(res, r), p_Copy(sum1, r), r);
+
     if( d != NULL )
       TS_ASSERT( n_IsZeroDivisor(p_GetCoeff(d, r), r->cf) );
-    
+
     Delete(d, r);
-    
+
     if( n_GetChar(r->cf) == 0 )
     {