Changeset 06df101 in git for libpolys/tests/coeffs_test.h

Timestamp:

Jul 6, 2011, 4:41:07 PM (12 years ago)

Author:

Frank Seelisch <seelisch@…>

Branches:

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

Children:

6c19d854882ab99fd19b9b972a32606106c2f2ee

Parents:

2d3091c7bb239cd4787574560ab475ac88621da7

git-author:

Frank Seelisch <seelisch@mathematik.uni-kl.de>2011-07-06 16:41:07+02:00

git-committer:

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

Message:

handled nested fractions (when over Q), found bug in longrat.cc (see coeffs_test.h:507)

File:

• libpolys/tests/coeffs_test.h (modified) (1 diff)

libpolys/tests/coeffs_test.h

@@ -481 +481 @@
      setGMPFloatDigits( 10, 5 ); // Init global variables in mpr_complex.cc for gmp_float's... // Note that this seems also to be required for Z_2^m (and Zn?)!????
      simple(n_long_C);
-   }  
-
-   
-   // polynomial rings needed for extentions: n_algExt, n_transExt !
-   
+   }
+   
+   void test_Q_special()
+   {
+     const coeffs cf = nInitChar(n_Q, NULLp);
+
+     if (cf == NULLp)
+       clog << ( "Test: could not get this coeff. domain" );
+
+     TS_ASSERT_DIFFERS(cf->cfCoeffWrite, NULLp);
+
+     if (cf->cfCoeffWrite != NULL )
+     {
+       clog << "Coeff-domain: "  << endl; 
+       n_CoeffWrite(cf); PrintLn();
+     }
+     
+     number q1 = n_Init(21, cf);
+     number q2 = n_Init(2, cf);
+     number q3 = n_Div(q1, q2, cf);
+     number q4 = n_Init(30, cf);
+     number q5 = n_Mult(q3, q4, cf);
+     TS_ASSERT(n_Test(q5, cf));
+     Print("21/2 * 30 = %d\n", n_Int(q5, cf));
+     TS_ASSERT(n_Test(q5, cf));
+     n_Delete(&q1, cf);
+     n_Delete(&q2, cf);
+     n_Delete(&q3, cf);
+     n_Delete(&q4, cf);
+     n_Delete(&q5, cf);
+   }
 };