Changeset b7f0f6 in git for Tst


Ignore:
Timestamp:
Aug 29, 2013, 10:42:58 PM (11 years ago)
Author:
Oleksandr Motsak <motsak@…>
Branches:
(u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
Children:
62e51f3a438d0476a7cc82ebe3df5d93b7a740b0
Parents:
0771f61b26d53841e64fe287533ff7a7d376f062
Message:
Updated SW test-suite (changes in normalizaion/ext_fields)
Location:
Tst
Files:
11 edited

Legend:

Unmodified
Added
Removed
  • Tst/Buch/Example_1_9_31.res.gz.uu

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

    r0771f61 rb7f0f6  
    1 1 >> tst_memory_0 :: 1355251092:3150:3-1-5:x86_64-Linux:snork:296192
    2 1 >> tst_memory_1 :: 1355251092:3150:3-1-5:x86_64-Linux:snork:2253544
    3 1 >> tst_memory_2 :: 1355251092:3150:3-1-5:x86_64-Linux:snork:2286344
    4 1 >> tst_timer_1 :: 1355251092:3150:3-1-5:x86_64-Linux:snork:7
     11 >> tst_memory_0 :: 1377807142:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:277400
     21 >> tst_memory_1 :: 1377807142:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:2241424
     31 >> tst_memory_2 :: 1377807142:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:2282408
     41 >> tst_timer_1 :: 1377807142:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:12
  • Tst/Buch/Example_1_9_31.tst

    r0771f61 rb7f0f6  
    66LIB "ncalg.lib";
    77def R = makeQso3(3);
    8 setring R;
     8setring R; R;
    99option(redSB); option(redTail); // for reduced output
     10
    1011ideal K = x+y+z,y+z,z;
    11 module S = syz(K);        // the (left) syzygy module of K
    12 print(S);                       
    13 
    14 ideal tst = ideal(transpose(S)*transpose(K));
    15 print(matrix(tst));
     12option(); module S = syz(K);        // the (left) syzygy module of K
     13print(S); print( size( module(transpose(S)*transpose(K)) ) );
    1614
    1715K = x,y,z;
    18 S = syz(K);
    19 print(S);
     16option(); S = syz(K);
     17print(S); print( size( module(transpose(S)*transpose(K)) ) );
    2018
    2119option(returnSB);
    22 S = syz(K);     
    23 print(S);
     20
     21option(); S = syz(K);     
     22print(S); print( size( module(transpose(S)*transpose(K)) ) );
     23
     24K = x+y+z,y+z,z;
     25option(); S = syz(K);        // the (left) syzygy module of K
     26print(S); print( size( module(transpose(S)*transpose(K)) ) );
    2427
    2528tst_status(1);$
  • Tst/Manual/fwalk.stat

    r0771f61 rb7f0f6  
    1 1 >> tst_memory_0 :: 1316104113:3132- exportiert :3-1-3:ix86-Linux:mamawutz:319208
    2 1 >> tst_memory_1 :: 1316104113:3132- exportiert :3-1-3:ix86-Linux:mamawutz:797356
    3 1 >> tst_memory_2 :: 1316104113:3132- exportiert :3-1-3:ix86-Linux:mamawutz:830140
    4 1 >> tst_timer_1 :: 1316104113:3132- exportiert :3-1-3:ix86-Linux:mamawutz:12
     11 >> tst_memory_0 :: 1377807539:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:332120
     21 >> tst_memory_1 :: 1377807539:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:2375680
     31 >> tst_memory_2 :: 1377807539:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:2412304
     41 >> tst_timer_1 :: 1377807539:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:8
  • Tst/Manual/pwalk.stat

    r0771f61 rb7f0f6  
    1 1 >> tst_memory_0 :: 1316104113:3132- exportiert :3-1-3:ix86-Linux:mamawutz:316520
    2 1 >> tst_memory_1 :: 1316104113:3132- exportiert :3-1-3:ix86-Linux:mamawutz:798720
    3 1 >> tst_memory_2 :: 1316104113:3132- exportiert :3-1-3:ix86-Linux:mamawutz:831228
    4 1 >> tst_timer_1 :: 1316104113:3132- exportiert :3-1-3:ix86-Linux:mamawutz:11
     11 >> tst_memory_0 :: 1377807539:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:333984
     21 >> tst_memory_1 :: 1377807539:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:2379776
     31 >> tst_memory_2 :: 1377807539:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:2413400
     41 >> 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

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

    r0771f61 rb7f0f6  
    1 1 >> tst_memory_0 :: 1355525762:3150:3-1-5:x86_64-Linux:snork:291504
    2 1 >> tst_memory_1 :: 1355525762:3150:3-1-5:x86_64-Linux:snork:2241360
    3 1 >> tst_memory_2 :: 1355525762:3150:3-1-5:x86_64-Linux:snork:2282240
    4 1 >> tst_timer_1 :: 1355525762:3150:3-1-5:x86_64-Linux:snork:9
     11 >> tst_memory_0 :: 1377808060:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:276952
     21 >> tst_memory_1 :: 1377808060:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:2241424
     31 >> tst_memory_2 :: 1377808060:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:2282408
     41 >> tst_timer_1 :: 1377808060:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:11
  • Tst/Manual/syz_BR_PLURAL_BR.tst

    r0771f61 rb7f0f6  
    22LIB "ncalg.lib";
    33def R = makeQso3(3);
    4 setring R;
     4setring R; R;
    55option(redSB);
    66// we wish to have completely reduced bases:
    77option(redTail);
    8 ideal tst;
     8module tst;
    99ideal J = x3+x,x*y*z;
    10 print(syz(J));
     10option(); print(syz(J));
    1111ideal K = x+y+z,y+z,z;
    12 module S = syz(K);
     12option(); module S = syz(K);
    1313print(S);
    14 tst = ideal(transpose(S)*transpose(K));
     14tst = module(transpose(S)*transpose(K));
    1515// check the property of a syzygy module (tst==0):
    1616size(tst);
    1717 // now compute the Groebner basis of K ...
    18 K = std(K);
     18option(); K = std(K);
    1919// ... print a matrix presentation of K ...
    2020print(matrix(K));
    21 S = syz(K); // ... and its syzygy module
     21option(); S = syz(K); // ... and its syzygy module
    2222print(S);
    23 tst = ideal(transpose(S)*transpose(K));
     23tst = module(transpose(S)*transpose(K));
    2424// check the property of a syzygy module (tst==0):
    2525size(tst);
    2626// but the "commutative" syzygy property does not hold
    27 size(ideal(matrix(K)*matrix(S)));
     27size(module(matrix(K)*matrix(S)));
    2828tst_status(1);$
  • Tst/Plural/Syz-qso3-q3.res.gz.uu

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

    r0771f61 rb7f0f6  
    1 1 >> tst_memory_0 :: 1354903227:3150:3-1-5:ix86-Linux:mamawutz:349704
    2 1 >> tst_memory_1 :: 1354903227:3150:3-1-5:ix86-Linux:mamawutz:2239256
    3 1 >> tst_memory_2 :: 1354903227:3150:3-1-5:ix86-Linux:mamawutz:2272040
    4 1 >> tst_timer_1 :: 1354903227:3150:3-1-5:ix86-Linux:mamawutz:14
     11 >> tst_memory_0 :: 1377808060:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:321528
     21 >> tst_memory_1 :: 1377808060:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:2240280
     31 >> tst_memory_2 :: 1377808060:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:2281264
     41 >> tst_timer_1 :: 1377808060:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:dilbert:19
  • Tst/Plural/Syz-qso3-q3.tst

    r0771f61 rb7f0f6  
    1919B[1,3]=1/Q*y;
    2020B[2,3]=-Q*x;
    21 def S=nc_algebra(A,B);setring S;
     21def S=nc_algebra(A,B);setring S; S;
    2222poly Cq=Q^4*x2+y2+Q^4*z2+Q*(1-Q^4)*x*y*z;
    2323poly C1=x^3+x;
     
    2525poly C3=z^3+z;
    2626ideal I=Cq,C1,C2,C3;
    27 I=std(I);
    28 module a=syz(I);
    29 print(a);
     27option(); I=std(I);
     28option(); module a=syz(I);
     29print(a); print( size(module(transpose(a)*transpose(I)) ) );
    3030kill a;
    31 resolution F=nres(I,0);
     31option(); resolution F=nres(I,0);
    3232F;
    3333int b;string s;
    3434for (b=1;b<=size(list(F));b++)
    3535{s=print("Step:","%s");s=s+string(b);s;F[b];}
    36 resolution G=mres(I,0);
     36option(); resolution G=mres(I,0);
    3737G;
    3838for (b=1;b<=size(list(G));b++)
Note: See TracChangeset for help on using the changeset viewer.