Changeset b7f0f6 in git for Tst/Manual/syz_BR_PLURAL_BR.tst
- Timestamp:
- Aug 29, 2013, 10:42:58 PM (11 years ago)
- Branches:
- (u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')
- Children:
- 62e51f3a438d0476a7cc82ebe3df5d93b7a740b0
- Parents:
- 0771f61b26d53841e64fe287533ff7a7d376f062
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Tst/Manual/syz_BR_PLURAL_BR.tst
r0771f61 rb7f0f6 2 2 LIB "ncalg.lib"; 3 3 def R = makeQso3(3); 4 setring R; 4 setring R; R; 5 5 option(redSB); 6 6 // we wish to have completely reduced bases: 7 7 option(redTail); 8 idealtst;8 module tst; 9 9 ideal J = x3+x,x*y*z; 10 print(syz(J));10 option(); print(syz(J)); 11 11 ideal K = x+y+z,y+z,z; 12 module S = syz(K);12 option(); module S = syz(K); 13 13 print(S); 14 tst = ideal(transpose(S)*transpose(K));14 tst = module(transpose(S)*transpose(K)); 15 15 // check the property of a syzygy module (tst==0): 16 16 size(tst); 17 17 // now compute the Groebner basis of K ... 18 K = std(K);18 option(); K = std(K); 19 19 // ... print a matrix presentation of K ... 20 20 print(matrix(K)); 21 S = syz(K); // ... and its syzygy module21 option(); S = syz(K); // ... and its syzygy module 22 22 print(S); 23 tst = ideal(transpose(S)*transpose(K));23 tst = module(transpose(S)*transpose(K)); 24 24 // check the property of a syzygy module (tst==0): 25 25 size(tst); 26 26 // but the "commutative" syzygy property does not hold 27 size( ideal(matrix(K)*matrix(S)));27 size(module(matrix(K)*matrix(S))); 28 28 tst_status(1);$
Note: See TracChangeset
for help on using the changeset viewer.