Changeset 34ceab in git


Ignore:
Timestamp:
Jun 24, 2010, 4:00:15 PM (13 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'f875bbaccd0831e36aaed09ff6adeb3eb45aeb94')
Children:
6a9e46e4d4665d53cada3be5141ec2ab5e6cca8b
Parents:
979dab6fd11ae8dfb1094472739d3ad502c5b9bd
Message:
new factorization for Zp, Zp_a

git-svn-id: file:///usr/local/Singular/svn/trunk@12912 2c84dea3-7e68-4137-9b89-c4e89433aadc
Files:
11 edited

Legend:

Unmodified
Added
Removed

  • Tst/Long/primdec_l.res.gz.uu

    r979dab r34ceab  
    11begin 640 primdec_l.res.gz
    2 M'XL("(?J34L``W!R:6UD96-?;"YR97,`[%U;CR.W<GZ?7R&<IS5:/6@6[S%V
     2M'XL("*%D(TP``W!R:6UD96-?;"YR97,`[%U;CR.W<GZ?7R&<IS5:/6@6[S%V
    33M@>0$"`X0!$%\7I*%8:@ES2V[AK.ZM?3K\Q6[R69K=)O9.>L]QX)A39--%HL?
    44MBU7%8MG]TU__]2__,1J-Q(?1O__E7T9_6BZ6MY\>ZS_]>/-3]X8^C%#YR^.O
    … …  
    131131MCF?C^?AA_Y8).#V[9<*2WHXF!7^">%;,QZE6WXYF\T),9X6HIX68X'E2]Z_-
    132132M[6C*[VMN,)F%M^%GVK?A;_*&1I/VMVY_I^WOK&_HP`&W+!]TSZKO9TG5F8LG
    133 MK.C)BR=LS+,73__?W97L6H[CV'U]Q5OTH@HN`]8L(X'ZAOZ#QO4`N-!50",S
    134 M>]%_WSRD9$L>[A0W(@<$$-;U0!U2%$5*E!X9F8<+3TK;)Q:>M'N\\*3]XX4G
    135 M'<X6GF;;S&9I9KWH9EY,L]C5R9W:975P9X-7FI'?TLUBUOAH)#GK-8P9\??/
    136 M\?>DYZ7)M\DDMW1_6-;(89C;<5D]?U((^1O4Q3?(6M#MG%Y"WM*J5+6'?P<_
    137 M_OCZ!*HK0"-_H5U/,_YZN?#2%KQ,9&SQE\FKC\`5U6OFE9NAG5=6"ECF65B&
    138 M:B@1-1GHRCYC6=D'@MP6GC\8EMT'(M2I$.K45K(\?K(3JGU%J)4X(<WIJ!@3
    139 MGNSJ='Q[W$/Q4*/C;6)JW-B(T*Y5)F!*H#?G2N*>XR<I]AX_L]96S7%LI7>X
    140 MF9>2FZG@ICWGPS_)!X/317W2.NVJZ_K8/J3L!*'5[VA[>!K7>,`U$JX1N,83
    141 M7&0JS`@#L<<UM04H@F%.<<7G]7C<&X<1QF$%MC,.@FOWT=.P^J?%-1S$-9"X
    142 M!J`:3L1%7=M0UQ_NBFL\;\-J3]P#80U[80T0U@IK)RQ!M?OH25#E\,1*N@E#
    143 M)^W<#-#:;:C2N=T,9DFP'"\FVTS$Y00NIQV7W)DW9<#/2<:\Z:"BY*A(#Z\'
    144 M/QG(ILH8#-/Q-NSU6)JVH3(&\X4QJ+;^L4)6LIF+$7LJ!,-J>2Z;TNQSHSU%
    145 M<+R0=&5TB=I<48.Q+IIN+!&VBN(/-<IEDLM\6L>)0?10VM;NM):"4^O)OE-T
    146 M&[.-QST%7751]96QIZB`P@]J(ESC?BR&\<<#(R^$CEX(E<WDSZ;T=6$\K_G:
    147 MJ7UM4(F;S-B^-V:^R&TF7A)CD4)G6`;$)O'(6$R,A0O&0I=>,)]GK+3(RZ8,
    148 MFQXT\Z8'ITW>/Z)0:/JITNCNOF*VI59.A59.I]1.'.AS%826S88#QI!;BH)S
    149 MUD!JL;.&2HI&FM@F391KW6KZX(FLN'V!NVX)K9]5L8R;-"UWG9:Z40!NW`S7
    150 MP./6A4Z`P]UX';<Y;?]Y@W!??[1]\'VI/^<M[IZG</)]CL!BF7FV/99T,_CH
    151 M4TOC"@VJS8B@(*6/#>0H(C`>-3W6-*B2Q!$"3YJ&?7(-],A../G&)F6*C=2N
    152 M]`6Y!`,-=$23_L.H9T;X"'03_X_XWTSP-6BHUGA*_[<4'&EX(&2H)2&+JL5P
    153 M9]K1S/0M`FNZ-3>.:),]'_&_G>C9`+?.417P"Q`81'I$?6(@38HC#/%$)3O;
    154 ME'TU8(3ED![T6B8':NU*#%0($"@2$1**(7>6'':;CM4<S<3(-*`9)J49FR^P
    155 MN4EP$ZF>P7D&!_XQ<\D8P\#:#I`.((-4$>$OD#I;D*:N`MHDH3"PU#3(DY*C
    156 M@H4!D^E$#5!\U+%0A7PQ7`M]`5F0H$G2AEZR$WZ1W;9+.@^4F%E$Q@L+>1$I
    157 M+RS@5`=Q*\2XBB8P:9;RTH:1*8(N!+WDHT5!42>+C09F.6,>DVX,$.L`N<KS
    158 MM42O&/EF(&,A#ZDPY1^SD_<6EX\M)?@D;V/L9&?I_-0P&G>8#<WW`M?=TDU-
    159 MKW/!#2QYND.LF8;!T"\#++P2TC,6@M'PKQ$%MC6$97;YJ-0!U<M]F\9SU%_R
    160 MS4/=(,Q348TK+#\EJ(;!X!9T640#D'9%`[T6&7494H1D,B1YM!,/C$262A:/
    161 MW\'#31=64;E^7)':+"O/[85;AN&9+"V]XNL$'Y5\QM=ED?DIW?'`!^0)'\P&
    162 M.<>H(<-S#,^(Y)S1?D46^K4170:F4R-:NXH-'T51*-?'P+`"*Q-^9D@6D`+!
    163 MT0D*C(Y9]1':W/2ZXV:3TIA+:L)[/M)#-$"O>G1QB\IM0RA1N:5NUT$D%D,N
    164 MM1CQ;;M(?="U45LB[_C![-N@0S\LD(O3W4@%S-].N+)WY?(YNR0@W0HPI4.G
    165 M!9G2ON_'5*2[P-;R30:'4F1TZ+GX';BWV=;[+C`^I16)QV$R6+D10#OM>@#$
    166 MD]D37>4)(&;.HQI1X!<`62N7$9)EG%PRA<"B0LP(57`9(;5!0JAL1JB<$H0V
    167 M053.,L3@HQ41]DH0=E8+0B,(Z0$!C#'ATR$(/B/XHNLS/)Z=P@#3!-_[48I.
    168 M&6Y,V$[M891L*@(0V33G'3`MR+?4'J`6K'CU&!ZH:(V-!`RVUE)G=`O68SP:
    169 M5Y[-'G;7AF%!QF9'2HH"O[+XQO6*VM?G8Y*I2M>X8%&C:U&@^AR-01[3`[Z9
    170 M`[7^(D\&<">OT!V*AQT&9/I_3NK,>QHA*M^A;Q-!*D0FF,UL*H%^,K.I,.4"
    171 MU3A`GD)C86*1:TPT<HD!)"+KT[6T8D(D;-"NJL=P2`"HG2!5U_:.S:UKL`(`
    172 M2+@"4>\%$'X3'LV`-`31$)DX,!HB$X`+;VN&)62D8!B4$,(=^FR%I#GD9C-J
    173 M>?QT6!;MG8#R25`H#`D,@6JYFO1[1J:L[7H6$+ZU&8D(B`J"1#[.(/.=%8D1
    174 M!85U(K5D\41/)G1*0CD%P@\V(!!.PTH"(I:%$WWLN<V,WA#IC*AC1$)&[I@5
    175 M$?Q*(CJ2V)6U(4ST8X[4*VDP$XK1T&@E?&O=#TS=.@U[A)O*FDB^A>-EYX%;
    176 M(7@+;T5L1X`64-':"(&C?C*1<#W0"CT<%]"AF_`V\3@Z/W$IN(A^*T!Y2G3F
    177 MGN7(DPHM+]@Q1BR[1<T@VUZS$\6BL`DCT78,$8O##+&QOO.C8##<=\!4%Y4@
    178 M]*ZS@M!U70)(]XP`1&9ZSPB)#$5<&2$FGB:T5T=J#H!*P0<2@!;VC_683`L#
    179 M1$=S`C`H&AH-;I%U$QDB$<.)$'L#QX*U.D+QDF!5)Q")3_:RV92KCC%BP1RM
    180 MK3.E%22FAP#24:P%D+$++F&D#FNEI:WI4T,'#5])&MH018!4T421(G)RM(B1
    181 MO`L!B<5E[N^HVEIR"YB):+LP)&AT,Z$TI$=3*A*I%27FL.>PX`4S<8$"76YL
    182 MSYTXC&Q<D4@!G,A?CY:%R0JBH)&^"=K#Y:)[!J,-[##RWSL,053L>\O2)-.+
    183 M:N1Q%ZT"3M_233MRB31.<_""ODBC#=%>`Z^^W'U1!%[Z*O#2+P=>^I.!E_Y>
    184 M@9?^YL!+?__`2__0P$M_G\!+_YC`2_^V@9?^G0=>^G<>>.G?3^"E3P,OHWLC
    185 MP0-*8RY9#KP0P@0.'9#$N$5>N.\X;NBMLN)*6?+E.?;J@N'8BZ*>26(Q[>'F
    186 M]A2E\$BO^I%'\IX'8GILYX2O"KU:2Z:?H:'$RBWW&!IN`1D*1=2%GX(L!N49
    187 M&848#,SWP8[BZ@$7;M,(3)?`(6&@>(=].(9%MV-&M0NWG/(VA5M45&,N6B?A
    188 M%KF43L(M*H4JW**7.@:G@N*XIC%!18ZWE"6QP!&VEL6&!_!B:.AG>(;^06S\
    189 M'/Y&<%T&N`9<9$'AFG"1ADO32<3E>ZLEX$))XJT^&#_D($NSR);6N1@YW$+2
    190 M7=]QO(4]!5X"+M)@8$M/$7'AH>.0RW5H5M_*2S*&!XFY]!9S11M[]OQ1.(^Y
    191 MY)5%WCV/N?06<Y%6I5"BA\UY*^82&@L34^_&7'J+N6*O.XFY2++=VS$7D=$2
    192 M<Q$9]4;,I;>8JS'H!*SV(>I7(J[6H(-PEPC1O!%OZ2W>0D*EXM8R,`)OA5O4
    193 M`:*TEF'AOAQMZ3+:HFX0O01;6%ES6IQPAQD(+;25&Y+G32^P$TX^:2^1#+GT
    194 M*OG@+K@4R6C?*PD4/`(!J3[TV0-W.92A>RXYX)WS+CG@WO3B?^LBV'(A*J#$
    195 MOE9!:&*,*1XD3SY#)+11(`;89<.,*PD36B0P"L1@8Y0HH><(DI_28XED*'QQ
    196 M@I#N232(Q%4!B$Q6MP+,L1991"VQEG$"L'4^9(`=A5@2QY!)LH+/!D:GG-<I
    197 M%J37>'(/)D#Q7!!",M>%A*_S<4KHO4KXZ%Z2H(;SD(1)=%:$*=!")*:XH:W5
    198 M$JZ2I0HQ"$1#X;,@5!!G"K4Z&EDDIB8E22"MS4*D`3A%K!0J1XD'R7ZX-6*5
    199 M:!"W<I@%>CGX,MV*,8=9%@,3HBS,9W*4U7B8"019V+*M)<@RD9T$MK6D:AQC
    200 M4<ET$F0AV#<IRG*]4Q)E084X\"=*-+)(F$4!%4>#%*,%"N92E,7CHQ2IRY=A
    201 MEND>[#=.Z03;LNN\_MQ67JL4DKQ4>%Q3^SJFY'^2_-6^F<655<S5'T\H*\PK
    202 M@4\!KV!7H*<G"%[MF:G6N5>AK#D8JUR.*_QKA>WXO/"_7VU7A_R>9RSENHL\
    203 MRU6:AU3+7/>:;9EK'PM=.LVY_,II/#GM\BMG\N24Q:^4S'-,OOPZIO:<2?1/
    204 MQ-[5L<=U=YHJ3>%<O&;6M8Z4:2?SN;Z<R'*YKJ9YIM->G8)\KO5MK?([P],N
    205 M3\/^)/FK\Y`/5G/9M<*69+;6L>:3/<?%9VNX.B=Y7TV9.KBU]E32?;4Y/EO#
    206 MU;G)]SO^85BK]'>?0)IKO<HA_<JI-R=II%^'5)PSF?QNP5Z>[OPMD/>IL`7D
    207 MTVS8&O+QT^\IWN^*]?(DZI<0[].P,_2K3.S,PDDR]HI^S<'^O(!_,-S+,[/O
    208 M@][O!<CHK[8#9"[.=@2L'*R;`E;@[:>$_!OCO3S?^R75V&]T*%3C=*]#K1KU
    209 M=H<?H<H_&N_EF>2/W-QZ$U>A&Z?[N&K=.'[ZG57YMX5[>8KZ5;)OAOUL2OG&
    210 MSD56><&/EG"$/*36T_-^S]5Y',A:=/[H<<O\V9B\/%O^*NE\S^J#K0\[3H^[
    211 M'PZ<MI[>,3^H.?]D/*Y;/-ZQ@'MC<MQT6?"QVW>9&3AN5LSX.<ZNMN!F^$A_
    212 MV!ZN3])F3"`K9Q;VNS*%PV^=Z/A3\;_NAWD4OIYN5,LBV/:J9;;/MZNMNGO8
    213 ML999;\<)Q'B'6LGX<==:9GP8FX)<Q;LN)XL>M_N?F^-UW]*+WOO9CN1-]=N#
    214 MU2JF_4H!2*RRT_*S=]/&9+S='E2<_>M2''T]H?&-G?N/S.RZJ^S5N*$R9J<G
    215 M*ZPJ/N^=P</Y"IM6YR,65GW.IRSLU'C_L:@Q?UZ*Y!M;]H_)YKJW[U6/Z[F=
    216 M?IMF/[/9KU![,U4SX=N^N2R7H?CYK9[5[Y:7=0?CJ_'-D_L9+UBZV-+X_9KG
    217 MC\K,NE/SP:II"6_<K>\\O^)XO6HZ5B3/":Z[0E]9X:T)$QW]YA+4';C-=`7X
    218 MN36T&O!N<8A"G.9-R-,=R!<D<UZ`.CL6]H6MX/61/R_L`*\/Y7EAZV]]'L[S
    219 M>X['^N"9Y[<*3_5)+^49++HX@X6^O[6;C.:3#=5I5M3%$)`]&@-Z/"[4X7&A
    220 M5ZO#6YZN:G_`S+ZN5NK"Z<3.%Y55)[*TFTCNG.1Q*\Z7V%;9JD-43@\FT*>A
    221 MN/!R=M_>/2!!*D=69A!74KF@>DC3NWGAOW1@BW,^4G8P9X4'I8Q,2&BC>'X)
    222 MM,DPUV>N?)B)L^,KA`G.+N;)#>.PY:U1(2IDN1MK#BQX7[)`'YC,060.J@-:
    223 MBC,]='&FQYT&W1:UZZ-92MW(-J0X?D2O9X9Q["<IT+H=%DYS'S?ZPW0\G<6S
    224 M?X\#$:.$?BCV)V>R-,4A+G([)K\1RXV8]9YX@K8^BF6HH%?'4O%4>PE=FF&L
    225 MCUR:&TNZ-6W'1K7TNRO02^B3GZZ`B5'^4/.%'O,OON"($ORJSL]J3(_L+K[0
    226 MVW2!SN#7+!=FK;1]XZY5#JP-%6NH$7M/L-%H?P(6+SWR<:F37$@3Z(+>S;_D
    227 M4C--A/1*%BW#-X0S85"7[3<)>5W6,@A=J<44XAAP]K#%KH(V=!WZ./^<Y79/
    228 M[4VW,1G(/V?YR0(J;?QT4-M:0,?#[6R><,I/"O&TP+@^/8H$D0VO?-<G"?%7
    229 M>)0Y+NB*`N,-4F\AW\Y\@U[DR\@7LFDXZ#0PA^5@M#MH31?=V:0QJ%"!5EJV
    230 M';/8"RV73LO<P2(=S@F<]-H$(U+4;1_.#E&3KM],3(^HR`VYS'SQE=;S`^HJ
    231 M4GN;]D]P9VIGL1_,=*B:=3/'8SDF4A.;:@0>]B-P2D^@\4_)"*P''H&U#(J:
    232 MZXKOU+4_'&Q?62N580BVMJRMO["S]<DWA;U&S4M=B9CLZBB=$GAY]MG131D/
    233 MY[[(DGCLD'C=XN1;>@47>@T7KDN]4]?^P+E]94VJC'<TE;5=#4:ED,JCM';C
    234 MVI;(5)]8LYYPHXL3;KAUS=0<'9%'Y^CP@-YJ'<F^85^([K$U2%G3L>^%S.&%
    235 M-_R6PT?IF\C6GR7M=*J<$VV_&??EP46GN'O".26XE[#%'\FP>5>6KSP2?66/
    236 M+]V1PFNI/)(<L>@')_A/]=3U6$]VE7.&56W'"K^.4=?':%_E,)=!X=:VQ^9]
    237 MK86W1F[@:FK>08I>OTL2>*Y-3^3RO6$_KYLOJN?%I,@W\G-O(D?X"7T/IX:-
    238 M*EL]>(:XS&QIU1DSCTS$Y]OE,1_/V[K7>+G,*[^;K[I+3=T&@8RX2FA]+1?V
    239 M!=I7&=5EFD\U4JX-<LC!/.8!;4,FS@DP[!%CA^>"C4,8,_GGE?GZ*(#[8_9%
    240 M?L3K&"H'92\#@X`??ZK#>?C*?)WYW`-O/R6$>P#N.DGOI77O1Y%A-XI4VV->
    241 M3.A^GO95*O=.?&.=NK:YQ84.G2<22R:KWC]_T%S?6-\#9_QB5?AU#%7D<62Y
    242 M>OSM'-^I[4&H<[%,>LR4T+6]*X/+C&,;/-!ATOA1=1D<BB$S76?KAQ-FP)P7
    243 MHT.E*K[DE]*LBDRX@`;/'&!ZI$X*H+YI*1:U'%!2,463[85%>)/;TVAZX_5.
    244 M0+UQ?#>FWGA^/JS>1/!L9/V<&UU-GVQ"V<^@9.D<)U%6M22Y\0DHA!J3&UNS
    245 M9*EP]DZK94[OD.:./TF0$N#WJ2#$(;A,E'F>^RDW_J.\7<X1;>Q5TT0;7W=F
    246 MB@H67YPLNHPS#A*8CA)HAWT'9Q>5A[O]'&(A`YFL3\X<02MZAG1SU3&9AJ_U
    247 MFK_,%$;>NM^*7]SNFWF_J>WH];['W/4$Z<;<DW.D&[//3Y,6_#\W4UI(Y,W)
    248 MTHOP9]@+<&\?RYGS0H#EY'D6V6KTT^2Y.1A]WJ!QOL5QL_8V67OSR-J/T+>6
    249 M6^/"VG^8N<O%@4('=NL#)7M/+1$4K+ZR2O#`\:Q6<C+KTYYU:0,8+#O6UF["
    250 M.4^R9.//LOFPK./3"^'P@MARWQ%MWXW'7HX_<3?QG^$>LPEYX.P^R\_I^M3&
    251 MU55RXH-5JH*IW4)5P=-QK>HJ5JPGCQY/-M7!Z/U9K$_1ODR"O\K'/E\_S=6>
    252 M+*%F"/=3Q&5J:[[\.P"Y!9]90SV1UV_"S>-EX5>XNDQP_UZ\76S-*%OJ[`\;
    253 MU#P]6+#_@4UUEYUGTA!>8NS91/3=AN:'/;?:%?W`F+Y/^S*Y>K==:LMH6=OA
    254 M,/UTW'RXI;94FPN/BO#1NNZGT5QE&[\.HLH9JC%4.]"^G=T[-=U/4+I,PZUK
    255 M'ZO:R<-KJG2WL:I7\N0^DT4X7>>B[J?^:HACF3)HJ_S"-R#>.QYFO$[''"N`
    256 M=1KC63-^3HJ[Y,;K+,S]HD*=N`B0E0%]%>+SR8S7>9>[58_S@TE8G.>/6$'W
    257 M9YR\`__>"2;KBJ8I_TCL+?]MUR'_+=6)"U:HH0@@^>^9WO+?,!WS7RR=N)#$
    258 MA6)ZW>3737Z=_TPIVAU%:!,7TNL6KP]<D"B)BXF^S:_;_+K+K[M,W?W=2'=$
    259 M,;WN\NL>K[?DL',9%9#EN<%SYAOT9:^LO>$PVJ`\/9`K?'-^P?+7,Y>QQX3=
    260 MB9MI;EH\`'V3Y:6@;C(724\7!(>@'XK*P[[R\*CR4%0>N'*?*@Y4:1-1H=\J
    261 MBT5E<5]9?%19+"J+7-FM@?SZ@FH/JJVT4,]"1PU3,VF^003,C7-^\:L6UK07
    262 MUE0(:V+\JBNJHA];7?1C5QG=*6NCGYMXIBR>*8DGD5<E>5625P?RJB:O"H$H
    263 MZ0VVN9F!:AMT<QM,,UAYA-1\BO1N<I8K7N$K7N/[`Q!2X,9W!VK*P8SR);:W
    264 MD9]&GV:Q#>QM]_@83Q1]C'GK>#/3^F3"'4N4)J(T"26"SJ_;UH((O2`T^-N5
    265 MQKS2F#.-F6C,0H/XI<=6$Q%ZQG2448HYX1)8206SX&]DX!%YFN26$J6%*+&P
    266 MS+6PS-O",A\3EOF`L-B0$0\J:@,>E#;!B)R<ZA@(/=(W/F_5!`TYP6'O="DH
    267 M>RTH^[:@[,<$93\@*#;ARKD.PG).,19'F,"',EVOP8A16K&L**)125:NTBEW
    268 M+2KWMJC<QT3E/B`J'KY:2UIC&]WW/?@P79=$90WU2*B50@%GFLLC*N"30E3^
    269 M6E3^;5'YCXG*?T!4OK3-/.#>",)M:`8M=W!,@(%\H&.&'IB>>B5Q,\IS8D8I
    270 M2T]P`(3MB-5&ZR[06#!,\@9`>DVC2A.\Z6Y#VT-'"<$LSQF`X64U-$-KE7<\
    271 M!!GZ:$CK;1B)!AF)X@%E?(`R/D09'Z",&TJG@9+04;?"X?4J6$'I=(FR/Z#L
    272 M'Z#L'Z+L'Z`4M\&90&V-"P@H%SWAPHY/<C([0=68C$J+I\"GJ=_D/'>0E6M"
    273 MIMF!:,5'U%WAZNANYZ@,>T=E*!P5D8Q6!PSJ"0RJQ*!*#*KP7H;LO0S)>TEU
    274 MZD.=^HDZ=5FG+NO41;?1YD#<B`-Y0=:(PX3D,@+*BVBYB34/J9RB`R6@JTN?
    275 MKZVL><3TFGH\#9H!1K[U-'9J[BG<8SSIQ,:[/<"S=^'9._#L8W@R3AEC:,QN
    276 MB(9FK:#?'5H&!=$*>J$O4+H#2G<7I;N#TCU&R4,$B),7CRK%F^=NDL,]^X^O
    277 M7^=??OW/G__Y[]O/__?7__E9__V??_OI+VI]P?WCZ[__^:]_??W\TWK+TS>_
    278 <_/I?O_QZ^_5_?_FK^MM/__&7_P?PNMLOSQ0!````
     133MK.C)BR=LS+,73__?W97MR([CV/?^BOLP#]UP&[!V&07T-\P?#-(+X,9T`X.J
     134MFH?Y^^$A)5OR$N'(C'MK00)I6;:I0TJB2(E2D))YNO"DM+VQ\*3=\X4G[9\O
     135M/.EPMO`TVV8V2S/K13?S8IK%KD;NU"ZK@3L;O-*,_)9N%K/Z1R/)6:]NS(C?
     136M/\?O2<]+D[-));>4/RRKYS#,[;BLEC\U"/D-ZN(;1"WH=DXO(6YI;52UA?\`
     137M?\(\[3`;_++YBIDXF!CS5)7O.'M<=MD>_!ZSB:5Q6M%&B*&=EHV3]IP/<X^/
     138MEM$5X.EV/O(EG."'U;_,2;X33N:"$X'>G/-C[_)C`+Y@Z"A_9F8M&0TKR]#S
     139M!\,)<&I54]&J-C:X,1T_V:%W-UL50]4%':F3%G6B42GZ6"MF`K:6GE2=A0HV
     140M\\K6T,XK+P4N_THK:8H24EO1*S#"U1YP[3ZZ#2O<AS7N88V`-0+6>(1%JL)(
     141MTZQA36V!B5"84UCQ=BV.AUHD6.V*:E^+`HOTUKX6[^'J[XMKV(MK@+@&`!N.
     142MXJ*6;89Y]]$.UGA>A=66N,?"&@["(E#MBFDO+`'5#@^%=86J')ZXC6[EZM0Z
     143M-VVXZE8J=6XW?5$2+,>+R383L3F!S6DG>]:36VO`[21CWG1H"V2HB/*L!S\9
     144MR*9*SP[3,1OJ:BSU[%"-&//%B%%M_>,66<EF+D;LJ1`,-\MSV90ZFVOM%L'Q
     145M0M*5#B5J<T4-(T=1=6.)L%7D?ZA1+I-<YM,R3O2A1ZMM[:[9DG-J/8TUY-W&
     146M;`@@3Z$'N:CZRB(@KX#<#ZHB7.-^*,((A0=&7@@=O1`JG<F?3>GK0GE>\[5K
     147M]K5")6XR8_ONF/DBLYEX28Q%<IW1">&;Q"-C,3$6+A@+77K!O)^Q4B4O6V/8
     148MVD$S;^W@M,K[9Q2*EG[::'3WN&&V9:N<BE8YG5([,:#/FR!:V6S880RYIL@Y
     149MYQ9(-7964:FA44ML4TN4:UUK^F#DK;A]@;NN":WO-K&,FUI:[CHM=:,`W,@,
     150MU\#CUH5.@,,*>AVW.:W_>8/PN/UH^^3[LOV<U[B[3^'D^^R!Q3+R;'LLX68P
     151M4:>6QA4:ZIL1-G$*'QO(!H=C/&IZK&FH)XG#!9XTC;`T"NN1/0(RETV*%!NI
     152M7ND+&GT'&NB()OW#J&=&#,>4B?\C_IL)PSJ-U1I/Z7]+YJ+&8$^*6@*RJ%@,
     153M=Z8=S4S?PK&FK+EQ1)OT^8C_=J)G`^PG1T7`6H'E&>D1]8F!6E(<H8@G2MG9
     154MINBK`2,LN_2@US(Y4&M78J!"@$"1B)!0#%G9Y-79=*SF:"9&I@'-,"G-V'R!
     155MS4V"FTCU#,XS./"/F4O&&`9N[0#I`#)($1'V`C5G"]+454";)!0&EIH&>6KD
     156M*&!AP*0Z40(:/LI8J$"^&"Z%OH`L2-`D:4,OV0EWI+?MDLX#)686D?'"0EY$
     157MR@L+.)5!W`HQ+J()3)JEO+1A9(J@"T$O^6A14-1)8Z."6<Z8QZ2,`6(=(%=Y
     158MOJ;H%2/?#*0LY"$EIGPS.WEO<?G84H)/\C;&3G:6SD\5HY'#;&C."UQV2YF:
     159M7N>$&UCRE$.LF8;!T)T!%EX)Z1D+P6CX;D2"=0UAF5T^*G5`\9)OTWB.\DN^
     160M>:@;A'E*JG&%Y:<$U3`89*$MBV@`TJYHT*Y%1EV&%"&9#$D>[<0#)9&EDL7C
     161M=_"0Z<(J*M>/*U*;9>6YOI!E&)[)TM(KOD[P4<IG?%T6F9]2C@<^($_XH#;(
     162M.$8)&9YC>$8DYXSV*[+0KY7H,C"=*M':56SX*$J#<GT,#"MP8\)MAF0!*1`<
     163MG:!`Z9BU/:(U-[WNN-HD->:4FO">C_00%="K'EW<HG#;$$H4;JG;=1")Q9!+
     164M-49\VRY2'W1MU);(.WXP^S;HT`\+Y.)T-U("\[<3KFQ=N7S.+@E(MP),Z=!I
     165M0::T[_LQ)2D7V%K.9'!(14:'GHO[P+W-MMYW@?$IK4@\#I/!RHT`VFG7`R">
     166MS)[H*D\`,7,>U8@$OP#(6KF,D#3CY)(J!!858D:H@LL(J0X20F4S0N64(+0)
     167MHG*6(08?K8BP5X*PLUH0&D%(#PA@C`F?#D'P&<$779_A\>0,!I@F^-Z/DG3*
     168M<&5"=VH/I613$H!(ISGO@&E!O*7V`+5@Q:O'\$!):VPD8-"UECJC6[`>XU&Y
     169M\FSVT+LV#`LB-CMJI$CP*XMO7*^H?GT^)IF*=(T+%B6Z%@DJS]$8Y#%MX9LY
     170M4.TO\F0`=_(*Y9!'[#`@T_\Y-6?>TPA1^0Y]FPA2(C+!K&93"O23FDV)*2>H
     171MQ`'R%!H+$XM<8J*14PP@$5F?KJD5$SQA@WI5/89#`D#U!*FZMG>L;EV#%0!`
     172MPA6(>B^`<$]X-`/2$$1#9.+`:(A,`"Z\K1F6D)&$85!""#GTV0I)L\O-:M3R
     173M^.FP+-H[`>63H)`8$A@"U7(QZ7Y&I*SM>A80OK49B0B($H)$/LX@<\Z*Q$@#
     174MA7:B9LGBB9Y4Z)2$<@J$'VQ`()R&&PF(6!9.]+'G.C-Z0Z0SHHX1"1G),2LB
     175MV)5$="2Q*VM#F.AFCM0K:3`3BM'0:"5\:]T/3-TZ#7V$3&5-)-O"\;+SP+40
     176MO(6U(KHCH!50TMH(@:-\4I$P/5`+/0P7T*%,6)MX')V?.!5<1+\5H#S;/'//
     177M<F1)A987[!@CEMVB9I!MK]F(8E'8A)%H.X:(Q6&&V%C?^5$P&.X[8*J+2A!Z
     178MUUE!Z+HN`:0\(P`1F=XS0B)#'E=&B(FG"?7543,'0*5@`PE`"_W'[9A4"P-$
     179M1W,","@:&@VR2+N)#!&(X42(O8%AP:TZHN$EP:I.(!*?;&6S*E<=8\2".6I;
     180M9THK2$P/`:0C7PL@8Q=<PD@=UDI-6].GB@X:MI)4M"&*`*FBB2)%Q.1H$2-9
     181M%P(2B\O<WU&TM606,!/1=F%(T"@SH334CJ:4)%(K2BP/S&'!"V;B!#FZ7-F>
     182M.W$86;DBD`(X$;\>+0N3&XA"B_1-T!XF%^49C#;0PXA_[S`$4;+O+4N35"^*
     183MD<==M`HX?4N9=N04M3C-S@OZ(HTV1'MUO/IR]T7A>.DKQTN_['CI=SI>^GLY
     184M7OK+CI?^_HZ7_J&.E_X^CI?^,8Z7_FT=+_T[=[ST[]SQTK\?QTN?.EY&]T:<
     185M!Z3&G++L>,&%">PZ((AQ\[R0[]AOZ*VR8DI9LN79]^J"8=^+O)Y)?#'M8>;V
     186MY*7P2*_ZD4?RG@=B>FSGA*]RO5I+JI^A(<6-6_(8&K*`#(G"Z\*M((M!>49&
     187M+@8#\WVPHYAZP(5L&H'I$M@E#.3OL`W'L"@[9E0[=\LI;Y.[14DUYJ1UXFZ1
     188M2>G$W:)4J-PM>JEC<"HH]FL:$U1D?TM9$@L,86M9;'@`*X:&?H9GZ`]BX^>P
     189M-X+K,L#5X2(-"M.$DS1<FDX\+M];+0X74N)O]<'X(3M9FD6VM,[%R.X6@N[Z
     190MCOTM["GPXG!1"P:V]!0>%QXZ=KE<AVKUK;PD8W@0GTMO/E>TL6?+'XESGTM>
     191M6>3=<Y]+;SX7M:KD2O30.9_RN83&PL349WTNO?E<L=>=^%PDV>[3/A>1T>)S
     192M$1GU"9]+;SY78]`)N-F'J%_QN%J##L)=(D3S"7]+;_X6`BH5UY:!$OB4NT4=
     193M($IM&1;NR]Z6+KTMZ@;1B[.%E36GQ0AWF('00ENY(5G>]`(;X623]N+)D$FO
     194MD@WN@DN>C/:]$D?!PQ&0XD.?+7"771G*<\D`[YQWR0#WIA?[6Q?.E@M1`27V
     195MM0I"$V-,_B!9\ADBH8T",4`O&V9<B9O0(H!1(`8;HW@)/7N0_)0>BR=#[HL3
     196MA)0GWB`"5P4@(EG="C#[6J01M?A:Q@G`UOF0`7;D8HD?0RK)"CX;&)UR7B=?
     197MD%[CR3VH`,5S07#)7!<2OL['*:'W*N&CO"1!#>,A"9/HK`B3HP5/3'%%6ZO%
     198M725-%6(0B(;<9T&H(,[D:G4TLHA/38TD@;0V"Y$&X.2QDJL<Q1\D_>%6CU6\
     199M061E-POTLO-ENA5C=K,L!B9X69C/9"^K\5`3<+*P95N+DV4B&PFL:ZFIL8]%
     200M*=.)DP5GWR0OR_5.B9>%)L2./U&BD47<+'*HV!LD'RV0,Y>\+!X?)4E=OG2S
     201M3/=DOW$*)]B67>?U=EMYK6)(\E+A<4WMVS$D_YWDK_;-+*XL8JY^/*$L,*\$
     202MW@)>P:Y`3S<(7NV9J=:Y5Z&L,1BK7(XK_&N![7A?^-^OM*M#?L]#EG+919CA
     203M*LU#I&$N>PTVS*6/15LZ#3G\EL-X<M3AMQS)DP,/OZ5@GF/LX;=C:,^91/]$
     204M[%T=>UQWIZEJ*1PCV,RZ;B-EV,E\WEY.9+E<%]/<Z;17IR"?M_JV;O([Q=,N
     205MMV&_D_S5><A[K5E&W&U"FLI^_"H7[RWAZISD@_JOQ51&RZUEK(%QGV+DBR5<
     206MG9O\N.,?AK6J_>X#2'.I5S&DWW+HS3&,]-LA$N=,)+]7K)=G.W\%\3X2MD!\
     207M&@Q;(Z[C8;^[>+\OV,N3J!]#WH?/9^Q7$?29F;,@^LS0%K"^LE!(XFLB_HWQ
     208M7IZ:_5+#V`?A9Y!7<?@KT&,H_HIXC71_?SO^P7`OS_=^"?1^1T$!^G1300VZ
     209MWE?P(X3\H_%>GDG^S,RMM[5D^%<[6S(;)YM;5@Z^H[KX;>%>GJ)^%>R;8=\-
     210M*=_8N8@J+_C1XHZ0J==Z>M[ON3KW`[D5G3]Z7C-_-B8OSY:_"CK?L_IDZ\..
     211MT^/NAP.GK:=WS`^JSC\9C^L6C\]HP+TR.>X`+?C8;0+-#!SW@6;\[&=76W`S
     212M?(0_;`_7)VEG*)"5,PO[+:+"X5<G.OY4_*_[89ZYKZ<;U;((MKUJF>WS[6IK
     213MVSWL6,NLM^,$8KQ#K63\N&LM,SZ,34&NXEV7DT7/Z_W/S?&Z;^E5N[)J[*<[
     214M[U<1S'MCX;#_?N,Z;\%?^<V[\'=L[C\6-OGSLJU_L5O_,=E<=Y*]Z/6>'460
     215M69_F]C`2%5.Y)=_B&>TTU]F[Z40"O-T>U!;[I7O6V[?5[!^9V75OWZL6],T=
     216M<YL8[FR:*V1DIFHJ?-LXEV4S%+=?M91_O\RL>QA?M8CO[<2\X.AB,^;WJYX_
     217M*"_K3LTGJZ8EO'&WOG-_Q?%ZU72L2)X37'>%OK+"6Q,F.OJ32U`/X#;3%>![
     218M:V@UX-WB$+DXS2<A3P\@7Y#,<0'J[%C8%[:"UT?^O+`#O#YCYX6MO_5A-O?W
     219M'(_U.3+WMPI/]4$OY1DLNCB#A;[_:#<9S2<;JM/,LXLA('HT!NAC7*C#XT*O
     220M5H>WW"YJ?^[-OJQ6RL+IQ,X7A55'LK2;2!Z<Y/%1G"^Q+1=6AZB<'DR@3UUQ
     221MX>4LWSX\($$*1U1F$+-#N:!Z2-.[>>%?.K#%.1\I.IBCPH-21B8DM%$\OP3:
     222MI)CK0U?>S,39\17"!$<7\^2&<=CRUJ@0%:+<C34'%KPO6:`/3.8@,@?5`2W%
     223MF1ZZ.-/C085NB]KUT2QEV\@ZI#A^1*]GAK'O)R'0NAT6#G,?-_K#=#R=Q;,M
     224MB`,1H[A^2/8G9[(TQ2$NDAV37X`%,<QZ3SQ!6Q_%,E30JS.R>*J]A"[5,-9'
     225M+LV-I;8U;2=RM73?%>C%3,Y/5\#$*'^H^4*/^8XO.*($=]5A7HWI$=W%%WJ;
     226M+F@SN)OEPJR5NF_<U<J!M:%B#25B[PDV&NT/W.*U1SXN=9(+M02ZH'?SG5QJ
     227MIHF07LFB9CA#.!,&=5E_DY#792F#T)523"&.`6</6^PJ:$/7H8_S[2S9/=4W
     228M96,RD&]GN64!E3I^.C3;6D#'P^ULGG#*3PKQM,"X/CV*!)XKK\W6)PGQ5WB4
     229M.2[H2@/&&]2\A7P[<P:]R)>1+Z33<-!I8`[+P6AWZILNNK-)8U#1!%JIV7;,
     230M8B]:N71:Y@X:Z7!.X*37*A@1HF[[<'8^G73]9F)Z1$4RY#+SQ5>MGA]05Y'2
     231MV[1_@CM3.XO^8*9#5:V;.A[+,9&JV%0C\+`?@=,".HU_2D9@/?`(K&50U%Q6
     232M_$Q9^W.X]H6U4AB&8&O+TOH+/5N??%/H:Y2\U(6(RJZ.TBF!EV>?'<V4\7#N
     233MBRS6Q@Z!URU.OJ57<*'7<.&RU&?*VI_LMB^L287QCJ:RM*O!J!12>936;ES;
     234MXG_J$VO6$VYT<<(-UZZ9FJ,A\NP<'1[06ZTCZ3?L"]$]M@8I:SJVO1`YO/"&
     235MWW+X*&T3V?JSI)U.E7&B[9=Q7QY<=(J[)YQ3@GL)6^R1#)MW9?G*(M%7^OC2
     236M'"FLELHBR1Z+?G*"_U1/78_U9&8YOU25=BSPV]'K>AOMJQCFTBG<ZO98O:_5
     237M\%;)#4Q-S3M(T>MW00+WZO1$+M\;]OVV^6+SO)@4^2(_CZ;9A)_0]S!J6*FR
     238MUH-EB,O,FE:=,?-,1;R_7I[S<5_7O<;+95SYPS#/743G-@ADQ%4<Z&LAI"_0
     239MOHJH+L-\JI%RK9!#E.`Q#F@;,G%.@&&+&#L\%VP<PIC)MU?JZZT`'H_9%_$1
     240MKV.H#)2]#`P<?OQ4A_.PE?DZ\[D'WKY+"(\`/#22;H9U[X/&=Z/(L!M%JNTQ
     241M+\9!WZ=]%<J]$]]8AZYM9G'1ALY#72526.^?/ZFN+Y;WQ!B_6!5^'4/E>1Q9
     242MKAY_G>,'I3UQ=2Z63(^1$KK6=Z5SF7%L@P<Z3!H_JBZ#0S%DINML?7C"#)CS
     243MHG0H5?F7_%*:59$)%]#@F0-,C]1!`=0W+?FBEAU*2B9OLKW0")_D]M2;WGA]
     244MX%!O'#_TJ3>>[[O5FPCN>M;WS.AJ^F03RGX&)4OG.(FR-DN2&Y^`0J@QN;%5
     245M2Y8*1^^T6N;T#F'N^$F"M,%@'PI"'(++1)GGN6^9\6_E[7*.:&.OFB;:^'HP
     246M4U2P^.)DT:6?<9#`=)1`.^P[.)NH/-SMYQ`+&<AD?3+F"%K1,Z2;JX[)-'RM
     247M8SIDIC#RUOU6[.)V7\W[36U'J_=SS%U/D&[,W9PCW9B]/TU:\']OIK20R"<G
     248M2R_<GV$OP+U^+&?."P&6D^=99*O23Y/GYJ#T>>O`^1;'3=O;I.W-,VT_HKVU
     249M7!L7VO[-S%TN#A1M8+<^4+)W:XF@8/6558(GAF>UDI-9G_:L2QU`8=FQUG83
     250MSGF2)1M_%LV'91V?7@B'%T27^XYH^VX\]G+\Q-W$/\,]9A7RQ-B]R\_I^M3&
     251MU55PXI-5JH*IW4)5P=-QK>K*5ZPGCYY/-M7.Z.-9K'?1O@R"OXK'/E\_S<6>
     252M+*%F"(]#Q&5J:[[\'8!<@W?64$_D]9MP\WQ9^!6N+@/<OQ=O%ULSRIHZ^V&#
     253MFJ<G"_8_L*H>LG,G#.$EQNX&HN]V9C_MN=7V[B?*]/.T+X.K=]NEMHB6M1X.
     254MTT_'#9Y;:$NU@?/8$-Y:UN,PFJO(X]=!5#%#-89J!]K7V7U0TN,`I<LPW+KT
     255ML2J=++RF"G<;JW(E3NX]4833=23J?NJOACB6(8.VBB_\!,1'Q\.,U^&88P6P
     256M#F,\J\;W27$7W'@=A;E?5*@#%P&R4J"O0KP?S'@==[E;]3@_F(3%>?Z(&^C^
     257MC)//P']T@LFZHFG*'XG]R+_M.N3?4ITX884:D@"2?\_T(_^&Z9A_L73B1!(7
     258MDNEUDU\W^77^F5+4.Y)H39Q(KUN\/G!"O"1.)OHVOV[SZRZ_[C)U]W<CW1')
     259M]+K+KWN\WI+!SFD40)KG`Y8S9]"7O;+V`X?1!N7I@5QAF_,+EK^>.8W]"&Q.
     260M?)CF0XL%H#]D>2FH#YF+I*<+G$/0#T7A85]X>%9X*`H/7+A/!0<JM(DHT&^%
     261MQ:*PN"\L/BLL%H5%+NRC@?SZ@FH/JJW44,]"1PE3,VG.(`+F@V-^<5<+:]H+
     262M:RJ$-3%^U15%T<U6%MWL"J.<LC2ZW<0S9?%,23R)O"K)JY*\.I!7-7E5"$1)
     263M;[#-AQFHM$$W'X-I!BN/$)E/GMZ'G.6*5_B*USA_`$)RW#AWH*H<S"A?8GL;
     264MV6GT:1;;P-9VCX_Q1-''F+>.'V9:GTS(L41I(DJ34"+H_+IM+8C0"T*#OUUI
     265MS"N-.=.8B<8L-(A?>FPU$:%G3$<9I9@33H&5E#`+?B,#C\C2)+.4*"U$B85E
     266MKH5E/BTL\S9AF3<(BQ49\:"B-N!!:1.,R,FICH'0(_W!YZV:H"$G&.R=+@5E
     267MKP5E/RTH^S9!V3<(BE6X<JZ#L)Q3C,41)O"A3-=K,&*45BPK\FA4DI6KVI2[
     268M%I7[M*C<VT3EWB`J'KY:2ZW&-KKO>_!ANBZ)RAKJD6A6"@F<:2Z/*(%/"E'Y
     269M:U'Y3XO*OTU4_@VB\J5NY@'W@R!\#,V@)0?'!!C(!VW,T`/34Z\D;D9Y3LPH
     270M9>D)#H"P';'::-T%&@N&2=X`2*]I5&F"-]W'T/9HHX1@EN<,P/"R&JJAM<H[
     271M'H(,?32D]3:,1(.,1/&`,CY!&9^BC$]0Q@VETT!)Z*A;X?!Z%:R@=+I$V1]0
     272M]D]0]D]1]D]0BMG@3*"ZQ@4$E(N><&%'+QF9G:!J3$:EQ5+@T]0_Y#QWD)5K
     273M0J;9@&C%1M1=8>KH;F>H#'M#92@,%9&,5@<,Z@8&56)0)0956"]#MEZ&9+VD
     274M,O6A3'VC3%V6J<LR==%MM#D0-V)`7I`U8C`AN(R`\B):KF+-0RJ'Z*`1T-6E
     275MS]=:UCQB>DT]G@;-`"7?>AH[-?<4[C&>VL3&NSW`LP_AV0?P['-X,DX98VC,
     276M;HB&YE9!]QUJ!@EI%?1"7Z!T!Y3N(4KW`*5[CI*'"!`G*QY%BC7/W22[>_8?
     277MWWZ=?_GU/W_^Y[\_?OZ_O_[/S_KO__S;3W]1ZPON']_^^Y__^M>WGW]:LSQ]
     278=\\NO__7+KQ^__N\O?U5_^^D__O+_:KW;2<\4`0``
    279279`
    280280end

  • Tst/Long/primdec_l.stat

    r979dab r34ceab  
    1 1 >> tst_memory_0 :: 1263397479:3108-2010011316:3-1-0:ix86-Linux:nepomuck:1630972
    2 1 >> tst_memory_1 :: 1263397479:3108-2010011316:3-1-0:ix86-Linux:nepomuck:3747840
    3 1 >> tst_memory_2 :: 1263397479:3108-2010011316:3-1-0:ix86-Linux:nepomuck:5976064
    4 1 >> tst_timer_1 :: 1263397479:3108-2010011316:3-1-0:ix86-Linux:nepomuck:2980
     11 >> tst_memory_0 :: 1277387938:3111-2010062218:3-1-1:ix86-Linux:mamawutz:1572476
     21 >> tst_memory_1 :: 1277387938:3111-2010062218:3-1-1:ix86-Linux:mamawutz:3747840
     31 >> tst_memory_2 :: 1277387938:3111-2010062218:3-1-1:ix86-Linux:mamawutz:4927488
     41 >> tst_timer_1 :: 1277387938:3111-2010062218:3-1-1:ix86-Linux:mamawutz:3258

  • Tst/Old/factor.res.gz.uu

    r979dab r34ceab  
    11begin 640 factor.res.gz
    2 M'XL(",P'>T0``V9A8W1O<BYR97,`Q90[;]LP$,=W?PJAZ&"+9"`>*5IJH`Q-
    3 MEP!%EW0KXB`/.Q#J)D9$/=Q/W^-1HJS$19.IT'*//W]WI,B[_/[EXEL41?(L
    4 M>BX?'Z*J2/C\EM_Q>[[F&_[`:][PEG=\O^#WN]/99:^'LVCWM-U'NV(.\2;N
    5 M5A#O%W&[2ME<R'@=-R[$,DS5\7ZEA+,PAC8XF0X@=1+A$HU+:A1@FCF[01Z*
    6 M:5GMV!B70#2BH&CC19ZG`D\['N$PBT!A/-II&1%6"M>K'N;9@MP&,YW?!@1>
    7 M2OU)`JJXP8X\SD$RZE3'G9"F;Y2`#'1/1R#B`LSXYGP3*!W;T-AIWT2*:\:#
    8 M7IY%FYL[^_1<_E[/=YCX(:\^S3!QC48AO057!6Q:P&/9-"#63>O#ZJIH50="
    9 M-RUTF*Q1`B)K5,=,W;0=R^H&]D+7T.Y9K6;((;3D^(4.LDD'//D?/>33'B3V
    10 M0+5?5*0NWE6N+R"3:0%XN<EC6WMOK8.MA;K#NSLOY@J21/%R@8_MX*5)?&F_
    11 MRD?WV(H2'\&84.$)=I.X?N.-Z?!>EXOPE]!%[^CQR_3-5^`=4/.7?]HC!AR:
    12 MPXKE/WZ25[]HY=BIXY7^66ZW4<7/QW/+^U_Q7"@^QX&'HZ_B=C+V(`EG'D+R
    13 M)*I6&<X]NXC1T&BXF82FHL%A5S)SKED.;DZN(6%"=AIHX"8$QB7%/8QH9J"!
    14 M)E<.;DIN0DHBIR;0E*<I:D`/#2B2:=.[FGK0Z>!2.3V4TXK<,!!!]P,14U1:
    15 M)X-KG*MR5U$OR<Z<G5(<\EYFJ!R,6TX#T-"N@79MJ"X`V;1ED&1341B*&H++
    16 M/-#,2*,>)/60>1J9#D9&.HY9>.N8%95F%5A@5H=+7FE1*3L-:Y**22QU4I*)
    17 MRJH0-CVU1TQRRY`3KW(9X@RK4DQIEU(N9WPN=SF!.49A7(L0FX:\3+P`D^)U
    18 M4@YDYLC,JPX%,.)#:8>9JMS1X.ZA=^E(D&;'4$HA<1C"TZB8G8Z,(Y^B3X8!
    19 E#OBDOUY\CC[8RIYLR]L/IVA<5_;&UM4<1\O'V1_24UHHZ@@`````
     2M'XL("*)D(TP``V9A8W1O<BYR97,`Q90[;]LP$,=W?PJAZ&"+9"`>*5IJH`Q-
     3MEP!%EW0KXB`/.Q#J)D9$/=Q/W^-1HJS$19.IT'(O_NY/BKS+[U\NOD51),^B
     4MY_+Q(:J*A,]O^1V_YVN^X0^\Y@UO><?W"WZ_.YU=]O5P%NV>MOMH5\PAWL3=
     5M"N+](FY7*9L+&:_CQH58AJDZWJ^4<!;&T`97I@-(G42X1..2&@LPS9S=(`^+
     6M:5GMV!B70#2B8-'&%WF>"CSM>(3#+`*%\6A7RXBP4KA>]3#/%N0VF.G\-B#P
     7M4M(G":CB!A5YG(-DI%3'G9"F%TI`!KJG(Q!Q`6:\."\"2T<9&I7V(E)<,Q[T
     8M\BS:W-S9I^?R]WJ^P\0/>?5IAHEK-`KI+;@J8-,"'LNF`;%N6A]65T6K.A"Z
     9M::'#9(TE(+)&=<S43=NQK&Y@+W0-[9[5:H8<0DN.7U"0313PY']HR*<:)&J@
     10MWB\ZDHIWM>L;R&3:`%YN\MC6WMOK8&NA[_#NSHNY@B11O%S@8SMX:1)?VJ_R
     11MT3VVHL1',"94>(+=)*[?>&,ZO-?E(OPE=-$[>OPR??,5>`?4_.6?]H@!A^:P
     12M8OF/G^2K7T@Y=NIXI7^6VVU4\?/QW/+^5SP7BL]QX.'HJ[B=C#U(PIF'D#R)
     13MJE6&<\\N8C0T&FXFH:EH<-B5S)QKEH.;DVNH,"$[#31P$P+CDN(>1C0ST$"3
     14M*P<W)3>A2B*G)M"4IRD2H`<!BLJTZ5U-&G0ZN-1.#^VT(C<,1-#]0,04M=;)
     15MX!KGJMQUU$NR,V>G%(>\+S/4#L8MIP%H:-=`NS;4%X!LVC)(LJDI#$T-P64>
     16M:&:DD09)&C)/(]/!R$C',0MO';.5%I6RK`(+S.IPSRM-(5%9%<)Z#`^AU`,.
     17M0V;*1$!(+8>4>)7*,&58E6)*N[;*]34^E[N<P!RC,*Y%%38->9GX`DR*UTDY
     18MD)DC,U]U6``C/K1VF&F5.Q,\(>A=36YE18BXHW#G-4;<23`['19'/D6?#*,;
     19D\#%_O?@<?;"5/=F6MQ].T;BN[(VMJSD.E8^S/Q8T/+SD"```
    2020`
    2121end

  • Tst/Old/factor.stat

    r979dab r34ceab  
    1 1 >> tst_memory_0 :: 1148913612:2006052914:3-0-2:x86_64-Linux:nepomuck2:188748
    2 1 >> tst_memory_1 :: 1148913612:2006052914:3-0-2:x86_64-Linux:nepomuck2:716800
    3 1 >> tst_memory_2 :: 1148913612:2006052914:3-0-2:x86_64-Linux:nepomuck2:798720
    4 1 >> tst_timer_1 :: 1148913612:2006052914:3-0-2:x86_64-Linux:nepomuck2:6
     11 >> tst_memory_0 :: 1277387938:3111-2010062218:3-1-1:ix86-Linux:mamawutz:174568
     21 >> tst_memory_1 :: 1277387938:3111-2010062218:3-1-1:ix86-Linux:mamawutz:806912
     31 >> tst_memory_2 :: 1277387938:3111-2010062218:3-1-1:ix86-Linux:mamawutz:806912
     41 >> tst_timer_1 :: 1277387938:3111-2010062218:3-1-1:ix86-Linux:mamawutz:8

  • Tst/Short/bug_31.res.gz.uu

    r979dab r34ceab  
    11begin 640 bug_31.res.gz
    2 M'XL("-H6F$,``V)U9U\S,2YR97,`C5/?;X(P$'[GK[B8/925H6U1YTS[L.S%
    3 M9-G#W,NR&(.*A`31*&:4OWXMT`++8A82>KT?W]UW=UU^O"S>`(`(>%T\PR"_
    4 MY'Z:;`9S9]E8J`"E7"=9DB-W[N@3A(#--5XSXF?1MW_)P]RZ,P%6#GPX)UD,
    5 M[Y2CD1>Z'BH\Z96NEYY:_+&`0Y*=CJGD(<,A)JUI(D#K8<^+0.)"!JUI*F`?
    6 M;O/C.2DCM%=U?9'5DZ,,:R5P4DMTQ8M:8BLN:RE0.MS(8R73AT)B21WE7,43
    7 MK_ELJD<!PZ&]S0PGQA$UG'J,R*@I.U;HN$)O;:3#EO;8$MJE%-^@A%'HWDM+
    8 M3-\QT9H>!XNK)A+S&$O6I@K^FZJNG_UJD,49M\,F$[_3)C(U;0HXM6/?=9JD
    9 MNIKLHC"%A9Y!Z4GU:ZVS:AT'IW-RV$7;_D;24;=Z'7R30/E7Y53-H0%??J)%
    10 M!\"<!DMJ!',WB-J/]OV:I3)N59A)1KL;1)E?/2C]:JX71-SYG?,#->PY0H8#
    11 "````
     2M'XL("*)D(TP``V)U9U\S,2YR97,`C5/?;X(P$'[GK[B8/93!T+:H<Z9]6/9"
     3MLNQA[F59C$%%T@31*&;4OWXMT`++MBPD]'H_OKOO[KIX>XI>``!S>(X>85"<
     4MBR`3Z\'<6306PD$I5R(7!7+GCCZ!<UA?TA7%09Y\!N<B+JP[Y6#E,("3R%-X
     5M)0R-_-CU4>E+_^KZV;'%'W/8B_QXR"2+J1=[N#5-.&@][%@92J^486N:<MC%
     6MF^)P$M<$[51='WCYX"C#2@D,UQ)9LK*6Z)+)6@J5SFODL9+)72D]21SE7,5C
     7MO_ELJGL.PZ&]S0PGRA`QG'J,\*@I.U7H7H7>VG"'+>FQQ:1+*?V=$E)1[JTE
     8M0;6FOO<X6%PUD92EGJ1MJO"?J9KZZ;<&69QQ.VP\"3IMPE/3II`1._9MITFJ
     9MJV*;Q!E$>@977ZI?:YU5ZS@XGL1^FVSZ&TE&W>IU\)\$KC]53M0<&O#%.XHZ
     10M`.8T6%(CF+M!U'ZD[]?,P[A58289Z6X0H4'UH/2KN9P1=N<WSA<UD577A@,`
     11!````
    1212`
    1313end

  • Tst/Short/bug_31.stat

    r979dab r34ceab  
    1 1 >> tst_memory_0 :: 1134040794:2005120812:3-0-1:ix86-Linux:nepomuck:243668
    2 1 >> tst_memory_1 :: 1134040794:2005120812:3-0-1:ix86-Linux:nepomuck:795316
    3 1 >> tst_memory_2 :: 1134040794:2005120812:3-0-1:ix86-Linux:nepomuck:795316
    4 1 >> tst_timer_1 :: 1134040794:2005120812:3-0-1:ix86-Linux:nepomuck:10
     11 >> tst_memory_0 :: 1277387938:3111-2010062218:3-1-1:ix86-Linux:mamawutz:243064
     21 >> tst_memory_1 :: 1277387938:3111-2010062218:3-1-1:ix86-Linux:mamawutz:753664
     31 >> tst_memory_2 :: 1277387938:3111-2010062218:3-1-1:ix86-Linux:mamawutz:790528
     41 >> tst_timer_1 :: 1277387938:3111-2010062218:3-1-1:ix86-Linux:mamawutz:10

  • Tst/Short/primdec_s.res.gz.uu

    r979dab r34ceab  
    11begin 640 primdec_s.res.gz
    2 M'XL("+U5XD<``W!R:6UD96-?<RYR97,`[5S=;]RX$7_?OT(X],&N))\X_!#5
    3 M8`U<K\#A@$-17.ZE#=Q@U[MV-I+=U/;AI/WK2U(KBJ1(:3\<.RC\$%N:&7*&
    4 M0W+F-Z2<][_][>>_1U&$+J-??OYK]-W3X]-%M5E^]V[V?L>!RT@0/V[N-T]G
    5 MY^]F\G=T>1E]>=C<K=;7'Q\O[M=_7#P^+9YT"WP9Z6=RT?:[$W?ZIH8DNX@>
    6 M-O>WT<,<0Y;AY&R1+)/K9)6LDYOSY.S'9/7EO&^97T:;U7I119NYIO&+:`'7
    7 MJQM(-*FXB)8V"652:FF1D)#"%@6$D$W!@K($BT1:?>N>0EMU!H6UV@Q*KI09
    8 M!*YT&82B5=53(&LU];H!M9H,"K2:#`I6F@P"49H,`FTU&11E[S48PX1<J;)(
    9 MRM/+:Y,D/8U-"I9&VQ2DU%FDUFJS<RS-)B9!F;TT*<IN;%*DW:*17B`X[Y<6
    10 M%N96F\<GL6;1_&YS_\/CXT^__>MLTR\G7.CEA.8/B]7F>E&9?))I/LS7__U]
    11 M\ZM'1FRAG1:8=]O#T4-`R^"=)3]^6CR<;1)D"&$M1.:[?M[_TY$AE]'=XNEA
    12 M4T=W\VO1Q<?']<-F_6@IHW*7HG>S#^CJ+S.Q&3Z*A_E-^P17\]5,_.P92\U8
    13 MZ!Z8&+;H8(.4P(U\D'SU@`5E)1^(H*QT$[DQQ31LH&L"71/HFH#3A$L[H;>S
    14 M^ZU-!OVFS)8BX(C8$AW;[6EI];0`7U=+2V0FC-[#J+5^$6-<>?N]"<O/A$.\
    15 M2J[--DML-EH88Y'NA-YN*EZQSP2[.ZNWF6CE-6%EC?,:S%8R`IE&B&AC&B'B
    16 M@7YEXI7HMUS9WPMS]=Y+%_*]'R[*Y``-70BI$1L$-9W+O@>$%:$W%TDG&?8A
    17 MY26C`9/OO5.0M)'XO+BR'&+YPYH1O;X+N;[Q"?N09K('$MXAQZSKP!:Q1G<S
    18 MO9)7P1WRDHLWL'_6P\%TC8[8I*$=,K)!C`5&G#5.G17+[/686QN&VQNB<!=W
    19 MYBQ>]%R+EXJL=O=N=O<!);)/]:#\?_<!$M6??)#>U2TD8%P_/OU#9*[%0W,F
    20 M0GLBLQ+2`B*_E9NJBAYTJJ*DS]:4:B"8C8-`RH8@D.8#$$CY``328@`"6>:"
    21 M0(9<$,A@``(9=D$@(RX(9-0%@8PY()#E#@ADW`6!K'!!8)ZY(#!'+@C,P0&!
    22 M.79`8$Y<$)C3`0C,V0`$YOD`!.;<!8%YX8)`G@U`($<#$,C!`8$<NR"0$Q<$
    23 M<NJ`0,[Z9<7S*1#(^3@(Y,4T""RR:1!8H#U`8`'3(+#`TR"P(*>"P((>#`(+
    24 M=C`(+/(W$/@&`O]_06#!3P6!1?$&`M]`X&N`0)1E!X)`E*%Q$(@R<$$@ROIS
    25 M0Y2)Y*Z?J?$\."6LDR;9NM`09</S090)=%(WL(44R5]QW;2/VT1+%%("2Q;T
    26 M5'EB6#=$M>J)`K/4T/8`1A?RY%`0L"(;X@*^U&0KR60+,=18/,N?$->@R,*N
    27 M7IJH3DP;J&S?",NPJ4QX`P098B;H\J=H)(S'L66J0#XU%4VE9O%#:9=VRX&V
    28 M[C`U22^Q)L8UE3]((U5JOZ*BGR-Y*CF*J!"@442%`"81%0(\B:@0D&E$A8!.
    29 M(BH$;!)1(<A]B&JK`W9C1W*#D:)9M\_J&.F0J<0:+:98Q&#56C,WD9A8N#LH
    30 M5LO%O-W!,3'S:=WL()E8#V(IZ/:%"<MTMSB;@%ZU+X;4P>2Q-:-+XVOK2(1R
    31 M1Q,C4[#V!FM7*)@&&KLOL0O:EH,.+3DY&8&0WUCYMN[;X:"MCJ4LX,#4&E)C
    32 M99/:FQ?=)E:+F<@C?D76")JMV:JQDK-<8E!OXUZ$2E-$@`#QS^_(X3K0%DFO
    33 M\GU6CS$L?*!"IZE461SC[R9N;$\$5\[H)$C](D/O,P^._JTS$?84^/=FR(SM
    34 M3,*"?8RP;$@/G>!4)WJ,?,`W&"Z=.(C];=Q(Z@V7&"8`\TEQ[7E79B@"'AVS
    35 M`D'P\-C\XL'O-6-2($X>F8A"$>ZEPDT@W-D382_&K7=HXQO]Q<+:B!DC8>VY
    36 MDVD77;!9$S5=3;15#T(PZXHC.16[\JA1#SLF[IDXV84%^8C;3HABJP=H&Y"V
    37 M9:>?3%18F`XJ+-R?AR*<]U65O"#OC]S]%95Q1:XK*I)-550$^2HJ`IZ*BF!_
    38 M146(MZ(B])"*BC"WHB*YKZ(B?)^*BA2'5%0T&ZNHY`6+?H:IBDK>G8Q55/(B
    39 M9:JBHG2ZHI)7*Y,5%<VG*RK*IRLJ6KQ61<6RTRHJAKP5%8.WBBHH]U91O554
    40 M;Q75"145PZ]543'R5E&]551O%=5;116VXOB*BM'7K:@8FZBH6#ZHJ!COT;O\
    41 M0*>MHJ)YM+N=TA\O);?)I^1S4B:5KJQTP[S_NGC>$T7E=%:EY?F_"UU)R(]Y
    42 M6AK_L_B]/.\YN./DDG-M<$C'89*S,CBTXU#)61L<UG&(Y-P8G+SC8,FY-3B\
    43 MXX#D?#(XQ8XCZ9][V,^SWG?R$Z#QRH?#>.7#\73EP\ETY</I'I4/9].5#\^G
    44 M*Q_.?95/F59:H#`+%(,A/S3J*P^3@29J#RGKV:*2',K3):105G%E19_/X7X<
    45 MJ5`N+G&*2ZAB7%:05MC3>1<C/NVMRVD4RMHE24F)JY@)_2`>*QQ79-J`+KC>
    46 M'FN/TT<("Y0TI26I8I0)(R$5OT!82,N*I!4]V,QHEP-NGLEJI\L0[BA9RDHJ
    47 M!B&'(E:0'`N6;R"&P<J*QA4[=2SJE5W-UU]G:(Z&$)HI\S0O614#$N.%%,L!
    48 M"]1$Q8!)*H@@QIJ7%4NK_)D'K%[SJ_GJ1<;O*`S!L9*GO,R%.[AP"J14K@(<
    49 MYYGP"I%O6+A#\$`XA)=5'E?\ZWI%O?*K^?5K.,G1'X*099$6)1>QD`G/0<J)
    50 M<)W8+"!]1U+YFPBO<1FT6(IEV,KCHJQX6A4OZCSU6ES-E]^`+QUSN@0(OO+8
    51 MS)!XHHH](D-^ML=M)<P3,J33[2?;G9[\^7P9<ESUK3V3P73ZU3+D0>;=V`MM
    52 M,KN^5(8\91#F]F#[)]M7RI#/.%(S$.0'Y]YO(T-^/7>8<9$?FXJ_R0SY8CY;
    53 MVJGEQ,S\+69(8AZTI&7<<^C$$8C\RP[G"*3H_](:%?PB^O[[Z'[]1[2N%W=?
    54 MJG5T\_"?N^BG]8,H@%??_W![OW[4PMUYR:_S]CO>\Z3ZTG4+F7$HTI"TQFF=
    55 MU(7XT11ITTOU?TOC/S>`;/S<`++I<P/(IL\-(-OCW`"RZ7,#R*;/#2#SGAL8
    56 M)_W!*P`87)/&J.>Z)_\6$U)U-DE-?NHT9B'FKG%N\L%5S8/<M#&.7WVM&_,V
    57 MJ!.P+%#GJFA$8-<'C/71S.0?E9@"Z5`)&1-HE=`1D;C1TVR=_J@]$#>DNZ-F
    58 M3:H^)H`F;;JK:K%!NL;(.B'J&X.G,0P:3YTB.7</GD#G7)F%D+-[R!^XCAE*
    59 M!6]XTKTZ'$H%K[EA/Q,]8N&[GM@UP'\AZ!<,X<E^)4UVZQ,,7M98@K#/A1F,
    60 MW$</[G[2D)5>P>`E3+IOMU[!X)W+<%Z;?1=`N]=#.\@53_?M-[4"U3YKRWLO
    61 MZ1?4\6V/?D<\X175H7&/A1L';/8)ZGBZSX8(VNP7[0*B]U3!3:R!I.MD7$_F
    62 M(D%^.]G!I+M;O%;>]21M.^\.\HV3>7TIR\F]P[0XEGOMG1#.G*.Y%PURKXL?
    63 M[,SK8A,[Z3IMNVF>.ALZ/EV%MNO1Z2J\3X].5^$,>%*Z.F!W'I*N@EGPM``8
    64 MRH+/$/]"&?'T,!7,BJ=&UE!6/#&)![/BJ5D\G!5/R[9[[[8#T<%>WU9Z.[0E
    65 MPCG0=M.^Z*T+B-99@>+LOLMH].<8YL<8[3<8[63L/L.0'^"H-V+Q2,=375*+
    66 M1_O/-YC%8(JA6N0[@UI&ONNMG:Z[#]SB\IXKW@J+5[0\H:!5B#*++5XU7[ZV
    67 M?FA9K1^@:P@&JW4([$:.C$]3$-ZQU`LQ&*0?-:(&G7:#[N9DXI0&4/^=/\B_
    68 :_I7_?Z/\'QI_?SQ#Y^_^-/L?\@NGP/51````
     2M'XL("*9D(TP``W!R:6UD96-?<RYR97,`[5S=;^.X$7_W7R$<^I!44DX<?HCJ
     3MP@&N5^!PP*$H;N^E7:0+?R7KE9)NDQQ.\E]?DK(DDB(EV<XFB\(/L:69(6<X
     4M(F=^0\IY_]O??OY[$`3H.OCEY[\&WST_/5\5V^5W[V;O]QRX#@3QX_9A^WQQ
     5M^6XFOX/KZ^#+X_9^O5E]?+IZV/QQ]?2\>&Y;X.N@O297=;][<:MOJDFRJ^!Q
     6M^W`7/,XQ)`F.+A;1,EI%ZV@3W5Y&%S]&ZR^77<OT.MBN-XLBV,Y;&K\*%K!:
     7MWT+4DK*K8&F24"*EE@8)"2EL4$`(F10L*$LP2*36M^DHM%:G45BM3:.D2IE&
     8MX$J71LAJ51T%DEI3IQM0K4FC0*U)HV"E22,0I4DCT%J31E'VKD`;)J1*E4%2
     9MGEZN=)+T--8I6!IM4I!29Y!JJ_7.L32;Z`1E]E*G*+NQ3I%VBT;M!,%I-[6P
     10M,+?8/CV+.8OF]]N''YZ>?OKM7Q?;;CKAK)U.:/ZX6&]7BT+GDZ3EPWSSW]^W
     11MOSIDQ!+::X%YLSPL/01:&;RWY,=/B\>+;80T(=P*D?F^G_?_M&3(=7"_>'[<
     12MEL']?"6Z^/BT>=QNG@QE5*Y2]&[V`=W\9286PT=Q,;^MK^!FOIZ)SXZQ;!F+
     13MM@<FABTZV"(E<"LO)%]=8$%9RPLB*.NVB5R8XC%LH6D"31-HFH#5A$L[H;.S
     14M^6Y-AO9.F2U%P!(Q)1JVW=/2Z&D!KJZ6ALA,&#W!J$U[(\:X=O9[ZY>?"8<X
     15ME:ST-DNL-UIH8Y'NA,YN*FZQRP2S.Z.WF6CE-&%MC',%>BL9@70C1+31C1#Q
     16MH+UEXI:T=ZFROQ/FZKZ3SN1]-UR4R`%JNA!2(]8(ZG$NNQX05H3.7"2=I-F'
     17ME)>T!DS>=TY!TD;B\N+:<(CA#^.)M/,[D_,;G[`.:2)[(/X5<LR\]BP18W2W
     18MXS-Y[5TAKSEY/>MGTQ],T^B(1>I;(0,+1)M@Q)KCU)JQS)R/J;%@N+D@,GMR
     19M)];D12\U>:G(:O?O9O<?4"3[5!?*__<?(%+]R0OIW;:%!(R;I^=_B,RU>*PN
     20M1&B/9%9"K8#(;_FV*(+'-E51TF5K2EL@F`R#0,KZ()"F/1!(>0\$TJP'`EEB
     21M@T"&;!#(H`<"&;9!(",V"&34!H&,62"0I18(9-P&@2RS06":V"`P138(3,$"
     22M@2FV0&!*;!"8TAX(3%D/!*9I#P2FW`:!:6:#0)[T0"!'/1#(P0*!'-L@D!,;
     23M!')J@4#.NFG%TS$0R/DP".39.`C,DG$0F*$)(#"#<1"8X7$0F)%306!&#P:!
     24M&3L8!&;I&02>0>#_+PC,^*D@,,O.(/`,`M\"!*(D.1`$H@0-@T"4@`T"4=+M
     25M&Z)$)/?VFFK7O5W",JJBG0T-4=+?'T2)0"=E!3N(D?P*RZJ^W$6M1"8EL&1!
     26M1Y4[AF5%5*N.*#!+"74/H'4A=PX%`2NR)B[@2TEVDDQV$$*)Q;7\A+`$119V
     27M==)$=:+;0&7[2EB&=67"&R#($#)!EY^BD3`>AX:I`OF45#25FL6'TB[ME@.M
     28MW:%KDEYB58A+*C]()56V?D59]XSDKN0@HD*`!A$5`AA%5`CP**)"0,81%0(Z
     29MBJ@0L%%$A2!U(:I=&[`K,Y)KC!C-FG56AJ@-F4JL:L44BVBLLM7,=20F)NX>
     30MBI5R,N_V<$P\^;BL]I!,S`<Q%=KVF0[+VFYQ,@*]2E<,*;W)8Z='E\K5UI+P
     31MY8XJ1+I@Z0S6MI`W#51F7V(5U"U['1IR\F%X0GYEY-NR:X>]MEJ6,H\#8V-(
     32ME9%-2F=>M)L8+68BC[@5&2.H=GJKRDC.<HI!N0L[$2I-$0$"Q)_;D?UYT%HD
     33MO<JGS!YM6/A`A593J3([QM]56)F>\,Z<P8<@]8L,/>4Y6/IWUH,P'X%[;?K,
     34MV,TD+)ABA&%#?.@#CMM$CY$+^'K#I14'L;N-'4F=X1+#"&`^*:Z][,ST1<"C
     35M8Y8G"!X>FU\]^+UE3/+$R2,3D2_"O5:X\80[\T&8DW'G'-KP0G^UL#9@QD!8
     36M>^EDVD07K-=$55,3[=2%$$R:XD@^BGUY5*F+/1-W3!SMPX*\Q'4G1+'5!=0-
     37M2-VRT4]&*BQ,>Q46[O9#$4Z[JDH>D'=;[NZ*2CLB;RLJDHQ55`2Y*BH"CHJ*
     38M8'=%18BSHB+TD(J*,+NB(JFKHB)\2D5%LD,J*IH,553R@*6]AK&*2IZ=#%54
     39M\B!EK**B=+RBDD<KHQ453<<K*LK'*RJ:O55%Q9+3*BJ&G!45@W-%Y94[5U3G
     40MBNI<49U043'\5A45(^>*ZEQ1G2NJ<T7EM^+XBHK1MZVH&!NIJ%C:JZ@8[]"[
     41M?$&GKJ*">;`_G6I?7HKNHD_1YRB/BK:R:ANFW=O%\XXH*J>+(LXO_YVUE81\
     42MF:>F\3^+[^5EQ\$-)Y6<E<8A#8=)SEKCT(9#)6>C<5C#(9)SJW'2AH,EYT[C
     43M\(8#DO-)XV1[CJ1_[F`_3SK?R5>`ABL?#L.5#\?CE0\GXY4/IQ,J'\[&*Q^>
     44MCE<^G+LJGSPN6H%,+U`TAGS1J*L\=`8:J3VDK&.)2K(O3^<00UZ$A1%]/OO[
     45ML:1\N3C',<ZA"'%>0%Q@1^=-C/@T69?5R)>U<Q*3'!<A$_I!7!8X+,BX`4UP
     46MO3O6'JL/'Q;(:4QS4H0H$49"++Y`6$CS@L0%/=C,8)\#;E_(:JM+'^[(6<QR
     47M*@8AAR)FD!P+EG<@AL'R@H8%.W4LZI;=S#=?9VB6!A^:R=,XS5D1`A+CA1C+
     48M`0O41,6`22R((,::Y@6+B_2%!ZQNTYOY^E7&;RGTP;&<QSQ/A3NX<`K$5,X"
     49M'*:)\`J1=UBX0_!`.(3G11H6_.MZ1=WRF_GJ+9QDZ?=!R#R+LYR+6,B$YR#F
     50M1+A.+!:0OB.Q_";":UP&+19C&;;2,,L+'A?9JSI/W68W\^4WX$O+G"8!@JL\
     51MUC,D'JEBC\B0G\UQ&PGSA`QI=?O)=*<C?[Y<AAQ6?6<^26\Z_6H9\B#S;LV)
     52M-II=7RM#GC((?7FPZ<GVC3+D"XY4#P3IP;GWV\B07\\=>ESDQZ;B;S)#OIK/
     53MEF9J.3$S?XL9DN@;+7$>=APZL@4B?]EA;8%DW2^M4<:O@N^_#QXV?P2;<G'_
     54MI=@$MX__N0]^VCR*`GC]_0]W#YNG5KC9+_EU7K_'>QD57YIN(=$V12H2ES@N
     55MHS(3'U465YU4]UL:][X!),/[!I",[QM`,KYO`,F$?0-(QO<-(!G?-X#$N6^@
     56M[?1[CP"@=TP:HHYK[_P;3(C5WB35^;'5F/F8^\:IS@=;-?=S*VW[U<&/*_TT
     57MJ!$P+%#[JFA`H-:!8*B/:B9_5*(+Q'TE9$`@E#W0H1ZD%<UC-G9_U!H(*]*<
     58M4;,J5B\30!57S5&U6"!-8V3L$'6-P=$8>HW'=I&LLP='H+..S'S(V=[D]QS'
     59M]*6\)SSQI`[[4MYC;IAFHD/,?]83V@:X#P3=@CX\V<VET6Y=@M[#&D,0IAR8
     60MP<!Y=._L)_99Z13T'L+$4[MU"GK/7/K/M9HZ`>J`XEM!MG@\M=_8"%13YI;S
     61M7-(MV,:W"?T.>,(IVH;&"1,W]-CL$FPCZI0%X;79+=H$1.>N@IU8/4G7RKB.
     62MS$6\_-IQWJ2[G[Q&WG4D;3/O]E,2'^#'KMSKRIR#V;?J95]'YAS,O:B7>VW\
     63M8&9>&YN8:==JVSSFL;VAX].5;[D>G:[\Z_3H=.7/@">EJP-6YR'IRIL%3PN`
     64MOBSX`O'/EQ%/#U/>K'AJ9/5EQ1.3N#<KGIK%_5GQM"P^=;4=FL4GO5OI[-"4
     65M\.=`TTU3T5L3$(V]`L79OY=1M:]CZ"]CU.]@U`]C_QJ&?`%'-2,&CS0\=4<-
     66M'NU>WV`&@RF&ZBW=&U0STGUOM5OO/W"#RSNNN,L,7E;SA():(4H,MKAM^?*V
     67M]D/-JOT`34/06+5#8#\ZI+V:@O">I6Z(QB#=J!'5Z+09=/-,1G9I`'7O^8/\
     68:]:_\_XWR/S3^_G2!+M_]:?8_5?P_&_51````
    6969`
    7070end

  • Tst/Short/primdec_s.stat

    r979dab r34ceab  
    1 1 >> tst_memory_0 :: 1206015421:3041-2008031918:3-0-4:ix86-Linux:nepomuck:1064700
    2 1 >> tst_memory_1 :: 1206015421:3041-2008031918:3-0-4:ix86-Linux:nepomuck:2120836
    3 1 >> tst_memory_2 :: 1206015421:3041-2008031918:3-0-4:ix86-Linux:nepomuck:2575492
    4 1 >> tst_timer_1 :: 1206015421:3041-2008031918:3-0-4:ix86-Linux:nepomuck:1128
     11 >> tst_memory_0 :: 1277387938:3111-2010062218:3-1-1:ix86-Linux:mamawutz:589556
     21 >> tst_memory_1 :: 1277387938:3111-2010062218:3-1-1:ix86-Linux:mamawutz:1564672
     31 >> tst_memory_2 :: 1277387938:3111-2010062218:3-1-1:ix86-Linux:mamawutz:2080768
     41 >> tst_timer_1 :: 1277387938:3111-2010062218:3-1-1:ix86-Linux:mamawutz:411

  • factory/cf_factor.cc

    r979dab r34ceab  
    434434      if (isOn(SW_USE_NTL) && (isPurePoly(f)))
    435435      {
    436         // USE NTL
    437         if (getCharacteristic()!=2)
    438         {
    439           if (fac_NTL_char!=getCharacteristic())
    440           {
    441             fac_NTL_char=getCharacteristic();
    442             #ifndef NTL_ZZ
    443             if (fac_NTL_char >NTL_SP_BOUND)
    444             {
    445               ZZ r;
    446               r=getCharacteristic();
    447               ZZ_pContext ccc(r);
    448               ccc.restore();
    449               ZZ_p::init(r);
    450             }
    451             else
    452             #endif
    453             {
    454               #ifdef NTL_ZZ
    455               ZZ r;
    456               r=getCharacteristic();
    457               ZZ_pContext ccc(r);
    458               #else
    459               zz_pContext ccc(getCharacteristic());
    460               #endif
    461               ccc.restore();
    462               #ifdef NTL_ZZ
    463               ZZ_p::init(r);
    464               #else
    465               zz_p::init(getCharacteristic());
    466               #endif
    467             }
    468           }
    469         #ifndef NTL_ZZ
    470         if (fac_NTL_char >NTL_SP_BOUND)
    471         {
    472             // convert to NTL
    473             ZZ_pX f1=convertFacCF2NTLZZpX(f);
    474             ZZ_p leadcoeff = LeadCoeff(f1);
    475             //make monic
    476             f1=f1 / LeadCoeff(f1);
    477             // factorize
    478             vec_pair_ZZ_pX_long factors;
    479             CanZass(factors,f1);
    480             // convert back to factory
    481             F=convertNTLvec_pair_ZZpX_long2FacCFFList(factors,leadcoeff,f.mvar());
    482           }
    483           else
    484           #endif
    485           {
    486             // convert to NTL
    487             #ifdef NTL_ZZ
    488             ZZ_pX f1=convertFacCF2NTLZZpX(f);
    489             ZZ_p leadcoeff = LeadCoeff(f1);
    490             #else
    491             zz_pX f1=convertFacCF2NTLzzpX(f);
    492             zz_p leadcoeff = LeadCoeff(f1);
    493             #endif
    494             //make monic
    495             f1=f1 / LeadCoeff(f1);
    496             // factorize
    497             #ifdef NTL_ZZ
    498             vec_pair_ZZ_pX_long factors;
    499             #else
    500             vec_pair_zz_pX_long factors;
    501             #endif
    502             CanZass(factors,f1);
    503             // convert back to factory
    504             #ifdef NTL_ZZ
    505             F=convertNTLvec_pair_ZZpX_long2FacCFFList(factors,leadcoeff,f.mvar());
    506             #else
    507             F=convertNTLvec_pair_zzpX_long2FacCFFList(factors,leadcoeff,f.mvar());
    508             #endif
    509           }
    510           //test_cff(F,f);
    511         }
    512         else
    513         {
    514           // Specialcase characteristic==2
    515           if (fac_NTL_char!=2)
    516           {
    517             fac_NTL_char=2;
    518             zz_p::init(2);
    519           }
    520           // convert to NTL using the faster conversion routine for characteristic 2
    521           GF2X f1=convertFacCF2NTLGF2X(f);
    522           // no make monic necessary in GF2
    523           //factorize
    524           vec_pair_GF2X_long factors;
    525           CanZass(factors,f1);
    526 
    527           // convert back to factory again using the faster conversion routine for vectors over GF2X
    528           F=convertNTLvec_pair_GF2X_long2FacCFFList(factors,LeadCoeff(f1),f.mvar());
    529         }
     436        // USE NTL
     437        if (getCharacteristic()!=2)
     438        {
     439          if (fac_NTL_char!=getCharacteristic())
     440          {
     441            fac_NTL_char=getCharacteristic();
     442            #ifndef NTL_ZZ
     443            if (fac_NTL_char >NTL_SP_BOUND)
     444            {
     445              ZZ r;
     446              r=getCharacteristic();
     447              ZZ_pContext ccc(r);
     448              ccc.restore();
     449              ZZ_p::init(r);
     450            }
     451            else
     452            #endif
     453            {
     454              #ifdef NTL_ZZ
     455              ZZ r;
     456              r=getCharacteristic();
     457              ZZ_pContext ccc(r);
     458              #else
     459              zz_pContext ccc(getCharacteristic());
     460              #endif
     461              ccc.restore();
     462              #ifdef NTL_ZZ
     463              ZZ_p::init(r);
     464              #else
     465              zz_p::init(getCharacteristic());
     466              #endif
     467            }
     468          }
     469        #ifndef NTL_ZZ
     470        if (fac_NTL_char >NTL_SP_BOUND)
     471        {
     472            // convert to NTL
     473            ZZ_pX f1=convertFacCF2NTLZZpX(f);
     474            ZZ_p leadcoeff = LeadCoeff(f1);
     475            //make monic
     476            f1=f1 / LeadCoeff(f1);
     477            // factorize
     478            vec_pair_ZZ_pX_long factors;
     479            CanZass(factors,f1);
     480            // convert back to factory
     481            F=convertNTLvec_pair_ZZpX_long2FacCFFList(factors,leadcoeff,f.mvar());
     482          }
     483          else
     484          #endif
     485          {
     486            // convert to NTL
     487            #ifdef NTL_ZZ
     488            ZZ_pX f1=convertFacCF2NTLZZpX(f);
     489            ZZ_p leadcoeff = LeadCoeff(f1);
     490            #else
     491            zz_pX f1=convertFacCF2NTLzzpX(f);
     492            zz_p leadcoeff = LeadCoeff(f1);
     493            #endif
     494            //make monic
     495            f1=f1 / LeadCoeff(f1);
     496            // factorize
     497            #ifdef NTL_ZZ
     498            vec_pair_ZZ_pX_long factors;
     499            #else
     500            vec_pair_zz_pX_long factors;
     501            #endif
     502            CanZass(factors,f1);
     503            // convert back to factory
     504            #ifdef NTL_ZZ
     505            F=convertNTLvec_pair_ZZpX_long2FacCFFList(factors,leadcoeff,f.mvar());
     506            #else
     507            F=convertNTLvec_pair_zzpX_long2FacCFFList(factors,leadcoeff,f.mvar());
     508            #endif
     509          }
     510          //test_cff(F,f);
     511        }
     512        else
     513        {
     514          // Specialcase characteristic==2
     515          if (fac_NTL_char!=2)
     516          {
     517            fac_NTL_char=2;
     518            zz_p::init(2);
     519          }
     520          // convert to NTL using the faster conversion routine for characteristic 2
     521          GF2X f1=convertFacCF2NTLGF2X(f);
     522          // no make monic necessary in GF2
     523          //factorize
     524          vec_pair_GF2X_long factors;
     525          CanZass(factors,f1);
     526
     527          // convert back to factory again using the faster conversion routine for vectors over GF2X
     528          F=convertNTLvec_pair_GF2X_long2FacCFFList(factors,LeadCoeff(f1),f.mvar());
     529        }
    530530      }
    531531      else
    532532      #endif
    533533      {  // Use Factory without NTL
    534         if ( isOn( SW_BERLEKAMP ) )
    535           F=FpFactorizeUnivariateB( f, issqrfree );
    536         else
    537           F=FpFactorizeUnivariateCZ( f, issqrfree, 0, Variable(), Variable() );
     534        if ( isOn( SW_BERLEKAMP ) )
     535          F=FpFactorizeUnivariateB( f, issqrfree );
     536        else
     537          F=FpFactorizeUnivariateCZ( f, issqrfree, 0, Variable(), Variable() );
    538538      }
    539539    }
    … …  
    562562          F= FqFactorize (f, alpha);
    563563        else
    564           F= FpFactorize (f); 
     564          F= FpFactorize (f);
    565565      }
    566566      #else
    … …  
    675675  CFFList F;
    676676  ASSERT( alpha.level() < 0, "not an algebraic extension" );
    677   ASSERT( getCharacteristic() > 0, "char 0 factorization not implemented" );
    678   if (f.isUnivariate())
     677  int ch=getCharacteristic();
     678  if (f.isUnivariate()&& (ch>0))
    679679  {
    680680    #ifdef HAVE_NTL
    … …  
    682682    {
    683683      //USE NTL
    684       if (getCharacteristic()!=2)
    685       {
    686         // First all cases with characteristic !=2
    687         // set remainder
    688         if (fac_NTL_char!=getCharacteristic())
    689         {
    690           fac_NTL_char=getCharacteristic();
    691           #ifdef NTL_ZZ
    692           ZZ r;
    693           r=getCharacteristic();
    694           ZZ_pContext ccc(r);
    695           #else
    696           zz_pContext ccc(getCharacteristic());
    697           #endif
    698           ccc.restore();
    699           #ifdef NTL_ZZ
    700           ZZ_p::init(r);
    701           #else
    702           zz_p::init(getCharacteristic());
    703           #endif
    704         }
    705 
    706         // set minimal polynomial in NTL
    707         #ifdef NTL_ZZ
    708         ZZ_pX minPo=convertFacCF2NTLZZpX(getMipo(alpha));
    709         ZZ_pEContext c(minPo);
    710         #else
    711         zz_pX minPo=convertFacCF2NTLzzpX(getMipo(alpha));
    712         zz_pEContext c(minPo);
    713         #endif
    714 
    715         c.restore();
    716 
    717         // convert to NTL
    718         #ifdef NTL_ZZ
    719         ZZ_pEX f1=convertFacCF2NTLZZ_pEX(f,minPo);
    720         ZZ_pE leadcoeff= LeadCoeff(f1);
    721         #else
    722         zz_pEX f1=convertFacCF2NTLzz_pEX(f,minPo);
    723         zz_pE leadcoeff= LeadCoeff(f1);
    724         #endif
    725 
    726         //make monic
    727         f1=f1 / leadcoeff;
    728 
    729         // factorize using NTL
    730         #ifdef NTL_ZZ
    731         vec_pair_ZZ_pEX_long factors;
    732         #else
    733         vec_pair_zz_pEX_long factors;
    734         #endif
    735         CanZass(factors,f1);
    736 
    737         // return converted result
    738         F=convertNTLvec_pair_zzpEX_long2FacCFFList(factors,leadcoeff,f.mvar(),alpha);
     684      if (ch>2)
     685      {
     686        // First all cases with characteristic !=2
     687        // set remainder
     688        if (fac_NTL_char!=getCharacteristic())
     689        {
     690          fac_NTL_char=getCharacteristic();
     691          #ifdef NTL_ZZ
     692          ZZ r;
     693          r=getCharacteristic();
     694          ZZ_pContext ccc(r);
     695          #else
     696          zz_pContext ccc(getCharacteristic());
     697          #endif
     698          ccc.restore();
     699          #ifdef NTL_ZZ
     700          ZZ_p::init(r);
     701          #else
     702          zz_p::init(getCharacteristic());
     703          #endif
     704        }
     705
     706        // set minimal polynomial in NTL
     707        #ifdef NTL_ZZ
     708        ZZ_pX minPo=convertFacCF2NTLZZpX(getMipo(alpha));
     709        ZZ_pEContext c(minPo);
     710        #else
     711        zz_pX minPo=convertFacCF2NTLzzpX(getMipo(alpha));
     712        zz_pEContext c(minPo);
     713        #endif
     714
     715        c.restore();
     716
     717        // convert to NTL
     718        #ifdef NTL_ZZ
     719        ZZ_pEX f1=convertFacCF2NTLZZ_pEX(f,minPo);
     720        ZZ_pE leadcoeff= LeadCoeff(f1);
     721        #else
     722        zz_pEX f1=convertFacCF2NTLzz_pEX(f,minPo);
     723        zz_pE leadcoeff= LeadCoeff(f1);
     724        #endif
     725
     726        //make monic
     727        f1=f1 / leadcoeff;
     728
     729        // factorize using NTL
     730        #ifdef NTL_ZZ
     731        vec_pair_ZZ_pEX_long factors;
     732        #else
     733        vec_pair_zz_pEX_long factors;
     734        #endif
     735        CanZass(factors,f1);
     736
     737        // return converted result
     738        F=convertNTLvec_pair_zzpEX_long2FacCFFList(factors,leadcoeff,f.mvar(),alpha);
     739      }
     740      else if (/*getCharacteristic()*/ch==2)
     741      {
     742        // special case : GF2
     743
     744        // remainder is two ==> nothing to do
     745        // set remainder
     746        ZZ r;
     747        r=getCharacteristic();
     748        ZZ_pContext ccc(r);
     749        ccc.restore();
     750
     751        // set minimal polynomial in NTL using the optimized conversion routines for characteristic 2
     752        GF2X minPo=convertFacCF2NTLGF2X(getMipo(alpha,f.mvar()));
     753        GF2EContext c(minPo);
     754        c.restore();
     755
     756        // convert to NTL again using the faster conversion routines
     757        GF2EX f1;
     758        if (isPurePoly(f))
     759        {
     760          GF2X f_tmp=convertFacCF2NTLGF2X(f);
     761          f1=to_GF2EX(f_tmp);
     762        }
     763        else
     764        {
     765          f1=convertFacCF2NTLGF2EX(f,minPo);
     766        }
     767
     768        // make monic (in Z/2(a))
     769        GF2E f1_coef=LeadCoeff(f1);
     770        MakeMonic(f1);
     771
     772        // factorize using NTL
     773        vec_pair_GF2EX_long factors;
     774        CanZass(factors,f1);
     775
     776        // return converted result
     777        F=convertNTLvec_pair_GF2EX_long2FacCFFList(factors,f1_coef,f.mvar(),alpha);
    739778      }
    740779      else
    741780      {
    742         // special case : GF2
    743 
    744         // remainder is two ==> nothing to do
    745         // set remainder
    746         ZZ r;
    747         r=getCharacteristic();
    748         ZZ_pContext ccc(r);
    749         ccc.restore();
    750 
    751         // set minimal polynomial in NTL using the optimized conversion routines for characteristic 2
    752         GF2X minPo=convertFacCF2NTLGF2X(getMipo(alpha,f.mvar()));
    753         GF2EContext c(minPo);
    754         c.restore();
    755 
    756         // convert to NTL again using the faster conversion routines
    757         GF2EX f1;
    758         if (isPurePoly(f))
    759         {
    760           GF2X f_tmp=convertFacCF2NTLGF2X(f);
    761           f1=to_GF2EX(f_tmp);
    762         }
    763         else
    764         {
    765           f1=convertFacCF2NTLGF2EX(f,minPo);
    766         }
    767 
    768         // make monic (in Z/2(a))
    769         GF2E f1_coef=LeadCoeff(f1);
    770         MakeMonic(f1);
    771 
    772         // factorize using NTL
    773         vec_pair_GF2EX_long factors;
    774         CanZass(factors,f1);
    775 
    776         // return converted result
    777         F=convertNTLvec_pair_GF2EX_long2FacCFFList(factors,f1_coef,f.mvar(),alpha);
    778       }
    779 
     781      }
    780782    }
    781783    else
    … …  
    785787    }
    786788  }
    787   else
     789  else if (ch>0)
    788790  {
    789791    #ifdef HAVE_NTL
    … …  
    792794    ASSERT( f.isUnivariate(), "multivariate factorization not implemented" );
    793795    #endif
    794    
     796
     797  }
     798  else // Q(a)-
     799  {
     800  #ifdef HAVE_SINGULAR
     801      WerrorS("not implemented");
     802  #else
     803      abort();
     804  #endif
    795805  }
    796806  return F;

  • kernel/clapsing.cc

    r979dab r34ceab  
    830830    setCharacteristic( nGetChar() );
    831831    CanonicalForm F( convSingPFactoryP( f ) );
    832     if (rField_is_Q())
    833     {
    834       L = factorize( F );
    835     }
    836     else /* Fp */
    837     {
    838       do
    839       {
    840         libfac_interruptflag=0;
    841         L = Factorize( F );
    842       }
    843       while ((libfac_interruptflag!=0) ||(L.isEmpty()));
    844     }
     832    L = factorize( F );
    845833  }
    846834  #if 0
    … …  
    871859      Variable a=rootOf(mipo);
    872860      CanonicalForm F( convSingAPFactoryAP( f,a,currRing ) );
    873       if (rField_is_Zp_a() && F.isUnivariate())
     861      if (rField_is_Zp_a())
    874862      {
    875863        L = factorize( F, a );
    … …  
    878866      {
    879867        CanonicalForm G( convSingTrPFactoryP( f ) );
    880         //  over Q(a) / multivariate over Fp(a)
     868        //  over Q(a)
    881869        do
    882870        {
    … …  
    894882    {
    895883      CanonicalForm F( convSingTrPFactoryP( f ) );
    896       if (rField_is_Q_a())
    897       {
    898         L = factorize( F );
    899       }
    900       else /* Fp(a) */
    901       {
    902         L = Factorize( F );
    903       }
     884      L = factorize( F );
    904885    }
    905886  }

  • libfac/factor.h

    r979dab r34ceab  
    2121CFFList Factorize2(CanonicalForm F, const CanonicalForm & minpoly );
    2222CFFList newfactoras( const CanonicalForm & f, const CFList & as, int &success);
    23 CFFList factorize2 ( const CanonicalForm & f,
    24                      const Variable & alpha, const CanonicalForm & mipo );
    25 
    2623
    2724//// Note: InternalSqrFree does only the work needed for factorization.
Note: See TracChangeset for help on using the changeset viewer.