Changeset 37f64cb in git


Ignore:
Timestamp:
Nov 10, 2014, 2:11:54 PM (10 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'fc741b6502fd8a97288eaa3eba6e5220f3c3df87')
Children:
15fcb38bebbcb70530db90de874d580d783a12b9
Parents:
fe24d605f70f42e77d679a658b67497779c85ae7
Message:
fix: tr.#666: factorize
Files:
3 added
3 edited

Legend:

Unmodified
Added
Removed
  • Tst/Short/absfact.res.gz.uu

    rfe24d6 r37f64cb  
    11begin 640 absfact.res.gz
    2 M'XL("#S)Z%(``V%B<V9A8W0N<F5S`.V<6V_CN!7'W_,IB,$"*UE20A[>I`WL
    3 MAVW18H&B#Y.\+28#.;%WC*9)$&L:*9^^A[Z0=$1)=KHS#QUE,([$FR6=__GI
    4 MD#K*U?5??_LG(83-R#]^^Y5\J-;5^?UJ_N'R[&I7`S."A9]7#ZLJBB_/S&\R
    5 MFY%ROEZ6M]7YP^+E?%V5E6W/9\1NB_/MJ/O&AR-+KZ4Z)\^KAS_(1S(E$8U3
    6 M$M5I@[_NGUQ[/2/K+X_/U9105YC/R-/C?4.>3,=,3^H;(`F!23UI-EMJ4N-G
    7 M<R/PDXE=H=#Q))(U)`W$-WP2U5D3WP@W:#$C=XLEN<(Q\=#_AH?^^+QZ741/
    8 M,;D\.[NX(#_[Q3^3V^=%62WN2+DYB92L'LC+E]7M%RRX7ZTK,\CC_==J\7FY
    9 MZ;,F4?5E8<;95Y!=14Q6:[+&K<7=N:F_?B3E[>UBO2;883O6X[+5*R55\[0@
    10 MT6JY:?90_GN!Q_Y2KDFY7J_^>%C<F;&JQTWM\Z+Z^OQ`_E/>?UW$OYB*W<]Z
    11 M49FCCZ[BR]8!7YX1:RM&9WY;6\P"YF$P"XSU._OT"PY(/N/&E%T`8R"W^_!I
    12 M&F5HIC)A13RI$\:-Q1)CV#(I1+QMQ3]-)59&93QIMB7BTQ1M>(;]-P.SE*4\
    13 M%6?8TGT1-G=?@N/=0*8F989:L*-&6)C(V(YINN#O[9A@3XK;"T`^NE,56]%<
    14 M'VKFU[_\G:!N`K+!FA]-.=)=N&MWX51(.'I8.-::69TTSH99:93CA!$!6IGQ
    15 M3:'1DK&IU8E`G;`>G91]XD`%;;1J)!202>[XQHIS\J_5_;VG%T`W&D(>A'P*
    16 MP$?>CF*NEO>Q"VTVF:`AL06"'+_\"O=_>**!"!(-9.CJJT%A2E\^DS=<ZM/:
    17 M5E][)5DA@0[Q!O)^WK1,?1TT]8]'(2A"%.(T8&S.3J"0!<__9FT.#AN<M[#!
    18 MQ3`V>$BX7/5A@V]YZ^$BU=H0H\2C3+.Z3)JTM(WS64!SIL/E660ZQ.G^8GB=
    19 M"G=>@K;.2[#A\Q(0."_!#\]+9'AN_JD),1+Q5!\1,DA$$;I5B^%;=>:0:'"X
    20 MOZ/Z=^GZ('AC*1Q[4PY':\(>71Z"IRA&>+Y+&)*&X"E#<8H<COU]77@A7/8]
    21 MA"&]B:H4N^GG\Y2FR)TJ3N\<=J3<$V9:WX@DJFYX!A4&?U`AXW`'2Z0I$=FV
    22 M-&.FW!)=XN36_IC&*A/8(\$.B<+!$C.8H:6K,H,EPM29*G<DN@MEZ8?UAY!N
    23 M1YJ9RY8':2:+88&ZVWL-E4SJ2F4UKWC&U`0+1,8HB$E=R:Q2"6[P"K"-2#;%
    24 M6%J+!$QIAHTA`=-KVQF[@AG!=*IP(HJM.3;**N@)']:>U-?>E&-_0LISSF=[
    25 MFHIUL0YE0SIT,_)N=_$@Q#O%_]^4(QP,E=P%9YZ$U,SGXP$=E;9T=.Q7>6?,
    26 M-4*J0VE%$%*:#DJ-.L.W[XU[4U,[(`M!0D,W)$8^=%M-\Q`?M/BSC>:ME6O5
    27 M\D^MN_U3VQ7RJ;Y@S)5W+W*/+AHV=AY>^<Z'5PG,E3_)X#F$O#3GHY>^RW`B
    28 MY*6Y_`9V4\Y1<]URU#RWCAK1M$SG<;I=YO`<-B\"-]2"CMYZHM$+%O368GA:
    29 MVLWFVX#)"QYRU:+S<=#HJKU6"SXC*H97W4\TFG9^6N0M/RV*03]EE%H_C<J$
    30 MQ1=S5\5&;SW-[CCM"7DKH\,SK>W%C^;Q*0)@5`2\EE$Y>NV[K*<"7LOH\,KP
    31 M.XWG'JTR6KSU7L;HL/>:=(5#[YW4KA+&=;9WJ,!+C/!]F`W/AIP,[*+)^U<S
    32 MF)]GX*E"]:R#C<M@_9;5(?]F^?<VK'N&R("V_![8L-^[[`GG]R8US#7H3*`8
    33 M?;]'(>$<"@;#<RQV((^-4<RS$/^6<+)00(4(`'HDP+OMFX<(`,./4+Z%>4VR
    34 MAMUF+0Z8%(HA#G`>Y$#C&G2F#8P<Z-$)#V8.,#X\@>L4RJ0OI690*CI$`MZ9
    35 M/#628-#"H?PI)H:?4WP;`YO$(;L-^S1RMGV0?^CS-E5H.8V\Y&^^V9*X)1(1
    36 MWX!KOT<`(],#!"Q#^;P_F`P.4H28\W1QA*=[61\F4<Q+"'*[8K/K4KPE[AM+
    37 M>5(!_,=3V9<0`AF4"?AI(9!X)6);PF+['0<IWX4]*3\%T\6*HALCRQ$A/=H)
    38 M(D0>@1"GG(T6K%G?)GW[2I)VUTE'HG#@^%PB)Q'1TI#T==:6CO3X)"V?.$85
    39 MU.8X>HR2EE&F20V-2!J50,T;_-*Z$9E&2FF3X9@P@94*+X2J<4]@(7XT#E]R
    40 MCZ\#>)%HR<?HI4.8TELYN'(7\IC@A:G"QYH#%PK(O,9BWF)A8O]B2Y3I[0LM
    41 M!\EMO22S$C2*U*@XM7UYY6UF&Y,^K+@["PNK-_#I4L1(J]V%"])*G4*KC?61
    42 M$$QOC8];,F[3ZW@Q9$R5B8(6HUIB4!Y^U!X_S[`+C]+7].4@1%)O0Z3D%6,C
    43 M2%Z$:^(F1JV@:*1*2$`J/"=2QV!%6*N;K*\$#$A@\HIZ@DT`_=*7]N5K1J!`
    44 M$#^!5PZ8\N=([OZA>H`Q\J+'W$%>')'(Y;U+4N*](C8&WVTU=@M-?[3-35B2
    45 MFUN.#EA=>V30E@RL>\E$^TLF/"MAGH`NYSP#/1?Q!4[HYG)WS*A1/>=XV*YS
    46 M]UL8(S;".M)A;.AA;%@#[(SBZVJ^,]'&6'T3[UNOVVU@XJU]:K@YD>ZFQO@(
    47 MM<_:06KDP]3X+L;./5CD%A:\*XS(@V&$2%YRUT1L_["`^>,!7]>1TW<NQ_CB
    48 M-.F8I+/PI=1!@N3#S^W8!9<%6EHH`,$*R"47DA=2TB*G(N>%I@R$5OB?,0P)
    49 MI1)8(P6E2@%%1EDY98)C7PH4.V'(HP4JLEW6!,I,D*.%$KE4'/"&HZAF`O`K
    50 M3/@+5"M1:"@HWN!,UUS07.'!L;PX(2H"J4J1F4^>:6Z^!\/HHF"4%LS,Z!6.
    51 MJ62N&!2!X#KW?/;9S;1,LE[0'@4;(ZKW"+R`K@L:2K]FQ7#"@9FO:ZV!*0^7
    52 M/"LV+"TQHMF!\["H:1>A2)4X7F\H-M053Z0P(C;:Y3PTAR]<PC<K_#^.LELT
    53 M2E]WRT8MS7PTFMGWW+^;L<2>C4`(9PU,(I;5X%W#KG<U1N!VZK$(+!,!/6G]
    54 MTJS@-2+;W!J/%4_[Q@S4>YWCHSL4&$'S#L,"#?$$Z!$\^?,-ZP@`%`G@\8_%
    55 -ES^=_1?Y-J19NDD`````
     2M'XL(".:W8%0``V%B<V9A8W0N<F5S`.V<6V_CN!7'W_,IB,$"*UE20A[>Q`WL
     3MAVW18H&B#Y.\+28#.;%WC*9)$&L:*9^^A[Z(=$1)=KHS#QUE,([$FR6=__GI
     4MD#K*U?5??_LG(83-R#]^^Y5\*-?E^?UJ_N'R[&I7`S."A9]7#ZLRBB_/[&\R
     5MFY%BOEX6M^7YP^+E?%T69=.>STBS+<ZWH^X;'XXLO9;JG#RO'OX@'\F41#1.
     6M252E-?ZZ?W+M]8RLOSP^EU-"76$^(T^/]S5YLATS/:EN@"0$)M6DWFRI286?
     7M]8W`3R9VA4+'DTA6D-00W_!)5&5U?"/<H&9&[A9+<H5CXJ'_#0_]\7GUNHB>
     8M8G)Y=G9Q07[VBW\FM\^+HES<D6)S$BE9/9"7+ZO;+UAPOUJ7=I#'^Z_EXO-R
     9MTV=-HO++PHZSKR"[BIBLUF2-6XN[<UM__4B*V]O%>DVPPW:LQV6K5TK*^FE!
     10MHM5RT^RA^/<"C_VE6)-BO5[]\;"XLV.5CYO:YT7Y]?F!_*>X_[J(?[$5NY_U
     11MHK1''UW%EZT#OCPCC:T8G?EMFV(6,`^#66"LW]FG7W!`\ADWINP"&`.YW8=/
     12MTRA#,Q4),_&D2ABW%DNL88O$B'C;BG^:2JR,BGA2;TO$IRG:\`S[;P9F*4MY
     13M*LZPI?LB;.Z^!,>[@4Q-B@RUT(P:86$BXV9,VP5_;\>$YJ1X<P'(1W>J8BN:
     14MZT/-_/J7OQ/434`V6/.C*4>Z"W?M+IP*"4</"Z>Q9E8EM;-A5ECE.&%$@%9F
     15M?%-HM61MVNA$H$Y8CTZ*/G&@@C9:M1(*R"1W?&/FG/QK=7_OZ070C8:0!R&?
     16M`O"1MZ.8J^5][$*;329H2&R!(,<OO\+]'YYH(()$`QFZ^FI0F-*7S^0-E_JT
     17MMM777DF-D$"'>`-Y/V]:IKX.FOK'HQ"8$(4X#1B;LQ,HU(#G?[,V!X<-SEO8
     18MX&(8&SPD7*[ZL,&WO/5PD6IMB5'@4:99521U6C2-\UE`<[;#Y5ED.\3I_F)X
     19MG8P[+T%;YR78\'D)")R7X(?G)3(\-__4A!B)>*J/"!DDH@C=JL7PK3IS2+0X
     20MW-]1_;MT=1"\L12.O2F'HS71'%T>@J<P(SS?)0Q)0_"4H3A%#L?^OBZ\$"[[
     21M'L*0WD15BMWT\WE*4^1.&:=W#CM2[@DSK6Y$$I4W/(,2@S\HD7&X@R72EHAL
     22M6YHQ6]X07>+DMOFQC54FL$>"'1*%@R5V,$M+5V4'2X2MLU7N2'07RM(/ZP\A
     23MW8XTLY<M#]),FF&!NMM[!:5,JE)E%2]YQM0$"T3&*(A)5<JL5`EN\!*PC4@V
     24MQ5A:B01L:8:-(0';:]L9NX(=P78J<2**K3DVRDKH"1_6GM37WI1C?T+*<\[G
     25MYC05ZV(=RH9TZ&;DW>[B08AWBO^_*4<X&"JY"\X\":F9S\<#.BK=T-&Q7^6=
     26M,=<(J0ZEF2"D-!V4&G6&;]\;]Z:FS8`L!`D-W9`8^=!M-<U#?-#BSS::MU:N
     27M5<L_M>[V3]VLD$_U!6.NO'N1>W31L+'S\,IW/KQ*8*_\20;/(>2E.1^]]%V&
     28M$R$OS>4WL)MRCIKKEJ/F>>.H$4V+=!ZGVV4.SV%S$[BA&CIZZXE&-RSHK69X
     29M6MK-YMN`R0T/N:KI?!PTNFJOU8+/B,SPJON)1M/.3TW>\E-C!OV44=KX:50D
     30M++Z8NRHV>NMI=L=I3\A;&1V>:6TO?C2/3Q$`HR+@M8S*T6O?93T5\%I&AU>&
     31MWVD\]VB54?/6>QFCP]YKTQ4.O7=2N4H8U]G>H0(O,<+W838\&W(R:!9-WK^:
     32MP?P\`T\5JF<=;%P&Z[>L#ODWR[^W8=TS1`:TY??`AOW>94\XO[>I8:Y!9P+%
     33MZ/L]"@GG4#`8GF.Q`WELC&*?A?BWA).%`BI$`-`C`=YMWSQ$`!A^A/(MS&N3
     34M-9IMUN*`3:$8X@#G00[4KD%GVL#(@1Z=\&#F`./#$[A.H4SZ4FH&I:)#)."=
     35MR5,C"08M',J?8F+X.<6W,;!-'&JV89]&SK8/\@]]ODD56DXC+_F;;[8D;HE$
     36MQ#?@VN\1P,CT``'+4#[O#R:#@Q0AYCQ='.'I7M:'313S$H+<KMCLNA1OB?O6
     37M4IY4`/_Q5/8EA$`&10)^6@@D7HG8EK"X^8Z#E&_3G)2?@NEB1=&-D>6(D![M
     38M!!$BCT"(4\Y&"XU9WR9]^TJ2S:Z3CD3AP/&Y1$XBHJ4AZ>NL+1WI\4DV?.(8
     39M5=`FQ]%CE&P899M44(ND5@E4O,8OK6J1::24MAF."1-8J?!"J`KW!!;B1^WP
     40M)??X.H`7B99\C%XZA"F]E8,K=R&/"5Z8,C[6'+A00/8U%OL6"Q/[%UNB3&]?
     41M:#E(;NLE62-!JTB-BE/;EU?>9K8QZ<.*N[-H8/4&/EV*&&FUNW!!6JE3:+6Q
     42M/A*"Z:WQ<4O&;7H=+X:,J2)1T&)42PS*PX_:X^<9=N%1^IJ^'(1(ZFV(E+QB
     43M;`3)BW!-W,2H%12-5`D)2(7G1.H8K(C&ZC;K*P$+$IB\HIY@$T"_]*5]^9H1
     44M*!#$3^"5`Z;\.9*[?Z@>8(R\Z#%WD!=')'+9FXCGY)F*K<FW&_5^`TTOCK>Z
     45M)04*14+`[-I#@V[0P+K73+2_9L*S`N8)Z&+.,]!S$5_@C&XN=X>,(M5SCH?M
     46M.G>_AC%R(RPD'>:&'N9&8X"=47Q5S7<FVABK;^9]ZW6[#<R\M8\--RG2W=@8
     47MGZ'V63N(C7P8&]_%V+D'B[R!!>^*(_)@'"&2E]PU$=N_+&#_>L#7=>3TG<LQ
     48MP#A-.C;K+'PI=9`@^?"#.W;!I4%+"P4@F(%<<B&YD9*:G(J<&TT9"*WP/V,8
     49M$THEL$8*2I4"BHQJY)0)CGTI4.R$,8\6J,AV61THLU&.%DKD4G'`&XZBF@G`
     50MK]C<U:A6PF@P-"\2VS47-%=X<"PW)X1%(%4A,OO),\WM]V`<;0RCU-@;)R@<
     51M4\E<,3"!Z#KW?/;93;5LME[0'H:-(=5[!&Z@ZX*&\J^9&<XX\-[;1<N;#4(+
     52M#&1VO#PLJMM%J,WC@S!A@S">2&&%:_6:0T!,QB5Y,^/_093=0E'ZNELJ:LGD
     53MHY7)ON?^?8PE]JP%<C>K81*QK`+OLG6]GS$RME.")K`T!/2D-4N[:E>+;',W
     54M/%8[[7LQ4.\5CH_N4&!DRSL,"S2$$*"G(.1/,ZPC`%`D@(<\%E_^=/9?JOYY
     55%QJY)````
    5656`
    5757end
  • Tst/Short/ok_s.lst

    rfe24d6 r37f64cb  
    2323bug_tr664
    2424bug_tr665
     25bug_tr666
    2526bug_genus_etc
    2627facstd
  • factory/facFactorize.cc

    rfe24d6 r37f64cb  
    279279  A *= bCommonDen (A);
    280280  CFList Aeval, list, evaluation, bufEvaluation, bufAeval;
    281   int factorNums= 1;
     281  int factorNums= 2;
     282  //p is irreducible. But factorize does not recognizes this. However, if you
     283  //change factorNums to 2 at line 281 in facFactorize.cc it will. That change
     284  //might impair performance in some cases since you do twice as many
     285  //bivariate factorizations as before. Otherwise you need to change
     286  //precomputeLeadingCoeff to detect these cases and trigger more bivariate
     287  // factorizations.
     288  // (http://www.singular.uni-kl.de:8002/trac/ticket/666)
    282289  CFList biFactors, bufBiFactors;
    283290  CanonicalForm evalPoly;
Note: See TracChangeset for help on using the changeset viewer.