Changeset 37ed00 in git

Timestamp:

May 11, 2011, 4:02:15 PM (12 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '00e2e9c41af3fde1273eb3633f4c0c7c3db2579d')

Children:

45e35b62b6f04314377865c4eb8cad555c42f584

Parents:

568cf0845ad03f316fc5a94760ced50ad71135aa

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2011-05-11 16:02:15+02:00

git-committer:

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

Message:

ADD: test for a creation of a ring with specific ordering

File:

• libpolys/tests/rings_test.h (modified) (2 diffs)

libpolys/tests/rings_test.h

@@ -142 +142 @@
      rDelete(r);
   }
-   void test_QQ_x_y_z()
-   {
+
+  void test_QQ_x_y_z()
+  {
      clog << "Creating  QQ[x, y, z, u]: " << endl;
 
@@ -204 +205 @@
      rDelete(r); // kills 'cf' as well!
    }
-
+   
+
+
+
+
+  void test_QQ_x_y_z_ord_2_lp()
+  {
+     clog << "Creating  QQ[x, y, z, u]: " << endl;
+
+     const int N = 4;
+     char* n[N] = {"x", "y", "z", "u"};
+
+
+     const int D = 2;
+     /*order: lp,0*/
+     int *order = (int *) omAlloc0(D* sizeof(int));
+     int *block0 = (int *)omAlloc0(D * sizeof(int));
+     int *block1 = (int *)omAlloc0(D * sizeof(int));
+     /* ringorder dp for the first block: var 1..N */
+     order[0]  = ringorder_dp;
+     block0[0] = 1;
+     block1[0] = N;
+     /* the last block: everything is 0 */
+//     order[1]  = 0;
+
+     ring r = rDefault(0, N, n, D, order, block0, block1);
+     TS_ASSERT_DIFFERS( r, NULLp );
+
+     PrintRing(r);
+
+     TS_ASSERT( rField_is_Domain(r) );
+     TS_ASSERT( rField_is_Q(r) );
+
+     TS_ASSERT( !rField_is_Zp(r) );
+     TS_ASSERT( !rField_is_Zp(r, 11) );
+
+     TS_ASSERT_EQUALS( rVar(r), N);
+
+     Test(r);
+      
+     rDelete(r);
+   }
 };