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

Timestamp:

May 25, 2011, 11:13:13 AM (13 years ago)

Author:

Frank Seelisch <seelisch@…>

Branches:

(u'spielwiese', 'ec94ef7a30b928574c0c3daf41f6804dff5f6b69')

Children:

f0797cc6a47f909e14515d7d07179ce7dbb9c8b7

Parents:

48a994659e87a54916c1ebffdba59be9375387e4

git-author:

Frank Seelisch <seelisch@mathematik.uni-kl.de>2011-05-25 11:13:13+02:00

git-committer:

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

Message:

nExt replaced by n_algExt and n_transExt

File:

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

libpolys/tests/polys_test.h

@@ -560 +560 @@
     minIdeal->m[0] = minPoly;                       // minIdeal = < a^2 + 1 >
 
-    n_coeffType type = nRegister(n_Ext, naInitChar); 
-    TS_ASSERT(type == n_Ext);
+    n_coeffType type = nRegister(n_algExt, naInitChar); 
+    TS_ASSERT(type == n_algExt);
 
     ExtInfo extParam;
@@ -581 +581 @@
       n_CoeffWrite(cf); PrintLn();
     }
+    
+    TS_ASSERT( nCoeff_is_algExt(cf) );
+    TS_ASSERT( !nCoeff_is_transExt(cf) );
+    TS_ASSERT( nCoeff_is_Q_a(cf) );
+    TS_ASSERT( !nCoeff_is_Zp_a(cf) );
     
     // some tests for the coefficient field represented by cf:
@@ -658 +663 @@
     minIdeal->m[0] = minPoly;                       // minIdeal = < b^7 + 17 >
 
-    n_coeffType type = nRegister(n_Ext, naInitChar); 
-    TS_ASSERT(type == n_Ext);
+    n_coeffType type = nRegister(n_algExt, naInitChar); 
+    TS_ASSERT(type == n_algExt);
 
     ExtInfo extParam;
@@ -679 +684 @@
       n_CoeffWrite(cf); PrintLn();
     }
+    
+    TS_ASSERT( nCoeff_is_algExt(cf) );
+    TS_ASSERT( !nCoeff_is_transExt(cf) );
+    TS_ASSERT( nCoeff_is_Q_a(cf) );
+    TS_ASSERT( !nCoeff_is_Zp_a(cf) );
     
     // some tests for the coefficient field represented by cf:
@@ -799 +809 @@
     minIdeal->m[0] = minPoly;                       // minIdeal = < a^2 + 3 >
 
-    n_coeffType type = nRegister(n_Ext, naInitChar); 
-    TS_ASSERT(type == n_Ext);
+    n_coeffType type = nRegister(n_algExt, naInitChar); 
+    TS_ASSERT(type == n_algExt);
 
     ExtInfo extParam;
@@ -820 +830 @@
       n_CoeffWrite(cf); PrintLn();
     }
+    
+    TS_ASSERT( nCoeff_is_algExt(cf) );
+    TS_ASSERT( !nCoeff_is_transExt(cf) );
+    TS_ASSERT( !nCoeff_is_Q_a(cf) );
+    TS_ASSERT( nCoeff_is_Zp_a(cf) );
     
     // some tests for the coefficient field represented by cf:
@@ -849 +864 @@
 
     Test(s);
-    
+    /*
 #ifdef HAVE_FACTORY
     poly f = p_ISet(3, s);
@@ -870 +885 @@
     p_Delete(&h, s);
 #endif
+    */
     rDelete(s); // kills 'cf' and 'r' as well
   }