Changeset 31d8dc in git


Ignore:
Timestamp:
Dec 12, 2012, 3:03:49 PM (11 years ago)
Author:
Martin Lee <martinlee84@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
c47a863526a09908b859ec56712e7ecb729f43c8
Parents:
b15cf8578937df382dad415dbfdd2229103409bf
git-author:
Martin Lee <martinlee84@web.de>2012-12-12 15:03:49+01:00
git-committer:
Martin Lee <martinlee84@web.de>2012-12-12 15:53:55+01:00
Message:
chg: added test for tr. 462 and updated test results
Location:
Tst/Long
Files:
3 edited

Legend:

Unmodified
Added
Removed

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

    rb15cf85 r31d8dc  
    11begin 644 factorizeQa_l.res.gz
    2 M'XL("+*]>4\``V9A8W1O<FEZ95%A7VPN<F5S`.U82VLC1Q"^^U<,2PZ21F-U
    3 MO?J1C7P(N01"(&QNB[THR]H(%'NQ%:))R'_/5SW2C+V[@4"R)`=;6--=7=5=
    4 MCZ^^:?3JQV^^_;YI&KIHOOOVZ^;%_F%_OMO^].+EV:OC"E\T$+[9WF[WL_G+
    5 M,W\V%Q?-]>;M_NY^^]N['S9O=N>W[WX]?]AO]J.57#3C6,^;]_=W;YO]NX?]
    6 M8/;0S';;AWVS6S;O[W9]<ST?E>V\^7V<Q'-\58V;=4.33]GEUW?WS6Q[NV^V
    7 MOM9LFZ_6S0,<PMZOZ7(.2=N.^U)PDW%G8I\VONW-HNJ_WEY>[5ZS/^?C0:2N
    8 M]L<XK?[<-.MU<SWI5&=VXYQQTFC!-.6!<>;]]O:FN5_/PG(S7\X.RWZ^W+V?
    9 M3)&UG[>W'C!""B$L-KG=6,LBBTT[Q<_Z:%<D;,CEM!POQJ3-.@HQ)EI)*J'^
    10 M^7Z:347E*-QH^T1I(]T'&B[\:*/Y8G;0/K4S2CFQ0B)%U)^K4LHF=2FF8):*
    11 MQ7P2QE:X<,A:XDEDK=N'DA-Q@GT5*HQC*48&XRJ1R;+.N2,E+L1UUFKD6*)A
    12 MIY("ZXJ(YNY@[+F==<S8)-*&YXN#];F=<;&2(ENF@/_!9ZRG#CX$SBJQF-%)
    13 M'%M3HQR5-9UDUA;3F&-TW:(K(3CMUI2E:(1U59-JJB(P'5SH4,V2S4J=MLRL
    14 M5BQI5"*H8B,XJ>ZDAW)RK,6DCE"K;#C%)U51.OCEL\5!>FF]X(.-S%WBX2>3
    15 M,7SI7241O'^TN>0QUN/B\3"L#)MU4(_&F8\'=UFJ#XN>/<]M/[]B/+D[]"U$
    16 MF/17MCA<49APF1[!%EVS6T\LTLQNT+%/&6()T1F=H3F_/$.+O<%@_3GQ/!S"
    17 ME^O_-ZP'-P5N/H/[\X-[R+8BVVT_C`WC(\P'0;Q<'Y<2ELZ`H(I76OJ'\;$E
    18 MA1'X96H"P:MB>/^!J%-:47!/JY=%R:<;ZP:YI^8D=!UN)WWO/Z(^.A8@+&P0
    19 MIFE\!'QL(X"%L`:9]\TC#12X+C\QX990[1RX)'FZTCY5KEQ+Q0O;H=(<$JJH
    20 MDI.A`%H"1<K!9[%C"@"5CZTK)):+9`(T/$1!*Y2L0%-&42AFAS+&B)99,/"F
    21 M525+*2F%M%(4BW)/.!?'(NK6TLHJ`PAGPG!0*.Z7K+BZ@]IR3=N!4D^^9$%#
    22 MB@$)=@6F*$HQNK>%LP5W%<#+`7P`?ZNU8A^.643J%-X.R.6A.`"TC]`/FM%!
    23 M)H&EBH93%8<B"Z@@ZN`B=>3FHV?))0/>47$X[6BGT!,DR.1*!^>#:P"EHTVI
    24 M)F"Z$B,S(=,X%P$)2$>02Y:H'A3RIQG];M$C@WXN.0KR9^@EJL$E056RQ92X
    25 M'`.$0E&Q0G(,$L4#)H_G=QAE)(LRX;`$JE6/%;6Q=A8E:X1Y8-"F>8&UD%6,
    26 M:@!/!@`B&O9&XAVH1*@&4`1FCH!80@K`IYQP`@=Q(P8O)E@-OH"<G*B\0`05
    27 MSA)BQ8&T(#4P?-2JS@@&![`7'/J`;Q`05(T94,\IDG%B@2N20-LQ9*H9\4@Z
    28 M2;6"BT-RG%-2CMC36RUI*A+J:X!"I?YA;4CFL%S'3O=41]QJ0(R2J#:RGQ`=
    29 M%C6;7C0>D.4V1QE7'938*8]/34W)5,MI#NA-BU4?',EV+%GE5``>78>W3$8B
    30 M`964M?(%&3!BH/(LS!8K8<1`(!WHH$%J7)XS!IW')*7PRA`=:FNH">)`1%KA
    31 MVE*T(&;!"^D2[E+PHN"-ZM,6;[P$OT'&N:"3\:IQ0[A7X:(Z9`N8[LM?W"X.
    32 MN%W@AC%>+N3135OXP\O%]<>7B^M/7"[^`0=/EX?_FHJG^\$S(3\3\C,A/Q/R
    33 MOTO(?^]&?!AOQ/TG;\0VDO6CGXI$S^N/3?Y3TB\/,P)K?W'V)ZS8X"RC$@``
     2M'XL("$.-R%```V9A8W1O<FEZ95%A7VPN<F5S`.U966\<QQ%^[U\Q8!)@=V>'
     3MVW7T99IZ,/)@PT&,P'XS1&,ED\P"#"60*Y!KP_\]7W7/S)*^X"`1H@=)D':F
     4MIZKK^NKHF:^_^>L7?^^ZCEYT?_OBL^YD?[\_O=F].CES7X]/^$6'Q>]VM[O]
     5M8GGF[+=[\:*[VK[>O[G;_7#YC^UW-Z>WEP^G]_OM?N:2%]U\K:?=V[LWK[O]
     6MY?V^L=UWBYO=_;Z[67=OW]P<NJOE3!Q.NQ_GFWB*_RK%]7E'1YVRK5^]N>L6
     7MN]M]M[-GW:[[]+R[AT+8^UMZN<1*W\_[DC>6>6=BN^ULV^M5I?]V]_+BYENV
     8MW^4LB-3(?IIOJS[7W?EY=W6DJ<K<S/<,23,'T]$/#)EWN]OK[NY\X=?;Y7KQ
     9MN#XLUS=OCZSPVK]VMV8P3/+>K[:YWX:>15;;_F@_ZY-=X;#FR^/C^&)VVF(@
     10M'V.BC:3BZQ_;3W-041D7M]H_(]K*\#,*6_S%1LO5XE$/J5]0RHD5*U)$[7=3
     11M2MFF(<7D0T@EQ#PMQEZXL,]:XK04>N/W)2?B!/ZZJ&".I00*8*XK<N2L]SR0
     12M$A?B>M=KY%ABP$XE>=8-$2U-P7C@?C$P8Y-(6UZN'L,A]PLNH:3((9/'OZ8S
     13MGJ<!.GC.*K&$0--R[(,&RE%9T[06^A(TYAB-MNA&"$H;-V4I&L%=R:2RJ@A8
     14MFPH#HEER"*7>]LRLH82D48E`BHV@I)J29LJD6(^;>H58Y0`I=E,)98!>=K=Z
     15ME(/T%O#&(TM;,?-3D-E\.1A)(FC_9'/)LZWCPU$8GK3-!I#'P)E'P4.6JL/J
     16MP.;G_K"\8/SR\'CHL82;PT58/5Z0/^(R/8$MLN;F_%A%NL4U,O9YA5ACR9%#
     17M<G[BD&+?X>+\?>*Y">&7YQ\VK)N:`C4_@OO]@[MY6^'M_M"N`ZY'F+>%^/)\
     18M?)3PR`%!%:^TMK^,OV%-?@9^.2:!H%6T_H="G=*&O&E:M2Q*=KL-0ULWUTR+
     19M1L/]D=[RC^@0#0M8+!RPF([7(^!C'P$LF-76+&^>4"#`]?$S%NX)T<Z>2Y+G
     20M3_KGQ+764K'`#H@T^X0HJN04$``MGB)E;W=Q8/(`E5V'H9"$7"03H&$F"E*A
     21M9`6:,H)",1N4<0UKF047EK2J%%)*2CYM%,&B?"#(A5A8W8>T";4""&?"92,H
     22MII=LN*J#V')UVR.E`]FCX-6GZ.%@(V"*HA2C:5LX!V^J`GC9HQY`W\JMV(=C
     23M%I%Z"VT;<KD%!X"V*^2#9F10$,]2EYI4A5!X`1%$'&Q)#;EYU"S92L,[(@ZE
     24M#>WD#X05>'*C37EO%$#IS%,J"RI=B9&9X&G(A4&"HB/P)4M4,PK^TXQ\#]$L
     25M`WTN.0K\%Y!+5(U+@JCD$%/B,AH(@J(2"LEH)(('3([R!UQE.(LR05A"J56S
     26M%;$)_2)*U@AVSRB;P0*LA4+%J'K420]`Q("]X7@#*A&B`12A,D=`+,$%J*><
     27M((&]&!.C+B9P-5U0G*Q068`())S%QXH#Z5'44.&C5G*&,1#`%G#0`[Y>4*"J
     28MS8!Z3I$")Q:H(@EE._I,U2-FR2"I1G#UF`SGE)0C]K142YJ*^-H&R-?2WYXU
     29M9[;']=K*/=4K[M7#1DE4$]DD1(-%]:8%C1NRC&=<XTJ#$%O)XRFI*075,MT#
     30M>L>'E1XUDL,8LEI3`7AD';I,AB,!E92UU@L*P$A`*<_"'&(M&-$3B@YHD"#5
     31M+O,9HYS')*7P)L`ZQ#8@)K`#%FF%:T\Q>`G!6R!MA8?D+2CHJ';;H^,EZ(UB
     32MG`LR&:W&&*%>A8MJ\Q8P?2B_,5T\8KK`A#$/%_)DTA;^^7!Q]<OAXNI7AHO_
     33MH@8?AX?_=RD^S@<?"_+'@ORQ('\LR/_;@OS')N+'>2(^_.I$'.9B_>15D>AI
     34MM]GL[TZ[/^'DT[TZ=-=O[GZXO)F?A^D5R@-)AZ'9KQ^6Z\4WZ_HFY?NW9\>=
     35MXOPJQ>@>+G1XN)">5P\7"/3JH9?C6QYY<BZ5/([DG]]>O@/GO%Y..QQF93A<
     36M6-(/,:QL/[C3=AS@OM4#`A:7JV_LT$M(L4J!BEI%HO9"*(J/$1PJP2#E^1YB
     37M>N%NW,,#5_G9'N)-\>+'/;SID>LF*.*I$=EARU2)J,:@JYVR%EL[M6ZD2L1Y
     38M3=HU$B][K==#3CDWCD/C",B=2H_ZZV.EQD$VV?:H]R5/V]<>$U%.&C'Z877S
     39M`.`67`UJR)QVKL0*I#7BZ,-(C/,Y/#8(X]`Z[9RJ&CZ,.VO.(S&:3[*=45/]
     40MM#.(Q6><>*M#P"4Y5Y?4>FKNST"\U,VE;:[H']S\)TG\B(YB7=",#.@5(WG=
     41M7@/C#%SIB0KZ<74A3KD%R6$N1"O$D7\2@"D@9+BZ10@%T4[ZC2/@B&QA'ZQK
     42MSR+:V(`2%YM.;&\**D."!Z,Y7A!&'*8G$<A-&(7FTD1@-D!7J1Q8!"0,,!RA
     43M`TTR@O4P05W'Q-'0@`,QFKCH"`BU'H468+>`'/(0$35N;?)"!$5I&J*-`!G-
     44MR\5;B:D"4;\*1HS&U$3"\V@L51[J"\:1*JN^Z\CF.<4,XM-L%^HN&DY4:78!
     45MY7$,IB`+4`ZK75&2G^P"!V,X0OUN.</V\D*U,6$TB5XH&P80(X!@M@A\Z#!0
     46M/K;40-Y`J:8=^I^@*X/+:K(-29-)X()GLO6DAK:,OH..UO+4HYFA:"-T?2%B
     47M>#M/XE`[X-`$F%9Q"9Y4/^5_LEYJ'H09A=%3)W%6<=!?,9:AB4U)7'P@ME<Q
     48M+6Y`%\S5S#6916"'<$NET`0/13/DQ18&9"RBCI;>A&/^0Q>Q-`'N`FPEU<9;
     49MQ6/6((Q6#?QX*`EZ-VL9M0":<(4+>BP2:;+66IT-+DE'I"'?I9INU<'G6.LF
     50M'%8PM?#17GNO@]RV\<9/,*TSFY<R%2ZT670YFV&:P;`?C8\G>VT+LA5S1"L?
     51MF'%*P.35Q$LQ5$08,22,1QBV.$\&@SEBTJJQ-RP%A`.MN158&['$0(\]?$F4
     52M=307!0*4F$JGT(*R(0G566R.@:T8]"!UPI\-F?;>"0GG1Q=YCXF-&R2@/NBA
     53MG,&]0!W,9&FTL-H7\1Q@:O9!+5^J1\T^0"P`H+4L819`$0RC<PX&>0"%T.HQ
     54M##0$8_K`Q%ELJ&Y+J%)()M,MC%0H>H1=#)J;6N2B:8&Z)G"^;]``UFT@;1F$
     55M\Q%&/$UF^(#I`[U&*#;.^J8.>V%(3#Q!6@D%&2B>("VHK"C!+<)D@S^J0C4"
     56M<@$9"F5B'G)&&*.]'VQ5&7%)8@K7PH;T0/1+:*".<^]7?^S]2J?':QPA[=O2
     57MJW?7KV_WZ]V1`>-*^_)T3F>[3\^#/[/O3$=&??(!2X-]&WK"G.K]5;>P#U6+
     58M^8"ZL&EC3<OEI[SL?NQ.KK:[F\OO3\Z:]+X_FS\H:;&O2^38B5,77'3)95<<
     59M>4?DB!V)(W44'$5'R5%V5!Q[Q^!AQ^)8'0?'T7%RG!T7)]X).<&6XD2=!"?1
     60M27*2G12GWBDY9:>0J$Z#T^@T.<U.BPOSB\T`3YIE3>=JQF?OKKN'W?Z?QY/X
     61M)]W)>G3IR5^ZA[LWM]<G9S]UES?WE\;PU9<G9S#OJR_G39^$)"`DO^?Y(/#\
     62M\4Z?NS[$WW#]_;M7]_L6@,<U>L_Z@/\/R\VKW34`L)`E!KX_%)J0/]C0E/<0
     63MFNB/H8GT^Z&)_#0T49Z')H8_$AKK<Q8<^STL5_]Q>&+Z4,,3\_L(3SF&)R%4
     647]@W?OM"_NU_0\JS[L_LWO<C_G/H?````
    3465`
    3566end

  • Tst/Long/factorizeQa_l.stat

    rb15cf85 r31d8dc  
    1 1 >> tst_memory_0 :: 1333378481:3143- exported :3-1-4:ix86-Linux:mamawutz:5349524
    2 1 >> tst_memory_1 :: 1333378481:3143- exported :3-1-4:ix86-Linux:mamawutz:10117120
    3 1 >> tst_memory_2 :: 1333378481:3143- exported :3-1-4:ix86-Linux:mamawutz:10117120
    4 1 >> tst_timer_1 :: 1333378481:3143- exported :3-1-4:ix86-Linux:mamawutz:4394
     11 >> tst_memory_0 :: 1355320642:3150:3-1-5:ix86-Linux:mamawutz:69009584
     21 >> tst_memory_1 :: 1355320642:3150:3-1-5:ix86-Linux:mamawutz:73228288
     31 >> tst_memory_2 :: 1355320642:3150:3-1-5:ix86-Linux:mamawutz:73228288
     41 >> tst_timer_1 :: 1355320642:3150:3-1-5:ix86-Linux:mamawutz:13315

  • Tst/Long/factorizeQa_l.tst

    rb15cf85 r31d8dc  
    2525l= factorize (f); testfactors (l,f);
    2626
     27//tr. #462 by gorzel
     28ring rw13 = (0,w),(T,x,y),dp;
     29minpoly = (w^4-w^3+2*w^2+4*w+3);
     30
     31poly Hneu =
     32x^13-y^13+(-65*w^3+117*w^2-208*w-156)*T*x^11+(65*w^3-91*w^2+143*w+234)*T*y^11+(-39*w^3+117*w^2-234*w+117)*T*x^10+(78*w^3-91*w^2+130*w+390)*T*y^10+(-689*w^3-2171*w^2+5746*w-16107)*T^2*x^9+(-16705/3*w^3+32435/3*w^2-58045/3*w-8788)*T^2*y^9+(-15210*w^3+21606*w^2-34476*w-57798)*T^2*x^8+(-16614*w^3+28002*w^2-47892*w-43992)*T^2*y^8+(-14547*w^3+26052*w^2-45435*w-32058)*T^2*x^7+(-15054*w^3+24882*w^2-42237*w-42120)*T^2*y^7+(308581*w^3-505388*w^2+854893*w+883038)*T^3*x^7+(47242*w^3-237302*w^2+499135*w-553488)*T^3*y^7+(452270*w^3-1191463*w^2+2291003*w-644709)*T^3*x^6+(582439*w^3-1362920*w^2+2555917*w-92508)*T^3*y^6+(-270816*w^3-229515*w^2+799266*w-3670641)*T^3*x^5+(883662*w^3-1973829*w^2+3661710*w+262431)*T^3*y^5+(-4396327/3*w^3+19510634/3*w^2-40530178/3*w+13462280)*T^4*x^5+(5640596*w^3-6386068*w^2+9065030*w+28409901)*T^4*y^5+(-830401*w^3+974207*w^2-1412983*w-4036071)*T^3*x^4+(760643*w^3-1689688*w^2+3130322*w+266370)*T^3*y^4+(20294378*w^3-26643448*w^2+41060318*w+86440380)*T^4*x^4+(5279066*w^3+3610412*w^2-13593424*w+67843698)*T^4*y^4+(34683727*w^3-58690697*w^2+100467835*w+91123968)*T^4*x^3+(6227858*w^3+7596407*w^2-23720320*w+94392402)*T^4*y^3+(-269815676/3*w^3+390512551/3*w^2-629448482/3*w-331043258)*T^5*x^3+(-94859661*w^3+166063209*w^2-287546493*w-225369144)*T^5*y^3+(31413330*w^3-69137640*w^2+127795122*w+13769730)*T^4*x^2+(2733874*w^3+19260358*w^2-47086208*w+109961202)*T^4*y^2+(-421494307/3*w^3+945300395/3*w^2-1755321490/3*w-36293842)*T^5*x^2+(-193843104*w^3+274995669*w^2-439410660*w-737414028)*T^5*y^2+(6677424*w^3-25392744*w^2+51796368*w-43097184)*T^4*x+(4253080*w^3+7591792*w^2-21735272*w+74806680)*T^4*y+(-52820170*w^3+190018127*w^2-384748741*w+294246537)*T^5*x+(-196474785*w^3+296309208*w^2-485858373*w-671785452)*T^5*y+(5248218976/27*w^3-12863190080/27*w^2+24372820576/27*w-1115453924/9)*T^6*x+(136336200*w^3-396591312*w^2+776924772*w-355580316)*T^6*y+(-153999872/3*w^3+341724448/3*w^2-632914880/3*w-18505760)*T^5+(196115972/3*w^3-887376100/3*w^2+1847311544/3*w-624999544)*T^6;
     33
     34
     35int bugcnt,i;
     36for (i=1;i<=50;i++)
     37{
     38  i;
     39  if (size(factorize(Hneu,1))<2) { "failed";bugcnt++;}
     40}
     41if (bugcnt) { "Bug with factorize: ",bugcnt,"% wrong";} else { "OK"; }
     42
     43for (i=1;i<=50;i++)
     44{
     45  i;
     46  if (size(factorize(subst(Hneu,x,3*x,y,3*y)/bigint(3)^13,1))<2) { "failed";bugcnt++;}
     47}
     48if (bugcnt) { "Bug with factorize: ",bugcnt,"% wrong";} else { "OK"; }
     49
     50for (i=1;i<=50;i++)
     51{
     52  i;
     53  if (size(factorize(subst(Hneu,x,1/3*x,y,1/3*y)*bigint(3)^13,1))<2) { "failed";bugcnt++;}
     54}
     55if (bugcnt) { "Bug with factorize: ",bugcnt,"% wrong";} else { "OK"; }
     56
    2757tst_status(1); $
Note: See TracChangeset for help on using the changeset viewer.