Changeset 742b12 in git


Ignore:
Timestamp:
Jun 16, 2010, 7:04:00 PM (13 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')
Children:
d0a54badf5f18245e3915978d8e35e790289ec9a
Parents:
f8345dd439f045e2d31df8d8ed1a4b43b3d95c1f
Message:
overflow checks too strong

git-svn-id: file:///usr/local/Singular/svn/trunk@12870 2c84dea3-7e68-4137-9b89-c4e89433aadc
Location:
Tst/Long
Files:
6 edited

Legend:

Unmodified
Added
Removed

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

    rf8345d r742b12  
    1 begin 644 pMult0L_l.res.gz
    2 M'XL("%6-/SH``W!-=6QT,$Q?;"YR97,`[5O+;N/(%=WK*P@C"QE#:>K]2",&
     1begin 640 pMult0L_l.res.gz
     2M'XL("#D#&4P``W!-=6QT,$Q?;"YR97,`[5O+;N/(%=WK*P@C"QE#:>K]2",&
    33M$@0!&NAD,[,S&H)$4H^.1C8L>;HG@_Q[ZL6J6T72UB[C\70W;.N<JN(YM^Z]
    44M+%'N'W[\^\=_556%[ZI/'_]6W5S.E^7QL+GY,/LA,.2N,N#J<#I<YK<?9O9[
    … …  
    66M]+3K3JOSX:?'8[=Z>&J[I\-I=Z[^X@;,;XZ/-W5UT[JOQ[/[^7QSFU:5=]7A
    77M=/FY:]):CT\/[7-SL6O@-%`-!W;?+D_KU=?NL-N[T9Z?(["\'LXZ_;Q^LJ/9
    8 M<HE1'(G176&I>?CI<<20M=`TP`+&@YE[<X7+4YJ#X'!2#N^^/:XV#\^G-DZ@
    9 M&(P'VX/-]L1I_0[W'-@?;/8GV-X_?%T];"_=R:R-:ON7\!J;?ZB6-:]93=,*
     8M<HE1'(G176&I>?CI<<20M=`TP`+&@YE[<X7+4YJ#X'!2#N^^/:XV#\^G-DX0
     9M%(P'VX/-]L1I_0[W'-@?;/8GV-X_?%T];"_=R:R-:ON7\!J;?ZB6-:]93=,*
    1010M9B],[)OJ\:]MN_JQ,T*,"V.^>CK?QD%J6?T:7^BEB7&2],F.CNL1;%D7AAN_
    1111MC/VI^LY"WU4W'U)N$6I'=M^ZYOG2S<W5$L,M8[Q4IU78MWPC[^-+\\K$I.V^
    … …  
    5353MV]#YE#EN033T/4U$#H>NIXDN\-#S-%8E86Z$+AQ$#JDOOB5*CLGXD\@8EV%'
    5454M^",NX?0P$1?7*/*XN%:1Q\77:AZ770_"N&PC"N/2)1C&I04XC$L#"1B73<9D
    55 M<?&MX_I$F0S([R51?$.!`0F_N,[!+]ES[/^7AOU/-L\F)+<?JC_-_@?^->QC
     55M<?&MX_I$F0S([R51?$.!`0F_N,[!+]ES[/^7AOU/-L\F)+<?JC_-_@=1&B/)
    5656$N3,`````
    5757`

  • Tst/Long/pMult0L_l.stat

    rf8345d r742b12  
    1 1 >> tst_memory_0 :: 967889449:2000090121:1-3-9:ix86-Linux:topgun:171784 968077128:2000081322:1-3-8:ix86-Linux:nepo:22031670   977241883:2000121917:1-3-12:ix86-Linux:nepomuck:169036
    2 1 >> tst_memory_1 :: 967889449:2000090121:1-3-9:ix86-Linux:topgun:725404 968077128:2000081322:1-3-8:ix86-Linux:nepo:74629514   977241883:2000121917:1-3-12:ix86-Linux:nepomuck:725720
    3 1 >> tst_memory_2 :: 967889449:2000090121:1-3-9:ix86-Linux:topgun:11735452 968077128:2000081322:1-3-8:ix86-Linux:nepo:75046912   977241883:2000121917:1-3-12:ix86-Linux:nepomuck:11735768
    4 1 >> tst_timer_1 :: 967889449:2000090121:1-3-9:ix86-Linux:topgun:10792 968077128:2000081322:1-3-8:ix86-Linux:nepo:16465   977241883:2000121917:1-3-12:ix86-Linux:nepomuck:3892
     11 >> tst_memory_0 :: 1276707641:3111-2010061014:3-1-1:ix86-Linux:nepomuck:231356
     21 >> tst_memory_1 :: 1276707641:3111-2010061014:3-1-1:ix86-Linux:nepomuck:675868
     31 >> tst_memory_2 :: 1276707641:3111-2010061014:3-1-1:ix86-Linux:nepomuck:12787348
     41 >> tst_timer_1 :: 1276707641:3111-2010061014:3-1-1:ix86-Linux:nepomuck:2060

  • Tst/Long/pMult0L_l.tst

    rf8345d r742b12  
    1010list tst_rgen_comp_orderings = list("", "cc");
    1111list tst_rgen_charstrs = list("0");
    12 list tst_rgen_exp_bounds = list(31);
     12list tst_rgen_exp_bounds = list(63);
    1313
    1414tst_rgen_init();

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

    rf8345d r742b12  
    1 begin 644 pMultL_l.res.gz
    2 M'XL("*N-/SH``W!-=6QT3%]L+G)E<P#M6TEOX\@9O?M7$$8.,H8R:E_2B($$
    3 MN0S0R67F9AB"N$BBHY$-2SW=DR#_?6ICU5=%T=8MXW:Z`5MZKY;O?1N+HOS3
    4 MSW__\9]55>&[ZO./?ZNN3\?3[7YHKC]=_108<E<9<#4<AM/BYM.5_5W=W57/
    5 M__BR/WU>[6\/_=?;XVE]BA/H715?LUN_[//3_K=B70Z&B=MJ/QQ/;J.7;7]8
    6 M'8=?GO?]ZNFEZU^&P_98_<4-6%SOGZ_KZKIS/_=']_IX?9-6E7?5<#C]VK=I
    7 MK>>7I^Y+>[)KX#1030?VWTXOZ]77?MCNW&C/+Q!87D]G'7Y=O]C1[/86HS@2
    8 MH[M"4OOTR_,9059"VP()&$]F[LP.IY<TA\+AI!S>?WM>-4]?#EV<0#$8#\*#
    9 M37CBM#'`(P?B@TU\@NS=T]?5T^;4'\S:J+;_*:H)JC&I5<UK5M.T@HF%\7U;
    10 M/?^UZU8_]\80H\*(KUZ.-W&0NJW^$]_H6^/C:-%G.S@N1[`EG1>N_2KV5?6#
    11 MA7ZHKC^EU"+4CNR_]>V74[\PFR6&6\9(J0ZK$+8\CO?QK7EG7-+UWQ[2;.EF
    12 M=_UZ;WZ&N>UO[7YH%WX]L%.48H7;6ED,79W<=^\G/-3C!.KD9?^.P[_[Q4S^
    13 MW.>XM_0F[4^M#^(;)_M?PWY?O:011LU_XQN5HDV-Z3%00>7!U,;*0B!#&$IS
    14 MF+'^ZV[8]]7"66U<4=U5.(:9$1!FYN*3L@+ZC?$8Y=E]G>$+>E,OUG53MW5G
    15 M7NV?%^RF_FQ3_>8*5W\V*K0PO]84-X2TF'7RBICWA!"F1IQZG%J<"0EQ;G!F
    16 M<4VER'!U=33O%2):E49T?P0C]L?S1BP;:6<2EIG@4&%1:,"R40&%VX<%Z"L.
    17 MF-M[35B#>9O+]ZAH<_$CJG+IA/H%9O=NZTD.2*WM?O?`_P_.`L:8L^L>1.#!
    18 M6<$TY1G#+6,MX4IRDC/JP9F#!>):3.V9I,/_V)Y)9HSVQ-0HK(G)4=@2TZ.P
    19 M9$R0-]PR:\:8):498YZ49HR94CHDY,JL&77O.P;/S!!:$N12#=M5,>E4[XLE
    20 M8^3(T#,,=0P[RVC#<(-HK(0H&.Y,I1))=L;4[OV8:G+LO*D-:U6'28]E9J>'
    21 MJ85I#NL`0PL;'F%HWC(N+E[WXYQQ:RP;3,P:A1,M3!U,I[#N"O>-,,^-6V,Q
    22 M+OZ:<:Y_Y>9AJAE#/J5!H'UY%*2,)#U+4D^R&5);TIJ-%964E"3WM2099IJ<
    23 MLWV2HN_(]DG.IDU2UI:&I\0MK4ZY6YJ<TK>T%V3PFYZ>MS:E\<3-,9,G/H[)
    24 M/'%PS.>)M2FE7[&VWO@N*S)K.1*N2Z^Q:=+(+"%ZMB'.7(X1HB.%(V4A3@4A
    25 MB=*!8M-9NI..XN5>GN*&LE5)F*G:DO(G&Z*P1NR<F.Y[$F.R_KR8AK3,F*0V
    26 M&&=*`JXM#F4X7'J<Y>/YB$,!#4TXM'Z9-D9O!6+.]C7&YFPB.M:74<"-#G@>
    27 M`HM+A[/)>-GQOG3^B-/<]C5&<>/7;7=]/K<>(TP1\S4'$RE4,2((B<CBQ+I*
    28 M1I(P!E@]LNS<W)!1H:+S?6-2/3AM3&LV)</AC@NJD#JO;U(FWYF^2>6D?4#M
    29 ME.)`^93*0`65LD`1E9I`'16"8"5=$*YY.:"<IK&*%34-5"RJ:91B74U#%$NK
    30 ME`.*ZU4Y]=9?<60FAP@AW?E,-\)XC/5T0[;^#H-@(CPC$^/N,9!&:F3$R+!R
    31 MCK#66H9/YW";AUNO!`DE<H9NKZ1!*&7NDIHQH8,(H7AY3@P:NP^@T539>8W+
    32 MIB4=-:OPK<HD1D(8`BH,!'<$*V>P0/!\!HT$E&=+*S%07K)*OAV_66UK90Z)
    33 MS"Q$-KDV0XB1R+0Y@GN"36;8B!N"GYEA`YYK`P3)0R>356]I<]>W7!TWZ_@C
    34 M)4Q/WU$4(^&N'2:H;RD**RPB)R+')O/&)/5-I9SGT]1W%86I)`5'#6?E&E6"
    35 M3;BQYU`J\?2,&S1/*O(#:)Y4:-0,2[20#(NT4`S+M!`,"[70"TNUD)L5:R$7
    36 ME.M%\9W7"DJVU`J*MM0*RK;4"@JWU`HJM-0*B[<,K006OJJUWODKJ"H.!$+8
    37 MWVMA;E-I1_KQ+.`_W19F=8>Z8P!F-*+,HOX$0(5**.W]Q1^;0S)$_>T,9AB3
    38 M#-XX/9@)E`_?;*_LJLI_@`CQG=.IL>!\3F;W,62:*CTOLS,+T"W;B4RF1[E!
    39 MH4R+,H="F9W)-8]"F<89(PQEM@"',AM(`)G+T3Y^02CG-/[!0[E<\]&^-S6Z
    40 MZVJNDF!*?%\?9?H&1!#7(\X#[AZQ$"43SASN'K(@207`:>_[#B'FF)WAX=:)
    41 M*$)83FQ\SR&:H&+*QEQIK&8LM2HG;7?A0WI%J;GKGY4^J=6/(WU2OU%Z+.!"
    42 M>BSA0GHLXD)Z+.-">JK+0GH+F4QZDU&9]%3/%X9\5O?["GFJ\3=UUX._^NK\
    43 M\1@FKA%Q<\-/NO"`@FH/,0M1-TK2$:*=$RJ1?RX1]@_WV\C=5*?&8Q5J!2>3
    44 M/G0O,U1GL&]>IHTJF>.[*SN0<8T*?/"?#U..Z+SD[N-)-E5]5O)F2W9TX%"R
    45 MA9B!@.3-ECH(2#:'?8]!R7U$@>0NH5!R"W`HN8$$D+STIK*+`CRC]OT$>+EF
    46 MWM0+U+HK=:X7F\.][SE>\?A\1KFO/-P'T>&#-$:9B"CMPF=H#(7[R6!A:%H(
    47 M*07AWO<LK&6VB!$46A92.I\P=BS31R4K&'.-LD[06*&2&4([8Q*A<Q\%1&=,
    48 MJOLC.V-2]]$9H?(+9X3B+YP1ZK]PQEBEA3/ZA&?.Z`"1.:.%3.:,)J.@,\9N
    49 M<'%2S/KA?2?%V"<N\$/]Z*_V&.7''"Y<AV,-:?WY1J(`T-8?;`2)@']L135-
    50 M2.=D4Z4!Y%LBE8(#S'=$ACD<&/HA(SI'0S<DLH"'*XQ<H&A)//JO.YA>>?Z>
    51 M)GB@^_`>,#WAO`=V`WEDT`.[@3XRZ($=<0CPP#9`P`.;$0,>Z",(/-`E%'B@
    52 M!3#P0`-QZ(&E-9M>&/PYZ>\S^,LUM69?)-V=$@KQ'!/?P:QZWP$Y0R-$6]_^
    53 M.&$)"H_8I!(`ZWSKDU)!,#0^R6F&AK:G*,KAT/045P4>6I[BK"3,9="Y@P@Q
    54 MH1Y]2Q02S=[]!+],.\+__1+.#C-^<8TB]XMK%;E??*WF?MF.(/3+)J+0+WV"
    55 MH5\Z@$._M)"`?FDR)O.+;QV7)\JL0[Z71/$-!3ID_!(\^,(^T_[/..Q?X7PQ
    56 0+KGY5/WIZG=P$#/PV3,`````
     1begin 640 pMultL_l.res.gz
     2M'XL(",<#&4P``W!-=6QT3%]L+G)E<P#M6TEO(\<9O?-7-(0<*+@IU+YD$`$)
     3M<C$PR<6^"0+!7K@H-"6(',\X0?Y[:NNJKZK9%&^Q1IX!)/*]6K[W;5W-IG[Z
     4M^>\__K.J*GQ???[Q;]7-Z7BZV^^:FT^SGP)#[BL#+G>'W6E^^VEF?U?W]]7+
     5M/[[L3Y^7^[M#__7N>%J=X@1Z7\77[,XO^_*\_ZU8EX-AXJ[:[XXGM]'KIC\L
     6MC[M?7O;]\OFUZU]WA\VQ^HL;,+_9O]S4U4WG?NZ/[O7QYC:M*N^KW>'T:]^F
     7MM5Y>G[LO[<FN@=-`-1[8?SN]KI9?^]UFZT9[?H[`\GH\Z_#KZM6.9G=W&,61
     8M&-T7DMKG7U[."+(2VA9(P'@T<VMV.+VF.10.)^7P_MO+LGG^<NCB!$PDF`#B
     9M@TU\XKPAP@,'`H1-@(+N[?/7Y?/ZU!_,XJBV_RFJ":HQJ57-:U;3M(()AG%^
     10M6[W\M>N6/_?&$B/#J*]>C[=QD+JK_A/?Z#OCY&C19SLX+D>P)9T;;OPJ]E7U
     11M@X5^J&X^I=PBU([LO_7MEU,_-YLEAEO&2*D.RQ"W/)`/\:UY9US2]=\>TVSI
     12M9G?]:F]^AKGM;^U^U\[]>F"G*,4*M\4RWW5U<M^#G_!8#Q.HDY?].^[^W<\G
     13M$N@AQ[VEMVE_:GT0WSC9_]KM]]5K&F'4_#>^42G:U)@>`Q54'DQQ+"T$,H2A
     14M-(<9Z[]N=_N^FCNKC2NJ^PK',#,"PLQ<?%)60+\Q'J,\N:\S?$YOZ_FJ;NJV
     15M[LRK_<N<W=:?7:[?SG#U9R-#"_-K17%#2(M9)V?$O">$,#7@U./4XDQ(B'.#
     16M,XMK*D6&J]G1O%>(:%5:T?TNK-@?)ZQ8--).)2RSP:'"HM""1:,""O</"]`+
     17M+IC<?$58@WF;.\"CHLWE#ZC*Q1/J%YC<O*W'>2"UMAL^@!`\.A,88\ZP!Q"$
     18M1V<&TY1G#+>,-84KR4G.J$=G#Q:(:S$V:)P2_V>#QMDQ&!33HS`G)DAA3$R1
     19MPI0A2=YPS+0=0Z:4=@RY4MHQ9$OIDI`ODW;4O>\</+=#:$F0RS=LE\6D4[TO
     20MF8R1`T//,-0Q["RC#<,-HK$2HF"XLY5*)-D96[MW9*O)LPE;&]:J#I,>R\Q0
     21M#U,+TQS6`88F-CS"T+Y%7%Q<]N2D=2LL&TS,(H4;+4P=3,>P[@H'#C#/K5MA
     22M,2Q^R3K7QPK[,-6,(9_7(-:^1@I21I*>):DGV02I+6GMQHI*2DJ2^X*2##--
     23MSAD_3M-W9/PX;],N*7-+RU/REF:G_"UM3BE<&@RR^$U?7S`WI?+(T3&;1UZ.
     24M"3UR<<SID;DIK2^86Z]]MQ6YN1P)UZY7V'1K9-80/5L39R_'"-&!PI&R$*>"
     25MD$3I0+'Q+-U)1_%R+T]Q0]G2),R4;DGY<PY16"-V3DWW7:DQF3^AIB$M,S:I
     26M-<:9E(!KBT,=#I<>9_EX/N!004,3#LU?I(W16Z&8-'Z%L3FHB([U91QPHP.>
     27M!\'BTN%L-%YVO"_=/^`T-WZ%4=SXLO&NWQ?F8X0I8K[P8"Z%4D8$(1%9G%A7
     28MSD@2Q@"K!Y:=FQN2*I1UOF_,JT<GCFG-QF0XZG%!%5+G!8Y+Y3L3.*Z>M!&H
     29MGU(=**%2&JBB4A<HI%(4J*5"$:RF*P)V00\HJ7&T8E6-0Q4+:QRG6%OC(,7R
     30M*O6``KNHI][X*X_,]1`AI#NLZ488G[&>KLG&WW(03(1G9&+<30?22`V,&!A6
     31MSA'67,OP\1QN4W'CI2"A1,[0S4P:A%+FKJT9$]J($(J7A\8@LOL((DVE38A<
     32M-"WIJ%F&;U2F,1+"$%!B(+@C6#F#!8+G,V@DH#Y;7HF!^I)5\NT(3HM;*7-B
     33M9&8ELL[%&4(,1";.$=P3;#3#QMP0_,P,&_)<'"!('CR9K'I+G+O.%?*X6<B?
     34M+V&&^K:B&`FW\C!'?5]16&$1.1$Y-IHWY*GO+.4\GZF^M2A,)2DX:CBKU\@2
     35M;,0-C8=2B<<'WB!Z7)4?0/2X2J-H6*:%9EBHA618JH5B6*R%8%BNA=ZL8`N]
     36MH&2OBO`%L:!L2[&@<$NQH'1+L:!X2[&@2DNQL(#+X$I@X46Q]=9?255Y,A#"
     37M_EX)<^-*.](/AP+_X;<PRSO4G0<PHQ%E%O5'`2I40FGO3P'8G)@AZN]N,,.8
     38M9/#:"<),H'SX>C.SJRK_R2+$MTZHQH+S*9W=!]%I*G5"9V=6H!NV%9E.CW*#
     39M0IT690Z%.CN3;AZ%.HTW!ACJ;`$.=3:0`#H7@WW\BF!.BOR=!W.QXH-];XIT
     40MU]=")L&4^/8^Z/1=B""N!YP'W#V#(4HFG#G</85!D@J`T]XW'T+,F3O#PYT4
     41M482PG%C[QD,T0<64M;G@6-%8:E5.VFS#)_B*4HRFM8_K]>-H']=PU!Z+N-`>
     42MR[C0'@NYT!Y+N=">:K/0WD(FT]YD5*8]U?2509\6_KZ"GNK\3>'USE^%=?'\
     43M#!/7C7A#S>DE/+V@VD/,0M2-DG2`:.>42N0?6@0#P@TX<G?9J?M8B5K!R:0/
     44M+<P,U1GL.YCII4KF^'9F!S*N48'O_`?'E",ZK;G[@)I-99_7O-Z0+=UQJ-E"
     45MS$!`\WI#'00TFY._QZ#F/J)`<Y=0J+D%.-3<0`)H7GA3V54AGI+[?D*\6#%O
     46MZA5RW16[$(S-2=\W'B]Y>'BCW'<C'H+J\.D:HTQ$E';A@S6&PNUE,#%T+H24
     47M@G#O&Q?6,EO$*`I]"RF=3QC:EFFFDA6,N519+VBL4,GL0D]C$J%SGPU$;XPK
     48M_"-[8US[T1NA^@MOA`90>"/T@,(;0Z46WN@3GGFC`T3FC18RF3>:C(+>&#K"
     49MU6DQ[8CWG19#K[C"$?63O^IC5)QWN'!MCC6D]0<=B0)`6W_"$20"_ID6U30A
     50MG=--E0:0[XM4"@XPWQ89YG!@:(J,Z!P-+9'(`M[-,'*1HB7QY+\381KF^1N<
     51MX(+N#Q>8OC#A@NV./#'H@NV./C'H@BUQ"'#!)D#`!>L!`R[H(PA<T"44N*`%
     52M,'!!`W'H@H4UFUX9_DGM[S/\BQ6U9E^EW9T62O4<$]_&K'S?!CE#`T1;WP,Y
     53M80D*S]^D$@#K?/^34D$P=#_):8:&WJ<HRN'0^117!1[ZGN*L),S5T/F#"#&B
     54MGGQ?%!)-W@H%QYSI"G\X)IPAIASCFD7N&-<N<L?X>LT=LQE`Z)AU1*%C^@1#
     55MQW0`AXYI(0$=TV1,YAC?/JY/E6F/?"^IXIL*],CPY7GP17^F_9]_V#_?^6)\
     56/<ONI^M/L?[/JQ=42-```
    5757`
    5858end

  • Tst/Long/pMultL_l.stat

    rf8345d r742b12  
    1 1 >> tst_memory_0 :: 967889449:2000090121:1-3-9:ix86-Linux:topgun:171100 968077128:2000081322:1-3-8:ix86-Linux:nepo:19084523   977241883:2000121917:1-3-12:ix86-Linux:nepomuck:167392
    2 1 >> tst_memory_1 :: 967889449:2000090121:1-3-9:ix86-Linux:topgun:725404 968077128:2000081322:1-3-8:ix86-Linux:nepo:106153131   977241883:2000121917:1-3-12:ix86-Linux:nepomuck:725720
    3 1 >> tst_memory_2 :: 967889449:2000090121:1-3-9:ix86-Linux:topgun:20648348 968077128:2000081322:1-3-8:ix86-Linux:nepo:106602496   977241883:2000121917:1-3-12:ix86-Linux:nepomuck:20648664
    4 1 >> tst_timer_1 :: 967889449:2000090121:1-3-9:ix86-Linux:topgun:9783 968077128:2000081322:1-3-8:ix86-Linux:nepo:18748   977241883:2000121917:1-3-12:ix86-Linux:nepomuck:3829
     11 >> tst_memory_0 :: 1276707783:3111-2010061014:3-1-1:ix86-Linux:nepomuck:229296
     21 >> tst_memory_1 :: 1276707783:3111-2010061014:3-1-1:ix86-Linux:nepomuck:673628
     31 >> tst_memory_2 :: 1276707783:3111-2010061014:3-1-1:ix86-Linux:nepomuck:24319444
     41 >> tst_timer_1 :: 1276707783:3111-2010061014:3-1-1:ix86-Linux:nepomuck:2297

  • Tst/Long/pMultL_l.tst

    rf8345d r742b12  
    1010list tst_rgen_comp_orderings = list("", "cc");
    1111list tst_rgen_charstrs = list("3");
    12 list tst_rgen_exp_bounds = list(31);
     12list tst_rgen_exp_bounds = list(127);
    1313
    1414tst_rgen_init();
Note: See TracChangeset for help on using the changeset viewer.