Changeset b7f0f6 in git

Timestamp:

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

Author:

Oleksandr Motsak <motsak@…>

Branches:

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

Children:

62e51f3a438d0476a7cc82ebe3df5d93b7a740b0

Parents:

0771f61b26d53841e64fe287533ff7a7d376f062

Message:

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

Location:

Tst

Files:

• Buch/Example_1_9_31.res.gz.uu (modified) (1 diff)
• Buch/Example_1_9_31.stat (modified) (1 diff)
• Buch/Example_1_9_31.tst (modified) (1 diff)
• Manual/fwalk.stat (modified) (1 diff)
• Manual/pwalk.stat (modified) (1 diff)
• Manual/syz_BR_PLURAL_BR.res.gz.uu (modified) (1 diff)
• Manual/syz_BR_PLURAL_BR.stat (modified) (1 diff)
• Manual/syz_BR_PLURAL_BR.tst (modified) (1 diff)
• Plural/Syz-qso3-q3.res.gz.uu (modified) (1 diff)
• Plural/Syz-qso3-q3.stat (modified) (1 diff)
• Plural/Syz-qso3-q3.tst (modified) (2 diffs)

Tst/Buch/Example_1_9_31.res.gz.uu

@@ -1 +1 @@
 begin 644 Example_1_9_31.res.gz
-M'XL(")5]QU```T5X86UP;&5?,5\Y7S,Q+G)E<P"U4TMOHS`0OO,K1M4>3''<
-M./2Q450?JNZARJI22N\1+4X6E0`"H\7Y]3O&Q$99J3W5483G/=\WX^3U\>D9
-M`+B`WT\/<*%:Q8K\[6(5)*-E(0"5V[S,%0E7@?F"$/"K3P]U(;=\N]S&G)7R
-M+VM5JEQ8+,#=KQE<7<']YP>DS0B<+5G,OW!WN6^8KW/++(CR/2WV9S#N!&1R
-M!R]P#X?T0V[:*B9QZ.T_!;12-7FYAQ>O70JH:I57)6EDECR$JXGXFN8%*A#9
-MKFH`%=V[S*#J5-TY&OA<0)[)M(`U%NXC'1VI^1]="8[,'ZJL0^`)NK3Z2-:8
-M=3R87/V10`JY4Z$QZKT^N5<[6+LL.*4:FU<D\<%G)R";&0_I*)'9)N+AY9'Z
-MNZ;.$0V1U=(ARH@;O,_0TD=6I6F@HT$S)$%T1K`YR.#'7>E3FY.MX+@5EAI<
-M+T0^W(EJTK*MJU8BD$LOK$,_*GYSPGI(<6`]P7ACGE/\.:?;2:4[9NFG>DH\
-M3GS"N%,O)TR.E!DTFCK&+#^TIR-2"SG0HVPB^G/DB[GO9\&97R/5-:59+&=<
-BB/\7P1GC[VGN>M(</BCSWLUC[EK"P]6/X!^P#>N3)00`````
+M'XL(",ZQ'U(``T5X86UP;&5?,5\Y7S,Q+G)E<P#-54MOHS`0OO,K1M4>("&T
+M)NDCB<JANWNHLEJ)IO>(@I.@`D;8=(%?OP,VX';;W4-S6">(>7@^C[^9$=O'
+M;_<_`8!X\./^#LX$%TX2/YVMC:WRN!Z@<1=GL3"MM=&^P?/@>Q6D>4)W9+?<
+MS8F3T5\.%X$8PN8>#/+"@?-SN/W[`BH1@3A+9T[^L7W`OG3&<ZX<>8DL#)+#
+MFVM<>Q#1/3S`+:3!,_4YFYMS:_3?>,"I*.+L``]K_!N8,4!X#(H@%+2(N8A#
+M6,&%M!/(T9%2]*"&=A^D(XVSG"4UJ+4"TW=G_I18TIV5Z1.&L#V\!`5']US:
+MN_64L/"Y`U\!*R+:)1/EVHYQK2##XWDK5E!#\PZ,J\-\5>>S+&1I6F*EXA<*
+M!4U08!E?J?BZNC7]&;$F53TU9[XUZ8$;=+1ZU;1VO,^D[CVU"JD;&5(-G"X]
+M8'F+;Q8TVMY9:TU]#.($#8BQ9P4F$I4AC8"5(B^')B(78Q,1XD`<T2"!#9:P
+MFM;3QFZ?9B@A<8?C$#AE48G-M,7-O&[,#9K4PB/%D8*9T+VP6F=]J/OM6)@-
+MWDO"\!5T>8-*MWL?"U8>CA!G8BN*0%",13/=QQF%D@<'"GG!TGR\`PY"CB40
+MYA93D!+PN*&F.M-$F(SGC%/<,1F5C64!_M9&QZZMDE?D-[:4D764<`N:5&%L
+M60U4?<N>5>T+-QE]/3N@JE,D9J7BP+@8<EYHO..`=8S;M<[UE<ZU1O*)R;L^
+M#7F2@X$[R9===028/1%&K?0VHNJ[16/E1F-EZ8R]+,HB:[N[=[I:V[K$>9\H
+MA?X.71+N4[RY[G_$FZM]"MR%\^'\NI<?]-1G!O<49%Z==H);3J?Z'+\9Z]?3
+M+$>UC=#&6I=?3_:,].=H2V+\49=KK2XW3O>5;S_A)3>)M?YB_`9!&P5M&P@`
+!````
 `
 end

Tst/Buch/Example_1_9_31.stat

@@ -1 @@
-1 >> tst_memory_0 :: 1355251092:3150:3-1-5:x86_64-Linux:snork:296192
-1 >> tst_memory_1 :: 1355251092:3150:3-1-5:x86_64-Linux:snork:2253544
-1 >> tst_memory_2 :: 1355251092:3150:3-1-5:x86_64-Linux:snork:2286344
-1 >> tst_timer_1 :: 1355251092:3150:3-1-5:x86_64-Linux:snork:7
+1 >> tst_memory_0 :: 1377807142:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:277400
+1 >> tst_memory_1 :: 1377807142:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:2241424
+1 >> tst_memory_2 :: 1377807142:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:2282408
+1 >> tst_timer_1 :: 1377807142:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:12

Tst/Buch/Example_1_9_31.tst

@@ -6 +6 @@
 LIB "ncalg.lib";
 def R = makeQso3(3);
-setring R;
+setring R; R;
 option(redSB); option(redTail); // for reduced output
+
 ideal K = x+y+z,y+z,z;
-module S = syz(K);        // the (left) syzygy module of K
-print(S);                       
-
-ideal tst = ideal(transpose(S)*transpose(K));
-print(matrix(tst));
+option(); module S = syz(K);        // the (left) syzygy module of K
+print(S); print( size( module(transpose(S)*transpose(K)) ) );
 
 K = x,y,z;
-S = syz(K);
-print(S);
+option(); S = syz(K);
+print(S); print( size( module(transpose(S)*transpose(K)) ) );
 
 option(returnSB);
-S = syz(K);      
-print(S);
+
+option(); S = syz(K);      
+print(S); print( size( module(transpose(S)*transpose(K)) ) );
+
+K = x+y+z,y+z,z;
+option(); S = syz(K);        // the (left) syzygy module of K
+print(S); print( size( module(transpose(S)*transpose(K)) ) );
 
 tst_status(1);$

Tst/Manual/fwalk.stat

@@ -1 @@
-1 >> tst_memory_0 :: 1316104113:3132- exportiert :3-1-3:ix86-Linux:mamawutz:319208
-1 >> tst_memory_1 :: 1316104113:3132- exportiert :3-1-3:ix86-Linux:mamawutz:797356
-1 >> tst_memory_2 :: 1316104113:3132- exportiert :3-1-3:ix86-Linux:mamawutz:830140
-1 >> tst_timer_1 :: 1316104113:3132- exportiert :3-1-3:ix86-Linux:mamawutz:12
+1 >> tst_memory_0 :: 1377807539:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:332120
+1 >> tst_memory_1 :: 1377807539:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:2375680
+1 >> tst_memory_2 :: 1377807539:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:2412304
+1 >> tst_timer_1 :: 1377807539:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:8

Tst/Manual/pwalk.stat

@@ -1 @@
-1 >> tst_memory_0 :: 1316104113:3132- exportiert :3-1-3:ix86-Linux:mamawutz:316520
-1 >> tst_memory_1 :: 1316104113:3132- exportiert :3-1-3:ix86-Linux:mamawutz:798720
-1 >> tst_memory_2 :: 1316104113:3132- exportiert :3-1-3:ix86-Linux:mamawutz:831228
-1 >> tst_timer_1 :: 1316104113:3132- exportiert :3-1-3:ix86-Linux:mamawutz:11
+1 >> tst_memory_0 :: 1377807539:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:333984
+1 >> tst_memory_1 :: 1377807539:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:2379776
+1 >> tst_memory_2 :: 1377807539:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:2413400
+1 >> tst_timer_1 :: 1377807539:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:8

Tst/Manual/syz_BR_PLURAL_BR.res.gz.uu

@@ -1 +1 @@
 begin 644 syz_BR_PLURAL_BR.res.gz
-M'XL(""BORU```W-Y>E]"4E]03%5204Q?0E(N<F5S`*5436_:0!"]\RM&J(<U
-M-@ZVDT"*L%14J4J(J@+I&1D\`2O&B]@EV/SZS.[:BZ/V4M42\NS,VS<?;\SR
-MY?OC3P`(8GA^G$)7"NGGV;H[!K)669%)YHP[Z@UQ#**ZK*:+U:_GWXMOSV3Y
-M!9Y](1/96=8\8<U3;))\:YAL+(HAQ5=8P`3VR1O.!8]8Y%SCMY0`Y3$KMK"X
-M>N]BX`>9\8(=,5U.6_C[&&YNX(QPSL0.)(==\HZPX?M#CA+S"NC":8,IK!.!
-MXJN]-_1;C"])EK<X1S%D*2:Y:O_J?6B\3U1[&;FE5_:JWL4"@D$,!RI<,IH0
-M>W*(L%]=O$X9NH'%!`W)3)&XE7OQU*_%0L/;\_24(RP)HJAFU]*"J,FQ)">;
-M]P/'`_.P_MP-G-[%N]I5'2,@!5SC]?0M=9R3W:=(Z1I7Y74J5WLT"96G#H:#
-M:5Q0YP);#\E%0Z)"=5=,'I-"'+A`JJ]W/<R<5@MW6K'-#C=O('=(_?`#'F4%
-M_!42U7"UK9H1,"*?3`:.U2VX]T%D%U0!XAQ8_S`&15OPLQ;_)%&3_SAR7!=X
-M5/)G0J68@>_[]MK(UTH(F7X:\X.ND8!FVE37/J&E+.F(`@M:=MJ</]C"08UG
-M!FWZ)H6]TD)H`5JZ-EF2(H5,BL_=VSMA6W0C:FEEUSM@%/98(Y<)UPMB-T.!
-M*JM=&/VS=N'M_V@7WOU=N]!\P^N3U)Q=TF]_4B-^QV[#:1.E'`6I+&''\]0R
-E#&MFTXF=?J^VEHYJ(K+PD>Y\I?ZT3H(%SOA+YP.6/@@?!`4`````
+M'XL("+RN'U(``W-Y>E]"4E]03%5204Q?0E(N<F5S`+556V^;,!1^SZ\XBO8`
+M":&!])HH2.LF36VJ:4FZYXB`&U`!1]@TP*_?\06':7V9UJ%6ML_E.[?/SO;Y
+MZ\-W`/`">'JXAR%GW,W2_7`!N-NE1<HM>S$0*P0!L*;=W6]V/YY^;CX_X<XM
+MR,EE/.2#K<;Q-4X1A=E!(1G=+("8O,`&EI"'KV3-Z,R:V6?])08@O$R+`VP6
+M^#>XN$!IE(1E&'%2IHRG$<QAJN0>'%&1$]3@">5K4(H\+8XT:T!_<[#6_F0]
+M]FRE+JI\CR[T!=["DJ%ZIN3RVV<T>I7@<Z!E3&0R\;%G<?[F4&!X)K8U--"^
+M`^/W8;[H^+2(:)Y7V+7TC4!),MS0@LVU?U,OK?7$LT=U,[8F:WO4`;>H$.>Z
+M%7*L9]1TFD:[-*URJ4U/KP*@1X%OE23>WO>Z?1T`>I\(G%*6`*>0A)@.IG;,
+ML*?8/W2H(A+#/F0$L^O\;MP>XG.89CW,VP!R&E<9$>PYB^\"2&,29O"(HZ]G
+MX]JI1\VH-0;>U&1I+^"(W>(64LUZM&U!`J5B<Y`E@`XKUZ2DU2$!=-CR,N3D
+M(-,F+VE!H&+A@2`:5L0'DZ9U!K4_]DQ,KTMJ)9(:-^/6$?^]K/Q^5KJN+1J+
+MU%8?EED7#6^'JGR+T'*<CF:3GG;KJ#V.&7=H@B+-!$>-'X]KVYG48D&C04<@
+M"53+@\*LM1^8Z'CW<&3B9LHZ+<RY8$?*"*8S.A]6]GG:WI5D4)00Y#I/9$%'
+M4O)&W*U0=*G!HG7?+$1?+J>VX9%W[0)+6R(4B#DU\IL`!&Q!3Y*,%2<2_%M)
+MR;[`BXMT3)D(L0+7=8W;K=L;EA@IX_%_F-*=K!D#JV%AG7F(3U:-1\)(P>5=
+M_B,[?ZKM+66M^HB$<\Q-];T^VWHTZ^*%10PI9[_W]6.K\_T^!QM%&\-"24E%
+M.\<R3)*+YJLAJN2?(9<_^WMR^9?_0B[_ZGUR^>K1VU=<8@Y[#_&PPS2!8HJ/
+M>T$Y)#2+#<*-1M:EF'F.]&YKBRIFQOY6UKX3/Y(5LSQ[\6GP"_OSC%UT!P``
 `
 end

Tst/Manual/syz_BR_PLURAL_BR.stat

@@ -1 @@
-1 >> tst_memory_0 :: 1355525762:3150:3-1-5:x86_64-Linux:snork:291504
-1 >> tst_memory_1 :: 1355525762:3150:3-1-5:x86_64-Linux:snork:2241360
-1 >> tst_memory_2 :: 1355525762:3150:3-1-5:x86_64-Linux:snork:2282240
-1 >> tst_timer_1 :: 1355525762:3150:3-1-5:x86_64-Linux:snork:9
+1 >> tst_memory_0 :: 1377808060:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:276952
+1 >> tst_memory_1 :: 1377808060:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:2241424
+1 >> tst_memory_2 :: 1377808060:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:2282408
+1 >> tst_timer_1 :: 1377808060:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:11

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);$

Tst/Plural/Syz-qso3-q3.res.gz.uu

@@ -1 +1 @@
 begin 644 Syz-qso3-q3.res.gz
-M'XL("+LNPE```U-Y>BUQ<V\S+7$S+G)E<P"M6%MK(S<4?I]?(4(+,QY-:DDS
-M8[O>,713$@*E8-RWX%WLQKLX=9R+;3HSI?^]1_<C.5GVH1#0Z$@Z^L[U4[SX
-MX]?;WPDA;$9^N_U(+HZ'X^5NN[Z8)@NSPF<$A)^W^^TQS::)',EL1A9=7[P<
-MGD3Q(B[WF[\O#\?5T9T1,_*ZW7\EKTTZI/.,IBWM:)_1^V>OMYR1Q^W^^6G7
-M-?-/93[_Q'/F5RM871U?MRWYY4XLX<\OU6[I8[PTFI'M_DA.],'+QC/RY>DU
-M/35L>OK0B.DISS.W.+DD_]@)&UZ"1.Y]:$[3![GW`>UE7"[[W:6<$H`'MRT;
-M#YW5<N%?-QU?HLED!@<8Y<MFSMT)/M12`6I^PG(FY5S*L10"\E'K*.:#WLN%
-MEFLM@\XOE')!J8$#K9>#C^\W7\BBV?_Y>;7[NEF_KM)?Z,=L>M@<5?@6?B\X
-M78:*7+W(:`U:GG<\EU\]#(.4%?"=#=I!AQ&-["'6M)]$CJX>VQ7>=+""P$[L
-MBFAZ6/':!'AI>[]9[<AM<_5"KQB]XO1*^'7PUFUS.-ZGMYD7@K,>G^Y/NPU9
-M-8>N#];`8<]@YS%=@5`,6BKCN5*NI6H42RJ'$J9#M4A(KT<[-:/<-8%=8M!Q
-M*4D(2<4<_-$I!0P4PEQD@Y[:DTI>Z0M8;<:1&<=+MR\QD(9+FG1&UH9C6LQY
-M-NAH*H?>82UZ"X[3L53,%4;8K8`DZB!\<7=7RT/KY!&-D1N,7&%,]7W6&1HC
-MUQ@CS\""D'ZT[DWG(N?0$:08-$HP.4R'X<72HH)G--'G&5NJ`\J/A70L]J,P
-M&(7":.6%N1$N!"LI,:H"C&*@+3"C%]M4**FRNJ0C%=Q>^D=.)R@CDK-L0+:7
-ME)5:@\98&C^6RH_!/M"9Z$^%<75742;#Y1Q623_Z(Q6MU#*$HJ71S9!L/!<9
-M_09&I3]2J#%6"F/*@\B0(!\KC=%CJU7-V-NCHT5'L5L!<L'>5/R^'VOEQU@.
-M,>X%->N0XC;F2)6+M<<ZDGXLHIC;FA&##HF_RX^CR(\CX\=1X$>+5=X@QT1O
-M?;-FHFJP8U2=!NOJ;JSR48YLJ))(1`=5[Z%O81\'-?-&2(K)H!7RTS9-()._
-MMKL=6?D^"CSRNCD\[4['[=.>7#=[F*6W=(A:+=#']30A3.L=ZX&9:6EN6Y`/
-M14%(.)!%D@S-?N,&/1!ACJ&[]T]'^:C8/F[[S3WI-L?$(3!/@_7TH+GMX,'I
-M%P))U\#BZP_-`0ZGN^WAF%YGV72-G@!"/A<.C2:-B\5Q\_SS!;WX\7`!E-D<
-M<JTY7<-L>GVW7DZ!]^4>EGR^8\NF!S:#+^!M2-.NSTUF2"Z5;;"`[`3Z<.*>
-MPV;@[);WN>J'3"[#M^KR`A;+9=,!=\)7M6QT(^BXV]OVO&AAK98J.J\"3@!G
-MIY($6JT9A+!O!/N`H^%K#'IY;U`I%E.WYDR!4B9Q;5(J(0^^;O:IR'+-)FI6
-M9_:`G(V"694Y)Z@YRW*M@L,V76]&2R7/J:HU2HU#W&Z@`AX`@'DAK`04"Z.I
-ME(M<6V,1X;G"5'I,PBEW&(VCS-V%U2PUF8`YC)575$8HE4G<&LA#`T6FPY7Z
-MBZNLZ)Q';02=9A,3"[FW6+GZ&&<ZJA9+[?UKP<D68LPH/*3"VZ,@C:6.GL=G
-MQIG+$!]`#=&Y8B*/=DCUQ-LV]M;[D$*G4@3O0B@E>>TRJ_1&6/>CJ8HC-$%Y
-M*?>1$][E!C2.@'YK>'/AM=&8TR@ENSX,((\CB.)D,LL%QKQ9,*#,ADB5D]#E
-MA$HBU3'PL8[<["Q0Q>4KQM:6P5=%B3R.TVCBX^WKJ#8F&S`NV1G3(?1EKBO2
-M>9O'*<:&/E_DZ1Y?JCI>[QU?(DT2QD0U1`MB8D-0HTKO_>[P7H8B9Y%$H1K%
-M@BIN0#I#BR#Y\)P[9BB'`0?>-(]G'%C"_R<WG@,-Z8V^@P+?8T!+@.X&_AZ1
-MW41$5HKO)K*;_XW(#%>5[W(59A:I&;?>G&4HR6"UCP/?H1@II:A$5<$%'5G@
-M?!>^G)BIH%073<@M#H)OZZVO:E-6/:Z$S/=-WQ<"`HO;G1.APE`EUO8<724O
-M"NQ3CP+4+4Q$/'Y[>7>&IT,VZ.SVQ\"W`0MB$E0:M*N-3A->XQFK178`Y`8$
-ME6-@R#Q3E4$+%\[9I6$%X;&+&+O%Z@I5T3*7+RB<1#R(KTZC(&#:/(_V#*N"
-MS[UCN7\0(/RV0GH<(5TH`4N(P`"X/B\S_";A.AXNALB\6G5/@7JV0`D>YW*<
-MRF$F&__C5(XS6==ME(%!&O.B#K)X)%O`&:WR/DB,(*N_D;(\"CO*8==VOI'$
-M.<-I7.H-+HM#3D8!L65U9D7<C$(ZKG$ODO#*N8?C^+&*]8'!M6?Y^JPCH"?)
-M>0^4'%X[+XQLEVO=D:@GECBSC!L102O2+?5+"26=J_;.OC<*$616K8/J0-3F
-E-=<ZB?5'\'[B18DZLF6M4O\4+7]J/AU@8?I#\A^R$/U0P!8`````
+M'XL("+VN'U(``U-Y>BUQ<V\S+7$S+G)E<P"M66UOVS@2_NY?001W@&1)J47*
+MLAU7`;99M`BP6,#P?@O<PH[5U%W'=BU[S]+A_OO-\&U&:M);X)H6H#A##I]Y
+MGR#S/WZ]_UT(D=Z*W^[?B:M3=;K>;E97T][<<N2M`.*GS6YS"L)I#U=Q>ROF
+M=9-\J_8J^::N=^6_KJO3\N3OJ%MQW.R>Q+$(!O$LC(-+7,=-&*\/)#>[%<^;
+MW6&_K8O9QRR:?9112MPA<)>GX^8B?GE0"_A/K-RSWG59HUNQV9W$.?Y*M/&M
+M^+P_!N<BG9[?%FIZCJ+0,R?7XM]NDPZN@8)GOQ;GZ5<\^Y6=326RZ72&6P'P
+MX+5%0=#3'!G_\=OQ-=M,;N%"&LM%,9/^AAP8J@(Q;S@]1;I$.J>"0]X9&<FL
+MWQ!=&;J1TJ^)D2%#BX$+%Z*#C=?E9S$O=H^?EMNG<G5<!K_$[\)I59ZT^^93
+M^-][\P;T>?RR/"X?3^5Q4YTVC^)&#`P]%0=@/)?`06O<B)DP#.M;87]N1#`#
+M)X./0\/?G9]7<&?_6?RU/%;`5X:N?U;;_>.?6OJ-V!_7I4:S/K`3]',C=O!^
+MA9\748OF!3&2B[FS[^]WC_OGYS.$[>:O4AS++7SL=]6-O5]?BF`FP_ZECH)D
+M%O:=W`;HR4PF*;`:9"GDUHY;FUMU8VY=O+$A:K4][KYAN/<O,JIEA%\-+/T@
+M3>`;SO=K[M*1NY06EX\J8KX;.XXL:N`P;T\<1Q4-<$B:@C#;K,OE5MP7=]_B
+MNS2^D_&=(CZ$V_Z`1H`\AS/5:1W<PQ>H9LC5#9AI_<>7X_[\]`43;7XZ+D_E
+M4XWD\O-F5XISM7PJQ>&X?S[X:J`DE_N\7Y^WI5@65=V@^/];.H3]`1Q["I8@
+MW7R):M.4@7DI`"F[ZK"O2CC0I\U]&`KX-^VI_B5&URUU3L5Z57;-8!W$)IBT
+M7QO:VQ6/3>"8ZM<2*3V`!$$36U8*(@,U4WC5W=3TX2+6:V[7D5W'"W^N9T$-
+M%G&OMK1+9\58A'"+N^B2QL&3\1A%2XT2XQ7/]?"$QNMO7,Q6$$II44J+4FJ4
+M)KYCT7"4TJ#LV`882MO2V3B8J4A"/W#H$$X$^T'[:9U@,HQ[1D*:XNO*V#)1
+M,V[+9`)I&-MS.=DNL4\&.C]C846U4*J^@>%6HANTM=<BBT=:"VTRW$Y88/1$
+M-R:8_EF<9H@^L[;,K"TS;<O6.9#9,Y\:96)A.0V<[>C.,`:1/A(Z;R>J;=,7
+M4**$5"U:$@W*H44Y;*%LQ>70H'2HE@^YSA[O0MGRK(]3B@0LH2^)?MV6N;9E
+MEXYV4K'E0Z@[SS-1WN.$=J3CTMGX!9DUHT,"RTB%\0]M.6K9$N*REN`#30=;
+M.GLXM/@"KCUS]<7L>6T%69`<WZ%=/HQU7.*:#FPPC77V^)M8B>*7T(];V?."
+M6S#1E+:EK[PP5_RYV6[%DEK(D)?Z8UGMMV?<B??%#G;!?3SX"14?6NG[:0^&
+M`_TS-DMJMYE%/!=ODT2(]B+FO=[`GC>+-(M0]AK#O-N?<(K9/$,S68NZ//4\
+M`CMGKJ:5&90JLH`9-T6P@I%P];;0G6@+0U/P/@RG*S9/*IP]J\)TK*OYJ3S<
+M7,57_ZRN8/XJJLA(#E:PF[Y_6"VF,$3BF;3WZ2%=%`UT=OB"(1"[#4P;)KYP
+MKM`SB<2A1'IR(^$P#(`7J0<3/;[4^*W;A@)FMBAJF"/@:PC'\*J>?AK]$>&T
+M`ZP<)=0D`2[H`\H-0YCC<&X$YV!<@:\QB)6-](.2QFH$`B:MD30:U?VG<A>H
+M,&GT1QY&IEGA9A3B(Z@([H:AUUSOTS`REV6(Z67/1#;9K32KOST781]!L/91
+MLT^4HX!()RE#IC3H&1;)P60$1GG9'IRU2Q<B"I*DE88X)$'XKJD[]JI6"=WE
+M=6`P5&C=XX^R1W-GH,Q95[5DI1J)-)+&H7&@PY$3#@<,"XY5(2$T">FBT8Q1
+M1B.[=\8A3<VDB8XG;X8)7JV9Z`D9=$R*DS>AKNG!P'L/*5$^"YD3K1(6MR+O
+M0;'$YR3Y2Y%MQBX.N:(XG9"B*4:O)/?63=M?LNLP[Q4?6.05,]]P*-XM.EN4
+MR186^S:=O(>Y54.*M884ELPSPTZ\CD-*;TV8D&LI6W(@<'O[H$X1T`2X$Z^&
+MRSUO8MF-J'1`X8$"&OZP+F4-63MCDI1^#..<G`?[:!(Z)^0LM1NZU'X^[:8:
+M`.HX:]0E#.D.!0IW9M;92U_YL\$K7?)#\?S3NF0&O\U]H"YIV^+H;S3)UWJD
+M:Y'^!?E:J_O0:769^MNM[L-/:W6VFV6O=3/>>U`PK]8ZGWRP`M?%'V5WYJL6
+MR^]$_Z9']=OL:Q9VBI*;=.HTCIK5S`N5`H`E0UX5%:LN%&VMHMBIB*U$TBEY
+M:21[`,5_EZ.-(GV<Y:F)V$I<TQE;TFJ&W*0!NZ55N;1?9F4KDI1%OKWZ^]H)
+M7FT+3Y(!6"%W6%JU74\K71\U797(,#Y_=7^6.#CQT""U<EM#F$\`@0F2_X62
+M65'28,"!NT,-=X>)_E;[4!P[]O4H"]EPDMDX\O8C[7)=6A6KZ8J%;MB)5,4B
+MU38J'JVV6/)P5:UP=:9Y>29S?3C)6T$[PL1FK5;R;&R'[P]"D\=O)U9]%?E!
+ML%*[E4Z/C`5LNT^W?&'2IYMAO$"PCN)Z==XJ,9F+`Y;8G2FQ1="*Y]R0H^\H
+M5`_\[-*N=!C9N;?*R'F339N=RM>*,JL[Z^0Y12:+/][:#0)?"7.'QH+WCXVX
+@36BPRG@12:D39>:O&?C7BG,%C.D_>O\%_5XJ/@,9````
 `
 end

Tst/Plural/Syz-qso3-q3.stat

@@ -1 @@
-1 >> tst_memory_0 :: 1354903227:3150:3-1-5:ix86-Linux:mamawutz:349704
-1 >> tst_memory_1 :: 1354903227:3150:3-1-5:ix86-Linux:mamawutz:2239256
-1 >> tst_memory_2 :: 1354903227:3150:3-1-5:ix86-Linux:mamawutz:2272040
-1 >> tst_timer_1 :: 1354903227:3150:3-1-5:ix86-Linux:mamawutz:14
+1 >> tst_memory_0 :: 1377808060:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:321528
+1 >> tst_memory_1 :: 1377808060:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:2240280
+1 >> tst_memory_2 :: 1377808060:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:2281264
+1 >> tst_timer_1 :: 1377808060:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:19

Tst/Plural/Syz-qso3-q3.tst

@@ -19 +19 @@
 B[1,3]=1/Q*y;
 B[2,3]=-Q*x;
-def S=nc_algebra(A,B);setring S;
+def S=nc_algebra(A,B);setring S; S;
 poly Cq=Q^4*x2+y2+Q^4*z2+Q*(1-Q^4)*x*y*z;
 poly C1=x^3+x;
@@ -25 +25 @@
 poly C3=z^3+z;
 ideal I=Cq,C1,C2,C3;
-I=std(I);
-module a=syz(I);
-print(a);
+option(); I=std(I); 
+option(); module a=syz(I);
+print(a); print( size(module(transpose(a)*transpose(I)) ) );
 kill a;
-resolution F=nres(I,0);
+option(); resolution F=nres(I,0);
 F;
 int b;string s;
 for (b=1;b<=size(list(F));b++)
 {s=print("Step:","%s");s=s+string(b);s;F[b];}
-resolution G=mres(I,0);
+option(); resolution G=mres(I,0);
 G;
 for (b=1;b<=size(list(G));b++)