Changeset ef6df2 in git for Tst/Old


Ignore:
Timestamp:
Jan 31, 2020, 11:36:55 AM (4 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')
Children:
3ada27bd457c540e7307b402cf08aeeebd40b1139e03f32545849bee124d9e6a655dbf74f853e1c8
Parents:
3fcc98e7e2179f400128852a9b889c0410412d34
Message:
prepare for REDTAIL_SYZ in red* routines
Location:
Tst/Old
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • Tst/Old/hilb.res.gz.uu

    r3fcc98e ref6df2  
    11begin 640 hilb.res.gz
    2 M'XL("':0K%P"`VAI;&(N<F5S`+U82W/;-A"^^U=@,CU8%JE@L0!(-B,?.KUD
    3 MIM-+<LO8&252'-:2G+&4ZO'KBUV0``&[CNQFJ@/Q:8%]8K$+\MW[W]_^*82`
    4 M2W'?KF_$/4Q128G%OIAOWIR]ZZ;5I5C=S;\O%V(UO5FLSV%4T&!&<0E>BGF[
    5 M.E\YTNO7XN)"K$2[$>L[L=G.UO/9_5Q\FFW:S1D$#NV$?E]N?\R"@<4X)8N;
    6 M^\7BQTQNTMFS6&_:N[4X7]Y]GBU'3L)4`$V1XO;;LOW<;@^.%C782_'W27Z4
    7 MT9'J4MPZX@E&??P`5U,9&.M+\;5=?CK)F?Z'8GLMSQY27NAOXS9ANBKVZH(V
    8 M5(V*O0X(&:%##'3<;9`G[G;P%>#4W;:!1?V$W9:/>!\UX*F['5GT\S9[WT73
    9 M_5-7TX#1S:@NO.ZO[A?R/^,7,K8>ZU$PP+PX:2*A!$>`G*!R`IX])42H3(@(
    10 M0EZR%^[DW;;+I2M!,<W<R0JXGG0E2G4EZGQ?'(ICL1L5\V^1I8FE2DY[JI(3
    11 M\6&O#N/#417RJ@AT</3#<3?>84)6M-S12TC(Z,C2G0LG9C<@:R8?<+Q/R(;)
    12 M.S4^JJM@G[*#4KK9SL]7,AXK5<5C%<J+J@<G!W4@-_GI&`3]V_W=7Y-1B+E?
    13 M%\E4`8(@E&E"#7<WR1G,4T1QBF0L)D\9F[/49T^I$3;/JB;3RP3,6?2CAKPT
    14 M)JY:M?/%;"G:Z6JV9SCL=JBZF+5IS"!UIC0VC0AHF42D!$6$:B`#S8,001XB
    15 MG84(9!8BEHJY5)U%9/;E2[M>C/*(]&1'KT+]1NSK'KG,I6VG?5$[[M!7M`,#
    16 MJF4,7!GCT96PH]HIARJWYLBH=HL\:D@``9!NUJ\#*IP'#Q7)9<0UTT/6P8B4
    17 M,"`MN"/$6A1#5N-APU:0Q:SGR)#U>*C8-D*LQT/-9A(R9"8!I^?`>E1%S%YD
    18 MS:83:HCY0!`E.T$(R`<"3LF>F=$[0XA](4"NT$B>4&B1'>'8LA^,R`V.LO>"
    19 M7-?>"X;L!2/O!4/V@A%YP8"].!+R7C!D+QAY+P@:]H(1><&`O6#DE1!B'01(
    20 M!8VD@;PPK(#S@>0S\.+)$,OB&9%X!BS^0(C%,R+Q#)QX'IWX/8FW))ZSC&+$
    21 M_"2=DLV)#D44==?I*7L'66WZIJ/BV;:QZ6`U$>UZ*];3P7S=WY4Q-*)SF$S`
    22 MCI).A$VH(;$1:=>(W.K1>._N`>Z!]-"CT#0T^/EK=4$KKA4OO*"%[F'H80>K
    23 M%:WF*4V/AAX@O<Q^/?`\#)6@5]*IN.C,B'HL/:H!@T[U`/."RA3YY]`^0WP5
    24 MD>O,OL'_A_;9E&VH;L#W4%TU\"M59X);[K\7&=EJ8HO>#]BZ0#S.UK"VWK:A
    25 M1>/.BD"X5H'-<`8\LCVI<[KC'P?AF*H(\H89DZE2W=2ZX)VF`?V@_6#\8/U0
    26 M^:&F(<C@7&G\C`N"'SN9T`F%3BIT8J&32^:LPX$PNC\0MY*O/NW@ZF.,O_K<
    27 M$BV<3V/#)8<GGMN_`!MI@K"J:]J]J'_KK_GMN`2;]5>HT_X*TB17D!*X)<?.
    28 M7R+HM/-[0NS\4-F*.W]/T-C01:?I""48:T@M!%-+@WS!@&"KK8%-@][8LH)*
    29 M\74!`T75P#?WWER%5FI>T]E;0E/50'<WL$$[5H9\A-YB,("2G(2ZYY+:>.U-
    30 ML!!EQ=>W8+,V#?)MI;>Y5(WW2\4`UY*#HV*$W2J6,P@Q*KZ0#N^;AKGLDY<G
    31 M,.GF.JO3S=4ZO=>"JJID<Y5ITLU%BW6RN8C6IIM;5^GF.E-AL+G!>)#_,<?[
    32 MEP7.\72JZ5K@PRDK^S:(X4!:B&W0JO[=2R<MCSM>_$QD\9&.9_73'<^:YW0\
    33 M:W_8NJYCJ[;5\&7K<$PJCJU/_(817E%M<^HWC'#OJ.1/^(9A'WEOCAK@^5^L
    34 M*G7J-X0N>KM%>_-UN_D5"EWH_'1!_N:E\S<^DQ?7*I?A7GC^/U4O#+3+[C_>
    35 B_B9>;3?;R;+]].J-`Q]=O+;?-RXCW_QR]@],DAB!314`````
     2M'XL("%CL,EX"`VAI;&(N<F5S`+U82V\;-Q"^^U<000^2M:MP^-K=&O(AZ"5`
     3MT8M["^Q`B11G:TDV)+EZ_/IRAKM\V75D-Z@.RT]#SI/#&>Y>_?G;QS\88W#)
     4MUNWJEJUA(@7GLM@7L\W%V54W+2[9\G[VN)BSY>1VOAK`L,!!#\,2><EF[7*P
     5MM*3W[]GY.5NR=L-6]VRSG:YFT_6,?9ENVLT9>`YEA3XNMC]FD9Y%6R7SV_5\
     6M_F,F.VGMF:\V[?V*#1;W7Z>+H94P88!3J+A]6+1?V^W!TH(&<\G^/LF/,CA2
     7M7;([2SS!J,^?X'K"/6-]R;ZWBR\G.=/_)-O>\+.GE#?ZV]A-F"R+O3C'#17#
     8M8J\\DH2D1014V&W@)^ZV]Q7@U-TVGD7\A-WFSW@?-,A3=SNPJ-=M]KZ+IOTG
     9MKB<>2SLCNO#:OZI?2/^T6TC8.*R&W@#]YJ0)A!(L`7*"R`GR["4A3&1"F!?R
     10MEKVP)^^N72QL"0II9D^6Q_6X*U&B*U&#?7$HCL5N6,P>`DL32A6?]%3!Q^S3
     11M7AQ&AZ,H^'7AZ6#IA^-NM),)6>!R2R\A(4M+YO9<6#&[B*R(?)"C?4+61-Z)
     12MT5%<>_N$B4KI9CL;+'DX5J(*Q\J7%U%')T<J3V[RTQ$%_6%]_]=XZ&/NU@4R
     13M5@`O2/(TH>+=37)&YBDB*$4R%IVGC,E9ZK.7U#"39U63Z26"S%G4LX:\-2:V
     14M6K6S^73!VLERNB<8=SLINIBU:<P@=:;4)HT(*)Y$I`2!A"J2(?63$$$>(I6%
     15M"'@6(I(J<ZDJB\CTV[=V-1_F$>G)EE[Y^BUE7_?092IM.^6*VG$G744[$,!:
     16M1L"6,1IM"3N*G;"HLFN.A&J[R*$&!2``;F?=.L#">7!0H%Q"5#,=)!V$4`D!
     17MU")WB$B+($AJ'&S("K28]!P)DAX'!=F&B/0XJ,A,1!K-1&#U'$B/J)#9B:S)
     18M=$0-,A\02DY.(`+T`8%5LB=FZ9Q!1+X@0%=P1$\PM)(<H=B2'X30#8JR\P)=
     19M5\X+@N0%(><%0?*"$'I!@+PX(G)>$"0O"#DO$&KR@A!Z08"\(.24("(="%`%
     20MCJ@!O="D@/(!Y1-PXM$00^()H7@")/Z`B,030O$$K'@:K?@]BC<HGK(,8T3\
     21M*!V3S8KV152JKM-C]D99K?NF(\+9-J'IR&K,VM66K2;1?-W?E:5O1`,8C\$,
     22MDTXD&U]#0B-2MA'9U</1WMX#[$/B0PU]TU#@YF_$.:ZX$;3P'!?:A\:'B58+
     23M7$U3"A\-/H`[F?UZH'F(E4BGI%-QWID1]!A\5!&#2O4`\8+(%+EG;)]&O@K)
     24M=69?]/^I?29EB]5%?$_559%?J3KMW;+_G<C`5B-;\#YBZP+Q/%M#VGK;8HM&
     25MG16><",\FZ8,>&9[4N=4QS_RPF6JPLN+,R93);JI54$[C8-T@W*#=H-Q0^6&
     26M&@<O@W*E<3,V"&[L9$(G%#JIT(F%3BZ:L_('0JO^0-QQNOJTT=5':W?UN4.:
     27M/Y_:^$L.3;RV?X%LN/;"JJYI]Z+^K;_FM^,23-9?H4[[*W"=7$%*H)8<.G\I
     28M0:6=WQ%"YX?*5-3Y>X*2#5YTFHY0@C8:U8(WM=22+AC@;34UD&G0&UM64`FZ
     29M+DA/$370S;TW5TC#%:WI["VAJ6K`NQL8KUU6&GV$WF+0(#DZ"77/Q95VVAMO
     30MH>057=^\S4HWDFXKO<VE:)Q?(@2XYA0<$2)L5Y&<*,12T(4TOF]JXC(O7IY`
     31MIYMKK4XW5ZGT7@NBJI+-%;I)-U<:62>;*Z4QZ>;65;JYUE2(-M<;#_P_YGC_
     32MLD`YGDXU70M\.F5XWP:E/Y`&0ALTHG_W4DG+HXX7/A,9^4S',^KECF?T:SJ>
     33M,3]L73>A51M[XN\?MC:0@_5\^[A>77T87D2O7X=C4H-,?>)7#?_2:II3OVKX
     34MFTC%?\)7#?/,FW30`*__AE6)4[\J=-';S=O;[]O-KU"H0N7G#?)W,96_`^J\
     35MW%:Y#/L*]/^I>F.@;;[__O$#>[?=;,>+]LN["PL^VWAM'S<V1R]^.?L'AU7=
     36%EU\5````
    3637`
    3738end
  • Tst/Old/hilb.stat

    r3fcc98e ref6df2  
    1 1 >> tst_memory_0 :: 1554813046:4120, 64 bit:4.1.2:x86_64-Linux:nepomuck:212648
    2 1 >> tst_memory_1 :: 1554813046:4120, 64 bit:4.1.2:x86_64-Linux:nepomuck:2278144
    3 1 >> tst_memory_2 :: 1554813046:4120, 64 bit:4.1.2:x86_64-Linux:nepomuck:2319248
    4 1 >> tst_timer_1 :: 1554813046:4120, 64 bit:4.1.2:x86_64-Linux:nepomuck:2
     11 >> tst_memory_0 :: 1580395608:4122, 64 bit:4.1.2:x86_64-Linux:nepomuck:214504
     21 >> tst_memory_1 :: 1580395608:4122, 64 bit:4.1.2:x86_64-Linux:nepomuck:2278160
     31 >> tst_memory_2 :: 1580395608:4122, 64 bit:4.1.2:x86_64-Linux:nepomuck:2319264
     41 >> tst_timer_1 :: 1580395608:4122, 64 bit:4.1.2:x86_64-Linux:nepomuck:3
  • Tst/Old/hilb.tst

    r3fcc98e ref6df2  
    6565x(1)^2*x(2)^2+x(2)*x(3)*x(5)*x(6),
    6666x(1)*x(2)^2*x(3)+x(2)*x(3)*x(6)^2;
    67 module m=syz(i0);
     67option(returnSB); module m=syz(i0);
    6868dim(m);
    6969mult(m);
Note: See TracChangeset for help on using the changeset viewer.