Changeset b7f0f6 in git for Tst/Manual/syz_BR_PLURAL_BR.tst

Timestamp:

Aug 29, 2013, 10:42:58 PM (11 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')

Children:

62e51f3a438d0476a7cc82ebe3df5d93b7a740b0

Parents:

0771f61b26d53841e64fe287533ff7a7d376f062

Message:

Updated SW test-suite (changes in normalizaion/ext_fields)

File:

• Tst/Manual/syz_BR_PLURAL_BR.tst (modified) (1 diff)

Tst/Manual/syz_BR_PLURAL_BR.tst

@@ -2 +2 @@
 LIB "ncalg.lib";
 def R = makeQso3(3);
-setring R;
+setring R; R;
 option(redSB);
 // we wish to have completely reduced bases:
 option(redTail);
-ideal tst;
+module tst;
 ideal J = x3+x,x*y*z;
-print(syz(J));
+option(); print(syz(J));
 ideal K = x+y+z,y+z,z;
-module S = syz(K);
+option(); module S = syz(K);
 print(S);
-tst = ideal(transpose(S)*transpose(K));
+tst = module(transpose(S)*transpose(K));
 // check the property of a syzygy module (tst==0):
 size(tst);
  // now compute the Groebner basis of K ...
-K = std(K);
+option(); K = std(K);
 // ... print a matrix presentation of K ...
 print(matrix(K));
-S = syz(K); // ... and its syzygy module
+option(); S = syz(K); // ... and its syzygy module
 print(S);
-tst = ideal(transpose(S)*transpose(K));
+tst = module(transpose(S)*transpose(K));
 // check the property of a syzygy module (tst==0):
 size(tst);
 // but the "commutative" syzygy property does not hold
-size(ideal(matrix(K)*matrix(S)));
+size(module(matrix(K)*matrix(S)));
 tst_status(1);$