# Changeset 2bd45fc in git

Ignore:
Timestamp:
May 21, 2014, 4:26:43 PM (9 years ago)
Branches:
Children:
cdb69cbf8fbe6c0d249a439d3049448352edd0b0
Parents:
fff643cc11aac90dbe5f19791aac378c1eef37bb6c524f33f553f9d0a11c9984e32c98732e50abb5
Message:
```Merge pull request #589 from surface-smoothers/test.for.emtpy.charseries

added a test for empty char series```
Files:
27 edited

Unmodified
Removed
• ## Singular/LIB/ring.lib

 r6c524f info=" LIBRARY:  ring.lib      Manipulating Rings and Maps AUTHORS: Singular team PROCEDURES: hasGlobalOrdering(rng)   global versus mixed/local monomial ordering hasMixedOrdering()       mixed versus global/local ordering hasFieldCoefficient(rng) coefficients are a field isQuotientRing(rng)      ring is a qotient ring isSubModule(I,J)         check if I is in J as submodule "; { ring rng = integer,x,dp; hasFieldCoefficientRing(rng); //no hasFieldCoefficient(rng); //no // if a certain method supports only rings with integer coefficients, // then a parameter test could be performed: return (size(rl)==4); } example { ring r=0,(x,y,z),dp; hasCommutativeVars(r); } proc hasNumericCoeffs(rng) else { return(size(reduce(I,groebner(J),1)==0)); } } example { ring r=0,x,dp; ideal I1=x2; ideal I2=x3; isSubModule(I1,I2); isSubModule(I2,I1); }
• ## Tst/Buch/Example_4_6_26.res.gz.uu

 r6c524f begin 644 Example_4_6_26.res.gz M'XL("/KI;%,``T5X86UP;&5?-%\V7S(V+G)E%D\M`)E M;1EJ"!R,'I8X#YLW,PENC6NRK]`NX\^WE%)FHK\$'^M+W^WCOE2[?GF:O`\$`+ M>)D]PE@K37;R%74B_O MC"RYU_/Y7H-.KC0"A^<6['NAYL+VE:YE`_-\O:WJ4HE:"H5F5QAS=6XBRQS9 MD6!LOI00;@<3Q_H(2@C06P&U4.>=AHO46Q-'7H1?&Q MUF"D6IGU]JC\$`8[U1K3>7B8I8)Z-YN\TI*L*:'?.C5"/M\.D7H=%G4-D)=@/3Y<*J+=.N@P/Z*3'N"AP?%-"5\#@ ISSK_H1/W*_A"?";QI?3#F`Z/@YK?MGU?[>,Y*\/,;D;?/=8PWY4#```` M'XL("(%[?%,``T5X86UP;&5?-%\V7S(V+G)EY+4!N1+4#F.=1@RB>-(CAP\$5)&W\$<>OD=`3\&><3L],&LVM9%="BZ_[6H MQSLC6]SS?+YGT.D5(W!Z;L7^+-1
• ## Tst/Buch/Example_4_6_26.stat

 r6c524f 1 >> tst_memory_0 :: 1399646713:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:175096 1 >> tst_memory_1 :: 1399646713:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:2240344 1 >> tst_memory_2 :: 1399646713:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:2281316 1 >> tst_timer_1 :: 1399646713:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:18 1 >> tst_memory_0 :: 1400667008:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:175096 1 >> tst_memory_1 :: 1400667008:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:2240344 1 >> tst_memory_2 :: 1400667008:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:2281316 1 >> tst_timer_1 :: 1400667008:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:12
• ## Tst/Long/primdec_l.res.gz.uu

 r6c524f begin 644 primdec_l.res.gz M'XL("+O9(E,``W!R:6UD96-?;"YR97,`[%U9CR,YKJVIK>'6&!KB23C`Q^ M#,;%V-%/?_W7O_S'8#`0'P;__I=_&?QIM5S=?WH<_^G'NY_:-_1A@,Y?'G]] M7+W[X<<[_COX\&'PVY?'S]/9Y)=/][_.MO?+U6B59L@/@_2L[IGNG]K1!Z1U M-M#<#[X\_CH??'DOJ:KD\-UH.!Y.AM/A;/@PG`\7PZIS]T/1@6-BTDY+>;#U.WO!P\T7Y2CU"6J^\'L85Y.NAZ!07-Z M*L==%S\$Y4"L>BGDINGYY/Y"C:2''TX(FTV+Z4\$SGY:BD<3DIYXE#H;H5"GT_ M^/2X7`\$Y\?[SXZ__O%S^VU__Y]UCMQYATGK\$^R^CZ>-D]*GWOELOO9_]W_KQ MOXZ,<1_B5^A]W*3#[_@T1K:<_'DQ^O+N<2BZ052E0>I]2^>G_SX8`ZGY/%I] M>:P'G]]/0.*7Y>S+XVR9?XR(947\>/=1_/Q/=]B)7_#P/L#\4(BF@WY^7Z*C M>%@4-'\J9K%?HC_L&H7QV*UB6LZ;=PKON&/2-#6:PE25X/'%N'F>%.'/M&FU M\$\W/[SL!N<.W,ZYX;L-:.<^8H\C8V[\$E,[;FB9&'\@V143D+98?&PYNQ\$\$4( M"N41\$O0HF)5Q.0V2@Q;U1J,#/\$VQ5P^T:(B/)SC,#T_M!Q\@89"R"782/#\5 M8:/!SU,S&&,)8WFCGY@8%A'T`S_K5F3#0.X=MW/X)9B>L/@&("`H,J`!8A3` M693X8JGPQ=(T2)6S><\$RI5BF,`3?+(@IV4P&"P8P:!U^X_!&+N)"P@J8T9PI M*ML/MNN9/?!\$C\V3BW;0>`9N9LP2AF+\?\$'M.N:+I\#K4RGGM\$@46AQGS!/& M@K>G8AS9:/_.0&U18L0B[%`%-)A0H1["\(`*E0P+%9,9N#,SYG'60\$;-D\$78 M%RH8)BH8)P(`S!-8`DY4SC`1.V@8QK`_@N52/5'D%7R7P"AK1VAX1^1#6%?# MC`S,\,MJEH2%<6'1X0\SAMI['YB4@3T*/#4CZ2\$^S,N62H"T&,\C.(PQZ!\$6 M'/:DI(Z?Q&)\$-T@#1DLL4,_CL')1RJ=T"&!*'@F'@'J'@`X/`;WF(:#L\$-"Y M0T"O=@CHY"&@EQX">N-#0&]V".B/=@@T.Q/4.1/Q[S&_XHQKT1DP?CN[H'/5UWA"GWY>CZ&\=`I53 MB*[/VX'RAE^/WMXS`*C'P;SQ\"(34+>4"S=;BSF?X1.?[K-KSK%KG[/KSH/5 M8[3\6QZKJ(T,:R-Y\$-I,H,<@KR4EASD:Z\C-J.Q]\$,!-H5RAGDO6S\$'WSMBFL*E=P`0'4U(J-)_N(JYL%LI@%=HO MPD)B\$)M"EROK13,CV-/\$W3PHM*C%T]K8",ZR15!4_&SZXWA*[@:UW+!%F\Y: M6Y'FS`,_-(5M9X,R?0HJ@6:%6O1CN..1RC3V`O`N*!EW0<S2P1M.QG+.!1``H,Y>U. M>]KX;7&_)L`00C\$'X/PT85J36;93\\$)*WIM)OA\$S^<"2M.#Q3SP!'V\9%UC: M!)[&4SF9J7*F\+\$9G+.9Q/ZH"DY5)\!>QG;D_!>1OA;03ZB(F]X?@.>IWRIOE6A5B7D MH/9-"V.Z.&9P,E-K#DRM94V:8>08_1RQ0T/SOJ(T-<: MU&F^G\$F^BI[!?)EC->VC=8[\,;9?A_(IAZAGWM.6=Q:^V_AIMH%'['S\[E6F M/O)U8.VCS8CUNOGMN<=1Z%+!BWL\$FC,>>"1F/(R9B% M933E]AC_%E/H=KSAURQ%8^:2^T=XM2A'@0)[_",:/Q6C(&6@`_9!XPD<<3@! M4\$?\$+_!V&F*%SQ^)%S(*#\\$4\(-D3<,/JM%`_,@B%!Y,H[\$^?Y1QIHPS99PI MP\SPH!M5S(\\\$P]J*)J7BN!%0Z8% M#%V2\9HT`!6JZ9L\$;`@=_!0FL)YD>!2FX=^Q9'C&\$WXD_#N&:09TX7WHX]?A M+?Z9,(I)#/R'P6JV7/WGE\?/HR^[=[]]H2%?(8DX0%8?!O_[^.G3X\$NZ5Y*B MNUJ3='AY.!XNAZOA>K@9;H?U<#?*REZ^4%3NB@M%Y2]?*.KJ\H6B%L6"/K8:IY*+:2=@F45A?Y".7TRW4WS\$^ M+E&)BH#R:^&&6',IW"RPN0]N(&NNQ MN41M]\$-[P;G>[>,-Y+A]Q&>7V^817QVWC[RO#5N"%]\$^\BK:1WQQW/`G\,%Q MP[;P/"!P1!4/:![Y:YO`#[&'`#8C\$C*_&VR1H`P)RI"@#`G*D*`,"J0H`X)ZI"@#@GJD*`.">J0H`X)ZI"@9TBH"Q=\$^SP`V.6N M?YV[_=O0GJ5DTZ&[368/D+Y5(1_)?E-3GZ9DT^V M\(6,7Z)\*L*_DORZATLTN?\$3XV]@_!+E:.Q?R/CJ)"[?PO0YJM&Q.,OP-B>] M.8U'3P*CCW&6Z9=3C@[-(>.[%Y#O2V!T*`X9?R7*T8FZ7D2V.?G-:5R^3D2N MIAJ=MJ\0D>C91?+?(M7T:F=.')_J4 M9SE_)N._65)>1G5Y("?QSHZQ)'^.J?_E5+R2I23TW]6OGNH M7*FI+LOVRZBF(..0XVU.>_-:.+\"5?:#C\MS+U^]HYQZW3OH]2ZG7_>NDK:[ M;BB\["UU37C:6YE:_E!0V,/?;#O2[.9OMMVVL*^_H>P][Q-UB+#7O^GHL^?? M5U\$<`/35+<>V]MLIRKNR!B4(FX4A38_+(JJFAT/4;.&&X]1L78:#U6P=)D2LV7L.DI?9 M>\7MS'[PW>31"]KNQI)RE2)S97.H*WM19[@J?AI=V4N] M7IN&SK!H@NA+J=>+661[84?.+Z71P;W4:Y>MW%R+1U#MO?3KB[+(O=3K[LA: MSB=-VPCHE5.O+[I@Z*5=ZRM7T@':Z.1^VO4\'T>I!#W>3[V>I[(YAFI0@U\$1 MF`N56]]_\N?;TFT]G=JK'\$E6\S62/T"".^W\#G1!3Q_6>K3J39OM^\$YHGTVNG,3,\C6^:D>TYA7 M<(?9%7^89^#,6S_/\$*[8^Y7L=9:XXM3;.F^KYD8^M0\26YQY6^9MV]S5I[9K M+NQ3VS>W]@FHJKFO3VW17-JG-JN@+,_&2BA+8'+>;9.WN=8D;S-[>9O9R]NN MGXZBME`@;5M;+9#:K&0Z=CCIMJ[[.;=QWE;]I`[GW+)\$*:?<>DF^D+0\2+AM M^_FV9=;FA-LX;XM^4I.3;>.\+9LJA]3NYU4YU_8LU9:W&;R\[7HY4!4R6%GB MK.IE!T.B;96]9N96_3Q;GK`ZDF<;+[/A)N2,L_-C0V(OZW`AI9MU^)!6[CI, M2/KF'2\$9N,HZ0MHWRXISFFU-F81PGFU)&+@0I@U89=%BY7+WZ MO+C)YI71ZU@3O8F%S]M8\5S'8N==K%G>QS+D<2Q#7LQ3+D=2Q#WL0BY&TL0E[%(N1UK#;>Q\$+C;:PP;O1@6SW, MW],\VIDZSM1QIH[KT\.D6S]_-)%3\$SDU0]F0,\$/5D#!QC89G,@D;9]DX MR\;UV;@^&V?987(M/G]T<:;CF:OPT'[/14Y=G.GB^GR/Z?/A>4/_<:/?0 MQS7Z.%-4\$50\430'H14%H\$H24"41J-)\\$:\$5(G(L1`17B,BSZ,0GR8](`B0H MXB0H`B62#(D@1(WY"ZTX/XF12'(DDB`)&?='R/3M1I:"945+I?DJS5=IODKK M5FE^DBB11\$KH=&:"4#4F-K3B_"1:0C?SX_ES%TK2M7]6DFZJ#[\$,O;JF!-V( MYR7HA@Y+T(T\+\$\$WZK`\$W>C#\$G1C#DO0C3TL03?NL`3=^,,2=%L=EJ#;K/#> MTJ42="O/EZ!;=;D\$W>K+)>C67%&";NWE\$G3K+I>@6W\K0;^5H-]*T/_P)>BN MNI6@MTB(6PEZBP3=2M!O)>C74;Z5H-]*T"]0OI6@WTK0;R7H&3*G#\^M!/U6 M@OYUFNI6@MYQ?"M!3SVW\$O1;"7IHWTK0F_;W4X+NY*T\$_5:"?BM!/[>S?X@2 M=*=N)>@=^5L)^JT\$_;L(?&XEZ+<2]/.4;R7HMQ+T6PGZR?V\E:!?H?MN)>BW M\$O1;"?JM!#VU;R7H@V.6]9M*T)V^E:#?2M!O)>B_5PFZ,Q=*T)U]5H+N7%>< M[7SZKZ(/VO\L^O\$Z=%\]KT/WXGX@[,X4RN]TZ7>J4**F?2%H)PLI=U0(L2NL M3(7BGNX'BG::7ZJ",'A7",M3C,04(6H,MYCG,:_[(64O[P=DT*U4':@7ON,K M^_5D?_'7D_V%7T_V5_QZLK_BUY/]%;^>+*K+OYXLJLN_GBRJH[^>O"^\M?8N M&8-2*\$GJ+MF#TE3.]R\W]M@P,J2P'5J9?*ITE0#RPODJHZ"EMMPKM#VXY!!5 M:0V9O2^D47KO2BE]M;<%.;4WI15.[W5!VLN]*E7EW5Z65ANSYYTGO2\=Z2I] M7PAO]-Z71-J!E%`.\$VPA=.4%J`EE)9-SREJ0(^\$)Y)2K/,A!C)35<@\&I\$VL M`PJIP)P0)`1(&B)PAS&*F*"HK-KKTCC'!)T3>B\A>T0@6(.R`#TC#:4-Z/WV M,.342F-(X1+M2`:=P_A2I0\$9@VYB,,LQ/Z;QR M.P"M55MH7`/QTH#_VF!41=ZC!TS@&.L=Z%06\S7&.(57&F.T`&-Z7VAO1:WP M":=EK3!"*<\$=A2)'Z,!((ZF6&*&]5N"7U^U(U=APXRW>0-:4Y3<`G"3K`CSI M@`.5LL+:9&&\87S0;P2_*&P%9VE?D,="L7T&"^;U.0^8@)I4-12(-3M(-YFV MA'HO)\$N!U7N!.4J;O1"`UA@!.65PC(,L&&<41,\$[2Q`%(;UT+`N\$!4(6@%'E M(`S6>P@#7D/V>4EH@8U*N;9\$NP[?PG;5^!8\$EFHA2NDM_E8E(+*UA\!6P,HQ M"Z*VC#(P93GVVM6Z\`094(4F!?P*X1PO56J0@I;TG=#U?NOWN-#1:PD=O8[0 MT1]"Z.@-A8[>6.@N_;9N9W6B]K;26&"`Q4!``@B58S0JQM>R\$I82;1!K9*#L%2#&ADBFKDU0^H"[PE\$QZNAOYOT!5GWR M(O*9S_`/"\&QC?_CK/[D_W_BM7R]?UCDCLG-#;0+H\$6#<_3GDX]Z.RE<8<>@ M`D596\$VP8XP<&VPM!>+'4CI\$D'Q@V0\!0VR^J=(>KHQS%=P!I?,X*4`.%X8' M\$_['L05[4H7&OC1D*P=./(;PYK`?00AML95@K23+)'4EW%W,O@4GB3R&&\$M:=H_`7O!KI\$`_>UU6)180HG4I!3B0\#_XPQ8N M%3PIQXZCD_B:\$VUWIKR3(V(&%\$X7[IF9Y"P5/3I MX"-6HA\C'PN&Z3`8CL)S8![Z,?)5\7D\!I=^!?FY!Y(1/*!YE0-S>OHI3^`Y M,B?!.8'/\$<:^G>@INW5*A[RZ&LDU"2MC#L=*`SEG,;=PVCD*4G"_09/G(Z2P MBHDZ`:\$MX8-7NT(CH('6A_SF>7P^VL!'^D`;'(F@IB1Q"J30;2!&Q(4":O_\$#=CJX5DCK5#NV1E M!.+2-ME)Z73041K6#<1AY&\$+\$"2"MN%Y'!6ZHT[![R*1KV?;WLZ\O9F%^]N) MZ2O9N=\H7@]6'L^1155@:3#^7&L!!W`=&`9>LGN"L)NXQ,\$C[8V MK#Z@9PSTD:AJB(0E8VH-5#AO@%U9^WV)LZ=JCS/HJ]KM\7U2M2NU@7JSK**MXOP)E@-V ML.6"`@#>ZY"B@N0`",G9)NR3-3A'S!:VN>:S+PQ)WGU-G(S#"P'^V8TVDH\P M!\$76?!;#)EM9Q3M2WE\$R50W952+>EV)_):?C2B_)8,U&N7B#RFI.>M`N`!M_ MJ"(HD_;:M#7D[=UIM/3M#6KK"D1)N/"KN_#8#^^7L*9T)0.IBO=+@_BSNZ/A M>#@93H>SX>+PE@DX/;MEPI;>#T;_W]W5[,BNX^9]GJ(764S@ZX%-R3^%`>89 M\@9!V3)0@TR`X-Z31=Y^^)&2+-E6E:N[ND_?L^CVGTQ]I&A*E"A6A9\@=M7R M6[S;_?7-+54[NZJ=YJJ]\OEU6A_W?WV;\7Q"@:N3I_)O7LO@-WFET%7_3_I_ MUO]N+3@R`I2L;]T*];)R2>*+A:.%IL=5B;M5"-ZJ6FZEN-@YR77V+`]S%H\$@U2RFJ;B;Z1S/+F:(; M,^/WS_%[TLNM"K?9)-=\?[I%SV%:ZOD61_ZL\$/H;U,D[B%J@>O&%\$+<4E2H? MX=_![S&[#6:#7S:/F)D#)YA=5G\GM^?;YG8/?O>WF:791;0CQ%"[V\I)?_,!-KAF(% M&?;RPG0`G+7*)5JULB'*M']E@[X[J54"E1(ZVB8UVH30*+1O%>.`K>8GV]P[5YZ32LX3RL>0MK!JP9L.8]+#85 M1E4SA^7J!!.C,(>PQM.M..]:D6'5\$=6V%146VZUM*Y[#=3DOKFDKK@GBF@!L MVHN+-=M,R^:E#:SYN`FS+7'WA37MA,6@ZHAI*RP%54]WA55"E79/HJ-KO>2U M<[6&T;9RK4N]VHN48-I?.%LY9M.!3;>1O=C)51MPZ;3/^QKV;L

!L>WG&/CB83/SXAD;V77&1PC?9-PS-GK&A@)C0^,+F-40AT?1#I:'FOF+6J5:Z1"O=(;6#`?2Q"D++%B,.XQ!:BIUS MT4!NL:.&\HK&FEA[3=1CWFJT&^1%W'V".V\)HK,J%G"SIH5/I^;/:`!NW!S* MP,?U\$SH`CE'0\[C-8?LO*X3[^D/VP?NI_ARW>'>>PL'[P0,;T\BS];&&FV&( MZFKN5[BKKV:,B7WXV,1C<#C&,_%CXJZ>)0X7V!'WL-P+TRP>`0^7C8\4F[E= M^0WN?2?NZ)@F_T.O9V9TQWP3_V?\-P[=.O?5A*?\O^;A(J&S9T.M`5E<+;H[ M4\]FX7?A6/.MI>J8-MOS&?^MXV<3QD\=5X'1"D:>(S_B;V)B31IG&&+'9W:Q M/OIJ0@\K+CWHU4(.U.I(#%08\$"@R\$1:*X5\$V>W76I]69P1AZ48,(U4\$GIQ@D^G'EL M&'A,``>\$WLA'B+DT&!^@5!Y^0-"H9`1'):44"\$Y'12*G(AJI/U3=BFYP(T4I MD#0I>2JS!PKLC'6V46M%2L1 MX8YH-\F]0>JN^29Q<3GI@`'%B)DTE8#A*XC:>(D`"\/PG.-\$C"-C6;J8T-6) MRN(_`!`JKX7U2E2.D2C?%ZU8.&\;J=.BTMHH]U:JZX5MB\H(%?6^)EB\$P%]@ MM)>Z!I6S\$1GC?C>L?/=>YCPZP/>MYOWB,?2#26#XXH#2"92+0.D\WX,!G(N' M`YO"P_!>N.^T"0#+""122-KJ+4T>@\LQ*PIO4&S=9@>9\W"#7ZP]+4\OW4X MMC,?];G>X%%A%Q+P,C-!04D\$PR*R"D%.YW@*ARR MNW#IN\$/\$O^G6LU/6AR3(`DJ'+`.`Z:F`\Z<`Z,>4* M^FH96'&93?;`.PP`^#\;5"V,0<@<;!TH1CO913L9GD)V:B?]B0LG7,,D*J14 MPMD&=Y0,D[],_RK76"#,\9 M&7?3@WZ@C*R2+Y#\)]@(1*"3^P`GH0-3A`V+3,"Y8!Y8),^]!)#QC5W4*;\$6L2EXO7X:QARJI;^.097MMB?,'U=FP[(:M.1HC, M)`PL/EG^*"\$YZ#TTJ\>(L:L-/DNQ)S)LA`1@;O&BC!W!2(.>'\;HXN0.L8_J M^<(\$++?"1MXZ'TG4)IC<<"PXC&:A1+WRD6E!-LIE,L?*)8 M6OYHR&K()L.\LW MI3F'KK\$*%`4%:MO:H1>T+(:V(P4L=%1\IB\$CH.N^'5NGLC6=ER%;JM\$+T727 M3I\$/AKJ(7NP4#+RQ`YCFLWZT`,V]QT5QX5LUO8:S.";L&'[I1#X MYB@0M*!"\$,+DGT8\$\'I&UDITTZQEA-X-!DU;K^<'LZACA\;K:Q5'+_HF6HF1 M.,H;V".QB\$X?P,*34EQ\$G\41P35[HJK%1N9H!_\U`\$8G*+3?\$R`8;HVD4#I! M(@,P!2/"\#<\$3AC.^KMC/X=3&<"A=A)46E"!2;M(G4,OR()W=TFW>"3>'96\ M.WK:NZ-7>G?T6=X=?=B[HT_P[NA+O3OZQMX=_3SOCK[&NZ.?Z]W1EWEW]+V\ M._H9WAU]J7='W]J[HZ_V[NB;>'=4\N[H.WAW5/;NZ!GOCKZI=T??T+NC;^7= MT:=Y=_13O3OZ/MX=_:F]._KIWAW]3.^.OKEW9YH'>ZE]J,2ZI+S\$RW55.8N/ M"2+^T)NG5I%4OVPQ!IA6&5\Q3P#'8&VIT@6-H/E*WA1Z'\$ M^)(HEWWT0JRPGL\+__-J*R4P/@['"G4G(911FKLHRE!W#*0,M<^)+AV&4[Z% M\$*404?D6HI1"4.6;#U3:QU6^[<.6CB3Z"[%72NF^G8;]2O*E7,];JYE&\$ZY"+]7+#%+-OW(6^W!@3L MI=T!@9FC#0*!H348/[*02.)C(O[)>(L9P9]2C.T&@P"RM,<@`MUO,XB(8Q3_ MZ_7XB^\$6=[YGX"B%_-=YBOO5'P]Q\RTZ`7]JU\$]@X MV+@3.?A\$<_%SX18SQ)<"F0/LL^'R*SN%B/F\$'U)WA(=Z=<_/+UNNCOU`T:+C M1X];YE=CLI@WOQ10OV7UP;:.#:?[G1T[3NN>RY@O:LY?C,>X?>4]%G!K3/:[ M6Q,^-AM<`P/[/:X!O_C9V?;B`!]1%^O#^,3O>@6R=&9AN_U5.?SH1,_+3-R? M^>R(^-PNTP)'A8VFG]<\?U)>XB[4!ZNF*;QYL[YS?L6QO&HZ9R2/"<8=K\^L M\.:\$F0Z](^?\-FB7)[%)\\M0DE^&W[_6JXR6@\WB?N:Y M&XF>,00^CA@B?(>VM;H%`295F:40(U- M<9Y"YL6PCY)QI+"WDZ3RXS M)QH`2Y&DRI)9Z7JZI4S:;FBQB:\$;FEUR*EG+DM2B3@]<)Q^@+7*EAX1Q%@L3 MHD@6_I[U)*OE[D!A>4PRR'CCF\C'80#FW!"(3.(LFA0S'QG3CYLMO`02]D M5\*<<.?V*8:\$)YJ\$M5J_MWH.'T/"HK:8Z!QB^G>9#AW%#X.E M@]/A*,.>MGOEA!Y3T1MZ6.309RS+`Y:3UE[[?2HB2721N!"FA^QC6TWPG/9\ MK)8FZV>G;3_KE\FYEVNUGZ5)^EG2KH^DKO\$]=6TSB6TKJ[4R=+36IK5="A]9 MGKLGL=>H^997HB8[2P:4`D^SM^T'(_,N<\UF23;/"W2:\#81W=\$ZY"9U3X'] M-,W7IL=:XW?R;#HQ^PXEV7>DW8RK]@.)1SE^M'N6_11XQ9+T6SA*XBP<\0J. MA:&&[)Z!3X[M2I=LK)&E\7D?\&)6I6/@INODC;NX=:P1<,N&J#X;;63)@](> ML#C42\$8DV6@C^!STX/<%7#[Y/.?3D>D,45;;OL*WO=_T,MJE*.34K5L;=]^^ MSS5QTLH]OR&;1,5V;I;YS[7I@5P^'?9YY7Q2/POS&A]DZ-Y,F3"\$'TK#.!); M5;&=&%M;=.NK;GQMCYAY9"1>WS`/^7C&W#W'3#\$V_&ZHYB8J<^T(`N0LEO.Y M,-`G:)>BHM-0G:QKC"VRB_3;Q_*LO6]+=)'=JWPD[C`'VUZP6QF7)0/V2@!I M)UT(:'B^PFRLL668O=D.>WCY"&=\$CN`8QU=Q?`_`.MXY&72]#>G>]!#3IH?( M-J\\&:5\GG8IT'HCJSD/+%N'LXEV'`>B:APO;9\_:)L/UO=@\$%U8LWT>0^8Q M[%G.'G^(7FZ/56^[Q MN,ONU9QHYWT8DF'52P8-F8>!3YLOV?.':-F'M.((\JGW`NO"Y_].;@^]X)77 M.X[PRO%=7WCE^;P[O(K@K\$=<&")/N2&Y[F243GDD*I#.>NP:WL]ZF%W#2W#O M\2:DM<6M;W'SJ,49`#,IL M)U-P@76W95W;`&;&SGE_X9`/1N?:^J-X&\S'];[`L"N@DW%]P[3[)I>L3L@1 M@3K_ER8]T>&=Y>=P8G'EJA0^]&!Z,6%J,\.8\+2?9"PX&.Z(M9V6;J>\$(X^[ M6>'('ILNR4S\$AF.6[R18QH1-R45RTW%.O>,N[,#9QDJQD9%,+4I9%H).>?=Q)X,@&35L;)`X@P0'<+HHD,M#5+.\I M3;>T[U*#VS9"II)C'O2D2Q^C9+:HU>O M7_=)^#^W])-(Y)VK/R4O,)\8>CR1E+N9]V>H7D6[&*)>BI8^7NL,U1XL=R:J M<2>`6Z<9EN(O\$`15.+/V>:3,/X.;.^'HIU=Q"_[G9_%3V"R1ML[1SRCD/#U8 M4/_"YKG+SIV]'^=C`\X%@V]V1S_\/K,MU@^&2^^G70QPWFQ96J-*HN1WTT?[ M399K>\$FVB7+?]"^MZWXH2RGZ]WD06=Q.CB';!?9Q=N_4=#](J!@*F]<^9[6S M#U=E(6=S5J_&JKTFDL^5HT&WLWDYQ#D-V[-9C-\[(-Y+T3*70R+G#&`>2GC4 MC*^3XB;`L!P)N5T5R(,'`3(SF<]"/!]06(Y]W"Q;'"<'\$7\$>/Q(%W>89>0_\ M>UE\$XIJD27^\$]AI^.W8*O]7JY,0J-9P"2/B]U&OXC=0Y_"*JDQ,O+ISZXB84 M-Z&X_`PJVAVGT"8Y\<4MBD]RHO,@ MHWC-@W\Y1P5L>:[PC>4&OWEIK;WB]Y&'MN<'>H3W+06LO+W(>2=OTU5\$1]2*@/2KV^PM]5XF-"?-P2'Q\1'Q/BHQ"O(8]+0O0B1.M93HVG M[RI'FNTI*SQY%Y(ABQ-`6O"L2ES;-[-L7D9Q^8%'!OE&%B%95MFV;Z; M9?LRENT+6!9S=Q6HS!U5*_-=F?GNWP'SG;9W)?SV97[[=_/;OXS? M_@7\]HD!DQZ%3>-PG:J)]`XVFYNF\$4O?&'Y@+DW+]GZ:]3GSTK:6GR"-@&V8 MTXJH&=A>3DY+`&-/PQ6_UVZ:ZU1?6L(/?\$^+/D?]WE&]WL*,G3?,XP[1^`#1 M^!#1^`#1F"`:KB'E;T!TV2&Z/\$!T>8CH\@"1](`J((]&U),:Q5*9@(6D)S0R MFZR71OHUIQ=KITQ-TJD&WJC=T6MS>FU*KTWIM6NO&LG1CASEY"@E1RDY6K62 MS(Z,]"VU)V)\%ZU?DGY(4;0D78#_RJCNXW,O6E+SSH]`_2IYH3QZNZO6IM7: MN]7:!]7:I-I,9MVNUBZMM;M;:_>@UM6VA4&Y_?O;C^6/'__Y^S_^Y_K[___E M?W^GW_"+\&TLT/W][;__\<]_OOT>?R;>]/S.'S_^ZX\?UQ__]\=?VO_XV[__ +V[\`%WKL_U,4`0`` M'XL(")&D?%,``W!R:6UD96-?;"YR97,`[%U9CR2Y<7Z?7U'0TRZRLI\$,WE[, M`+8,&`(,P[#T8@N+15U=W>V9A3QU9=6O]Q?,))-9G75T3ZLUTA8\$32>99&3P MBR#C8\$CUQS_]ZQ_^8S0:B4^C?__#OXQ^MUZM[SX_3G_WTX<_MF_HTPB=OSS^ M^KC^X<>?/O#?T:=/H[]\??PR7\Q^^7SWZV)WMUI/UFF&_#1*S^J.Z?ZN'7U\$ M6F<#S=WHZ^.OR]'7CY*J2HY_F(RGX]EX/EZ,[\?+\3SZ/'CZG/W8TF!4V+63DOEN/4[>]&][1\*">I2U1WH\7]LIQU/0*# MEO143KLN8G*@5MP7RU)T_?)N)"?S0D[G!H1)ZQ\$?OT[FC[/)Y][[;KWT@&494&J8\MG3_^]]\$8:,V7 MR?KK8SWZ\G\$&\$K^L%E\?%ZO\8T2L*^*G#W\6/__3!TCB%SQ\###?%Z+IH)\_ MEN@H[A\*6CX5B]@OT1^D1F\$\I%7,RV7S3N\$==\R:ID93F*H2/+Z8-L^S(OR9 M-ZUVHOGY8Z<@'_#MC"N>V[!6+C/F*#+V?FS)C*UE8N2^?\$=D5,Y"V:%Q_VXL M1!7"@?((#7H4S,JTG`?-08MZH]\$!GN:0U3T]-,2G,VSF^Z?V@_?0,&C9#)(\$ MST]%\$#3X>6H&8RQA+`OZB8EA\$>%\X&?=JFP8R+W3=@Z_!-,S5M\`!!1%!C1` MC`(X#R6^6"I\L30-4N5B6;!.*=8I#,\$W"V)*-M/!@@\$,IPZ_<7@C'^)"P@J8 MT9PI*ML/MNM9W/-\$#^')AW;0=`%N%LP2AF+\\H':=2P?G@*O3Z5H^#`^H4,FP4#%;@#NS8!X7#634 M#'D(!\$Y0(3(4'#,`;Y"-9+]4215_!=`J.L':%AB&I&TGU\6)8ME0!I,5U&;!/0R4U`K]T\$],Z;@-YM\$]!O;1-H=B:HG?JW?EU[J.&>:NDQK!XM)8(B^)X8B-\]@>N[H#/HZ[XC3WY:CZ&\= M`Y53B*[/^X'RCE^/WMXS`*C'P;+Q\"(3.&XI5VZV%DO>PR<^W6?7G&/7/F?7 MG0>KQVCYU]Q6\30R?!K)H]!FGASE:1?A2#;2,YQP^`HE'[FQO6QLRT5TL#7; M4;:/,=H(*#TTQGJ1"%HV,`\P)3A<,114V^\$N&NS0@N&;X7PN\%^(BI]F3&O6 M#F8[A7,<=@7V=T9/;2]6L9"@RCMO%FS3#(9GT3(NL+093,Q3.5NH)AVP<%19#08ELQC[VDB M>6P3Q\$))+M1Y5YWH\LB&K52T3HEZ=*6:F&81W9\$R^2'IZ^S1]#X(4:+UKBG./^JT->])9D`XS^1S2D0ODM()09V552LGQTM>=*)ZE;2N%=CK9792;+WY MU",P#T),A'#N/+34C@_BOQ^IG=IA?V]B.[_;3CF!Y[R+>=]0SG)Q]\$SBB_V6 M%U`^Y93U[3CE\UH[VS?F;&D?ADQ\YMR8(^?&LGS*6:X-LV4NYF/7IPGYLADL M*)AG6.<9/EYV2AKL)[W4A9E?C=H)3V[>0^SY9LR]DP3;,P^37DL'_.LO7G^+>8@QV\X==LV:9\RDF@P![_A*9/ MQ218/M`!\Z#Q!(XXG,!!/R%^@;?S\$"M\^3.-@VKP`R?FL`*:XAB>0EP3?EZP MX&;A?<-^PSPQ\\WR`_L4V4>79.YG#;N%:OIF@5-"!S^%";SYF5F%:?AW*IG9 MZ8P?"?].(5LL)+P/??PZO,4_,UX3J\$CF?A(>PK'*#Y*/&WY0S<(DL]9P+?FC MS*Z*\U2:%X2K,#`^F,1)1#?RGT7JQ6O_GU\?4WW2E)T5VN2CB\/I^/5>#W>C+?CW;@>[\>'9Y>'4CZ_/)3J M;C3=%JM-NN>3&CV[8IWUF+O1"CW;KL=BS+Y8U5V/0\^A6&<]'K/0LT\]JKH; M;?;%MANC!'H.Q2[KP;JVZ-DGKE5VMZK4I0M%I<]?*"IS^4)1VXV"4"VT1@G0BL^K'H&ESLKN1BFQ/1.1&H\+5\$-HG(]`/^O1;0 M=2*PR@G8'-"ZF.X'N!C"8Y,#Z@:YJ`<(;`8`!1<^(["MB\UY+DXL!78Q0Q1K MN5:VW5H@%I'KZ'Y@,=N!Q?3YR)5TA]4,\;&]N)I<2]23+7PEXY\$236[\Q/0;&+]\$.1K[5S*^/HG+ MMS!]CFIT+,XRO,M);T_CT=/`Z&.<9?KUE*-#<\SX_A7D^QH8'8ICQM^(174Y^>QJ7EZG(U52CT_8"%8F>723_+7K]>LK)43RK(]L>*-&+>R7G;T0Y M.:?'G->GD3F]>:)/>9;S-Z*:RC0QSI;W+Z M+]22-Z*%B?>W=H>\JI MU[V-7N]S^G7O8F.W[X;"R]Y1UX2GO9.IY8\5A3W\[:XCS6[^=M>)A7W]+67O M64[4(<)>_[:CSYY__XCB`*!_W'(VQGH'(10INR"V]E[XG8G M%V+!="P1BR;#AWCO[K(VF]0,`>+`*&./.#C:9N\]MW>9I"KNR!B4()V9C_XBF_PNK"[^*/\2)'Y87-\5O:BSFY9-C]L77X, M>[9_,;K60P5/UZ9>LZ1G\$SC2U41.9)/RI%:="&P2@74BL\$H\$NC*@YJCKI5]? ME:'KI;02@1;TZZ=?7Y6-%L-:>GXU&1_A7.ZG7J_=<;W+ MCE[J=4A#AOC(Y!(.QG@0F`N56]]_9/^&Z;;WR0]>%4!O8B09_K<(U@8H M7Y5F^ZYBM6]+KYW!(SI4;Y\$7'*!\*LWV_6>K3J39OM]LU8O3:]]+SOO%:;:> M*[G*R?][4WE=FNU9KO0H-7*YQ7<,?9%7^<9^#,6S_/\$*[8^\67=9:XXM3;)F^KYD8^M8\26YQY M6^5MV]S5I[9K+NQ3VS>W]@FHJKFO3VW17-JG-HLJR[.QL+(\$)N?=MGF;:TWR M-K.7MYF]O.WZZ2AJ"P62V-IJ@=3F+=NQPTFW3=W/N4WSMNHG=3CGEB5*.>76 M2_*%I.51PFW7S[>MLC8GW*9Y6_23FIQLF^9MV50YI'8_K\JYMF>IMKS-X.5M MU\N!JI#!RA)G52\[&!)MZ^PU,[?NY]GRA-5`GFVZRH:;D#/.]H\-B;VLPX64 M;M;A0UJYZS`AZ9MWA&3@.NL(:=\L*\YIM@UE&L)YMA5E('.B#32^Q?VZ\$!:. MVL.@P\KEQZO/BYML7AF]B371VUCXO(L5SW4L=M['FN5#>,!GJEB/O(KUR-M8 M>-P<-FW=<1T+CO>QD/@0'EH2H2AX&HN"5[\$H>!.+@K>Q*'A=QYK@?7AHYZLX M7\7YH3AX'8N#-[\$T>!M+@W?AH9VNXW0=I^LX71&RT)'TGX2,)'\$GZL&L#\.!DB;K1<^\$A"5%\$3\\$3-7#S)5J>J2`9/49FJ MI\$U5HB(2E:"/F^8I4A&)2J>202<;>QA:D5+0S'7S1-'8A594[Z2<(FFG2.HI MDGZ*I*!"II4E%14R\22CE@B9J"0M%2KQH]+*5%J92E2"JC;F/+0BI:2P(FFL MT(E2H[/!YH=67)E.*].)4M);D117F\$3)))Y,XLFDE07M;1R6T`J4XIGB+I39 M:_^LS-Y4GV)I?75-6;T1S\OJ#1V7U1MY7%9OU'%9O=''9?7&')?5&WM<5F_< M<5F]\<=E];8Z+JNWV?^8P-*ELGHKSY?56W6YK-[JRV7UUEQ15F_MY;)ZZRZ7 MU5M_*ZN_E=7?RNI_\V7UKKJ5U;=(B%M9?8L\$WZ5M9_:VL_E96?RNK?[NR>F/VK_[^N':^M]];RVWHN[D;![4RB_UZ7?JT*)F@Z% MH+TLI-Q3(<2^L#(5OWNZ&RG::WZI"L+@?2\$L3S\$24X2H,=QBGL>\[@>OO;P; MD4&W4G6@7OB.K^Q7KOW%7[GV%W[EVE_Q*]?^BE^Y]E?\RK6H+O_*M:@N_\JU MJ`9_Y?I0>&OMAV3@2J\$DJ0_)QI6F5>H>U1S;RH2FO(''PAC=('5TKIJX,MR*F#*:UP^J`+TEX>5*DJ[PZRM-J8 M`TN>]*%TI*OT?2&\T0=?\$FD'4D(Y3+"%T)47H":4E4S.*6M!CH0GD%.N\B`' M-5)6RP,8D#:Q#BBD`G-"D!`@:8C`'<8H8H*BLNJ@2^,<\$W1.Z(.\$[A&!8`W* M`O2,-)0\$T/N-:.BIE1-`.[P]U"2 ML0X10&E)&^P%(94Q(&0=V7VAG*G:"NA:@B-GJRJ0\:2QB?:E`DYA_RE2@8R` MV)B,,LQ/Z;QR>P"M55L\70/QTH#_VF!41=ZC!TQ@&^L]Z%06\S7&.(57&F.T M`&/Z4&AO1:WP":=EK3!"*<\$=A2)'Z,!((ZF6&*&]5N"7U^U(U1"X\19OH&O* M\AL`3I+/`CSI@`.5LL+:9&&\87S0;P2_*&P%!_!0D,="(3Z#!?/ZG`=,0\$VJ M&@>(-7MH-YFV+/P@)&N!U0>!.4J;@Q"`UA@!/65PC(,N&&<45,\$[2U`%(;UT MK`N\$!4(7@%'EH`S6>R@#7D/W>4EH@8U*N;;LO`[?@KAJ?`L*2[40I?06?ZL2 M\$-G:0V\$K8.68!5%;1AF8LAY[[6I=>((.J\$*3`GZ%<(Z7*C5(X93TG=+U?I-Y M6.GHK92.WD;IZ#>A=/2.2D?OK'27?@.YLSKQ]+;26&"`Q4!!`@B58S0JQM?R M(2PEVBYHJ&\$46-Q`P6M=,0C"5L``L.-09A`^'"]X`F MA>^)((6J-\$;B>UBR\6Q&(\$=\KG`.H!K^JL#7R."P5X`8`I%,79MPZ`/N"EO% MJ,&?X_H-K/KDY>HSG^\$?%H(AP?]V5G_R?Q/R5K[>/RQR0WIS`^T":-'@#/[, M]2MBFZ\$@AHZ#F\$C@:%OW8IM!3RMQPDY)A=7(PFJ"#66IL;.@I4#L6DJ'Z)6I ML@\\$,-AUH\$I[N%'.57!%E,[7\$<0-]XD'\$_[#<0U[<86&3C1D*P=./(:P8K`/ M0PBKH49@K23+)'4EW(>8S0P.&GDX-`=>AZR";XA8AF,F04`UN#A65S40JRK' MGB"@D99=,[`7?"HIT,\>G]6,J]3`52GM/\0\*7M-\$IK-;A/T`42`A#"J\41M MB*)=80,@42"G`@83OPQ^V<.?@Q3EV6IW\$UYQH9&11!VY#> MPX%\$,TX#@4LA%`W#C8KBR(^MCJ+W.@D&(6:A2## M"_X,1MK*\&>T=![2,E"21O,U+T%!\$S\$Q4 MLG#&-4\$6#BE\$)E@=*V85=J?D+8--"U>^V=6:&J\$@;.*]S:J)G2MYN57FG03U MY`,E1(\$0M9#,L79HEZS>("YMDVN33@>MUSBK01PF"Z<+0A[0-CR/8QPW:.+^ M)AKY=J?E^QV8[W9F_O74](U.SK<^/\$_%+,]]@9/NP`F/8\$C?OYGH20_[6729 M.3Q'/L\`8R^9'LU-[Z>1VW?M=66W5\#>&XH7G;7G\ZZB*I!T..D&#'A;!P'*(JL;FM61,K;\$(SI=@LJ\XNX2-+C2GEU2E M\!>^O0G),>QXSHX5:\$ML".LKC:T\$\\2?K:2/%Z^U/Y0X)57M<5KZJG8'?)]4 M[4IM8(@L&U.K.&^#Y8`=;\$Y!`0#O=4B-88\#",E9+NB3-3CQF"ULR)I/:6%( M\C[5Q\$E`O!#@G]UW(_FPQ9:6]?]W=RT[DNLX=C]?D8M9],#E"YN27VB@OV'V MLQB\$+0/1F&Y@<&_-8OZ^>4A)EFPK'IF157EKD>F73!Y2%"5:E`)>4YKC8)IH M"7=^'9E'[/OY):8=IV2X'8;YI;?P\\B7;_.WY9O[MGZ[[F>9&.]AEHE5^]O; MI<*/4[MJ_1;O=K^]N;5J%U>U\U*U%SZ_S-OC_K>W!<]G%+@X>2K_EJT,?CM9 M"EWT_ZS_%_WOMH(C(T#)^MIM4*=-2FKN3#RQ9F]./+\$KNSOQQ&[Y[L132_:! MB2?J[D\\47]_XHF&LXFGU5;XO?65KE2M5U-=;0R/7'V-P`._Q^QVF%D:MV%F"9Q@=AG_3FXOU]WM'O(>;[-(BXMH1ZBA=M=- MDOI<#O.8'+6@2\#SY7J42R7A1O%Q2<*52K(FDBCTZEP>^Z@\!N`3@8[Z%V\$B M9QA6T&\$O+\PGP-FJ7&)5FQAB3,=7=NB[!ZU*H%)"1^ND1IT0*H6.M6(5B@"8USU`=?NI8=A#8_#6O:P%L!:`&LY MPF)78=0TJVN& MNF8`FX_J8LLV\[I[:0=K.:_";)G?;67-!V4QJ#IBVBM+0=7S36654*7=D]CH MQI>\=6[>,/I6YKK6F[](":;]A;.58S\$=Q'0[W8N?W*P!ET[[/'>P!1ZHJ//, M.S_MR%SF9V=WO`UWM:1^=LYZC+708V1+&<4B,]VL28_M\$L6(69[K)O794FL/ M\$5P*FLY\*%-;,VKH.9*J6U*\$=EA/>5QX@][6&UM=V;+X;SMN:^A MJ1G#0`#W6K2@;FRG;\$3`HW,.`[B*L&&@F!#XPN8UPN6NN3K M9@R;'53K9@>G53[=HY!8^JG14'/;,.O4*EUBE>Z4VLD`^MP\$866KDMSFM_W6#<-M^R-YY/[6?\QKO'J=P\GZ(P,8T\VQ[K.EF M&**ZFOL5[NJK!6-BGSXV\Q@<@?%"_)BXJV>-(P1VQ#TL]\*T2\$3`PV7C,\46 MKE=^@WO?F3LZILG_T.N9!=TQW\3_!?^-0[?.?37A*?^O>;A(Z.S946M"%K-% M=V?JQ:S\+@)KOK56'=-F?[[@OW7\;,;XJ6,6&*U@Y#GR(VX3,UO2N,`1.SZS MJ_795S-Z6`GI0:\6MNF.`5T'( MOA+T8>G@<*VG10Y&F/`;\$)XURZHU7,@Z7+&CME>_J>F":AGA0>U5?&@CG+US ME:'[,\$W3K(SEID"15X`"'UD%""`T#OY"#'7!N,#E,K##P@:U8S@J*24`L'IJ\$CD5%0C_`/K5FR#*REJ M@:1*R4L&.YAA"%XAX8R+&'UG9N^F#_G\$A8NUTW+7+FP8R\*Q(1MCG5W56[\$1 M\$>Z(=9/<&X1WS3>)B\M)!PPH1BRDJ00,7T'5QFL\$6!B&EQPGXAP9R]K%36J= MF"S^`P"!>2VB5V)RC\$3EGI2Q2-XVPM.":6U4>BOL>A';@AF!4>\YP2,\$^8*@ MO?`:5,]&=(S[W;#)W7N=\^@`[5O=^^0Q](-)8/CB@-()E\$F@=%[NP0#.Y.'` MI_`PO!?I.ZT"P#("B122UGI+L\?@L8RBB%%!P->(/L"8&F\$\@C\$UJ'?1P>B9 MRC@<@!?YSV0,6K"%1^5_3G3&IU5OV8C94GJ#:NOPF9HM"S?XP=K7\OS:X=@N M?-3G>H-'A5W85)B%"09*HAA6D54(`,DH3%#-0`7K7/2\$T&RL MVA<@=L8V`E'&"VNG3QBC6C+`:8?L[3Z@\$R\'-0I&H_C,H.",1T:3Z(A(0%FX M%JDSZ%3Q6\$%#W-BZNK,`0@#!HYN^ZL'4!(;LZ%RWLL<@;[-2;\*`^3: M<8>(?_.UYZ"L#QL["R@=L@P`IJ<"SI\"H!_;`*2>PNKM56V'#RU[!"8>K09. M?S+=VG.'?.U9-ZS>:Q^,I@?,:?4@,`:`4`O^S0#/7;@"QPB#6.Z9964&?;4. M;+@L)D?@'08`_)\=JA;&(&0)O@X4HY_LHI\,3Z\$[]9/^Q(43YC"+"2F5<+;\$ M,T?QZ1J?QC,7SR(NA/\&;LE*ER4MQHA84`>)[*P/&'F'_EG:6B?(\)R1<3<] M:`-E9)6T0/)-L!&(0"?W`4Z^FT.'9@B;%AE`LX%]^"B?U"8`]IMN.',YJ@Q&K(*LNTLWY3J'+K& M*E`4%*AM:X=>T+(:VHX4L-!1]9F&C("N^W9LG>K6=%Z'[*E&KT3339TB'PQU M\$;WX*3AX8P<(S6?]:`&:>X])<>',5Z;IM1[E;-'Z&LS@J[!A_Z40^.8H\$+2@ M0A#"Y)]&!(AZ1K9*=--L983>#0Y-:Z_G!XN88X?*ZVM51R_V)E:)D3C*&_@C M\8A.'\##DU)A.?0"[(0W4WI\$H\DNJ-2=\$=/1W?T MRNB./BNZHP]'=_0)T1W]T.B.OG!T1S\ONJ,?\$]W1SXWNZ(=%=_2UHCOZ&=\$= M_=#HCKYT=\$<_.KJC+Q+=42FZHZ\0W5\$YNJ-GHCOZHM\$=?<'HCKY4=\$>?%MW1 M3XWNZ.M\$=_2GCN[HIT=W]#.C._KBT9UI[JRE]JD2VY3R&B^W6>4L/R9,@Q[G M"]^.>>&O)%_*M+]V*8LU^[&+E&&8Y7P(>`8[`^T>(%C*LL_F\*-28GY)U,LQ M>R\$RK)?'E?]YW\$J;,Y^G8P7>20IEU.8ABS+PCHF4@?N2V-)I.N5;2%\$*&95O M(4LI)%6^^42E8U[EVS%MZ4RCOY!XI>VJ\^;D,DN1_,=JI=Q&TI2:]=Q>3G1Y M+;.I'FFTI5VKSZV^SDU^YWCJZ\.P7TF^M'_UWFNFV82;DES:CI^5XK4<2OM: M']Q_KJ8T\$S#RB\$E_[Q+D@QQ*^US?;OB';BVSWWUR;.!:RH]]"VE%QQ39MT.6 MT9E*OBK6XE[<'T&\S_)-\$)\F^N:(\US?3U?OYX(M[AA^&_)^:4#`7EH=\$(0Y M6R`0!-J2\:,(B28^IN*?C+>XR_E3AK%?8!!`EM881*#'9081<!XH5G3^Z7S._ MFI#%WP(H)=3O1;VSK&,GZ7%EQT'2NN7&`CZR+[6%\XE>]`EGZ96&__%4E_.B'CE]*_KC6YU[X M>KH(+ZA@6X<7Q#Y?BA=M][`:+XA>+P[\$9/5=*OAQ15X0?%ZJA%PF.Z4?B^[7 M^Z\M<5R3]>RX,C/VTUT%H@K6_6#AL+?`)G787B#*&W88V(FY?UG%E-=36_]@ ML_YSBAE7R3T9]9YMLQ!\$=VM]Z(F23[FIW!H9[3S765F_VP)*UP>W)7'I7O3Z M937[9Q8VKEM\=@3]X&K`30V/+`A,=&1<]BE\6Q08=#,GEQ\=*7]=8>+ZS&=' MQ(^M,BU(5%AH^GG5\R>5):Y"O3-KFL);=O,[C\\XEF=-EXSD.<&XXO69&=Z< M,-.A=TY!W8!;N1+@Q^;06N>?;&3V^ MNGG)]P]Z?%&RRS?J>6(]?;Y'SA,+J7>;V-3;JS=V\[@D>TQLTVK9OC/I3C64 M[%1C\/:F[>.6/5UT!JUM&LD]M4BMNM96,BGU\$NS&][`[KG+/N=6!6[MGE^YT MD&Z70QO8IS=M_>W":CN_&503QK2"1&EOC0M@:> MW738<,)WK>S:\\U?7HSZ;`^,%/7^2U>">J`4=6O)M`'V(+"I8-_YSA))I;\$? M279DV1)V\BU>XG8YE&R78_SKF8'/!P/W4UW=.+3(+N?.DP?_;3M8[G7E4KC9 M]W"KY[U]9\PJ92:'E%>7\7K`LI,&L#/NU)_\$'20HV4%"8!M7':W@W@8;:A*2 M\$RPMELBN\NL:\@9?8F&&'`O&+0G@3LUCZ'/S'CZ,N[B_QCEN`8I7;@(?*`4N M2P6FW,#'!PP\W69HYYBV_(%\-Y?4Y-+-LXX>?#D8^&&V)M_FY6'2]7+8DV0W MV9;O^++;!(\228WW_DGEU=A069C(ULHNT\_4`0N1.C4JP%5B6;AT5IY)L-G"ULW'E3M`4OJM#S6CENK&G#!^'P9(,OIFKBTU4--I.D M6B1W(M_%3-["(RF?TU4A4()%5/*P-RTHAT4.L--IM(-(V&5.,I?P8'=S9G

1++0B-]3LU/HH5893\I1RF4/#%V:) MK,XL7[X-D92Y5WN MP[?W"E[JB_Y:B_O?\HNY#4B\BR8.YWT+3AYW?S M49A;JDF]VB\$)"YL!^_2W_40%=U.R3%(I]^C9SFWC,V4K>LA-O,Q);G+=\).) MB,^YRE)RSYD"7*Z`V*]%N=DDI5^K[9*+[;`H6GNO_FS2"3U<[PL,AP):J7W# MM/MF.;9T_"Z'DU_"6X(;N3.9]J@\IUWU)E5I#NU.AYT(M>NS\$YD.W7;A@]R\ MEVP_P9H.KH)DN_%5D`B&E4PAU&;OIFK),3O/A=?:QPC,8HSEX_>=\$V)Y+:O5 MRJ"QDNJJQ2>>M\-7"U<0J7@/C2(341\92!8^6QXGRK:077YFQZD"N8H]1>8R6-5V_5L_'U;._5LPV105VJY_=)>QH9;;+> M"(Z2^KX5'VTR/QXB;2IX,\$HJ9#&E&8E9`!H43[/LSM)T4P\$)IID4P(^LLNJ!]M.D!>7KY+W%H#T MJ\*[EF3LUD;8O\$%D7T1.A'D9[=(RC'3N9/O\%%45OT`%!D],@\IW*/P*[J"Q M!+ZNZR!?(PO=RR1OR(]]A3I1U&?+\\$*:[A^*!(M^9`5:2>WY!-P:89VWP'PU:/:Y^D1;+Z-=7\$2Q\X=+ MGB&_?=(/3'9?]0,GOQZ)=H_O>-^/<;LSC5`(>IZ'4%A"%"7.GW]7)=X-Z.YIT=90O%GUP1^#CM8NI^*>OX?(YO4VUQF?7MM';U(VMQP_NW\$P=> MG/,[4=A/\$>=&EO[CTY>%0>QG"51(5\$_KY^R7%G*A;L\D_\#JN2G-C;3[A^?\$ M2T/NO%NXWXW43_1/KZ)=3`G?+?W9\BFBX@_QB3OI,4X6%QWK_96<[J9PE#*C MGX=QLCHSXLA77WY3[N8%KMD^LL3 MXLY4F)+7O+47IU^SY'W&,&M M'47BS*1)?Y#V\$GZ+=@Z_0NODQ"HUG`)(^%':.?P0+?3A?WC6R0ET+R>^N`G% MY==BE_#KK*AJG/KB)A2W`8P-Q6V@;;]YD\:I+]Z%XETHWGTSVC9QZJEWH7B/ MXC6/@N4<\-G!7#!%(#>PR`>?/2[Z+80?R`%S\$/+&+'16^DY+ARRBN\XC:-B77IN3:`[DV M)]SO8.6F:9H+?D.\,?S`3**Z>='GS*?E3M.@`!][+D'4 M#,QW=EJ"^0X]#1?\"+%I+G,]M81?RYU7?PD1#1*3M&;4<\$\$G#KF;7(<[7(>\$:W61[54\V_'`5IR)D3E:O332U)Q>;'ZC'=/6/AWH3#F= M*:4SI72FK;4'6-3LR5&3D:,F(4=-0HZ:I+5'>MJ3V>IB6'Z:J;K,IIJM/L*R M%6.ZBVSGVZ.('%%,[G-1OECT[LQ#GMDL^B8P<-S'KWKE&]7\A)?QI.67,:LW M7HR+3QSN6*;\$U6><4D+30'%;6Q#A`DI#WHTTUDAC#32XBLVJ-+;J("K+2^^6 MEUXF+[U`7DK:+)FRO.;=\IJ7R6M>(*\Z;('*TE\$EJ\$5X6Q;>OEMX^S+A[0N\$ MMUK94>2N+'+W;I&[EXGQ:-_N^_O']/W__^S\OO___7_[W M=_J&7XAO8X'N;V__\_=__./M]_BS\:;G=_[X_M]_?+]\_[\__M+^QU___=_^ )!:!UF2P+%@\$` ` end

• ## Tst/Long/primdec_l.stat

 r6c524f 1 >> tst_memory_0 :: 1394792891:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:1557536 1 >> tst_memory_1 :: 1394792891:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:4800512 1 >> tst_memory_2 :: 1394792891:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:4935680 1 >> tst_timer_1 :: 1394792891:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:3242 1 >> tst_memory_0 :: 1400677521:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:1560168 1 >> tst_memory_1 :: 1400677521:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:4800512 1 >> tst_memory_2 :: 1400677521:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:4935680 1 >> tst_timer_1 :: 1400677521:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:3369
• ## Tst/Short/bug_15.res.gz.uu

 r6c524f begin 644 bug_15.res.gz M'XL("+S9;%,``V)U9U\Q-2YR97,`K9;;:L)`\$(;O\Q1#Z47\$;'03SY*]*(4B M2"^J%-I%Q\$.P"U%\$(TW>OM\$8#\F.K&Z],%GWXW>2F?EW!L/7WCL`4`;]W@L\ MA=O0#L3TJ6L,CCL.@^3'L5B)T"QUC?T5&(/I;C&F=7OE_]K;<)?!Z;YF MIZ+KC5C._5E.N,Y@(U8+^/!\$LMXP[!HI2"O*V6=UQ6"G):54U_K%H`>Y!3K(/R.%'5 M):DNUE"2DHE5:ROI4XKU51&_\2:D**=HBQ7JL8S\$+`,Y1?NL6.=HS'(TL\,V M@TH%/OW-(O#%[,>'I0@[V2ZMVJF;]C,W'7Q=FBG='Q(Z9IHC4#/5K"D\]5HM M@&5=LV.QI&OZRQWF>FC\*[K4E+W6?C#V:A/\E; #"P`` M'XL(")][?%,``V)U9U\Q-2YR97,`M99=:\(P%(;O^RL.L@N+336MWZ6Y&(,A MR"ZF#+8@XD=Q@2JBE;7_?M5:M39'HMV\L(UY>\$V;][PY@^%+[PT`*(-^[QE* MP38P?3\$M.=K@.&,QB'\-_O`Z_RD(_`^T8<#1.1UTM'J77^#..[]WH-+!&;G@@K"P1 M7A*1ED[GA"HT(Y4,K\4D%+<10:(DF*=X'1&TU)8HP7@#E;Q>`,%\$)2!O8K)\$ M558&\I;*7EO(X^<@WE;;<8M@JY2"O*.V[[BL%.2TIKK]D:H!]B"G6`5=XT15 MER2Z6\$%)+!.I>BNN4XK551Z_\2:D**=HB>7\6\$'6+`,Y1>LL[W-TS7(TC<,. M@VH5/KS-PO?\$[-N#I0BZZ2RMF4F:]M,T'7Q>ABG='Q(WPK2@%7`G%'*N8L#> M6VB8!PK&PO]9X(ZXO0L>D<:*CL?MP MVX\$&[L.=\$1JS&5*JEB7P8,U6H&I+D,:A=6YUJ6T>NN1]*[S;EJGN/&F_*8-E %_5L+```` ` end
• ## Tst/Short/bug_15.stat

 r6c524f 1 >> tst_memory_0 :: 1399642556:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:317748 1 >> tst_memory_1 :: 1399642556:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:2387968 1 >> tst_memory_2 :: 1399642556:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:2517208 1 >> tst_timer_1 :: 1399642556:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:43 1 >> tst_memory_0 :: 1400667038:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:317948 1 >> tst_memory_1 :: 1400667038:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:2383872 1 >> tst_memory_2 :: 1400667038:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:2517212 1 >> tst_timer_1 :: 1400667038:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:43
• ## Tst/Short/bug_charseries.res.gz.uu

 rfff643c begin 640 bug_charseries.res.gz M'XL(""-R>U,``V)U9U]C:&%R<'<_W>'??>' MUO\)QG55>[G8CA>CU46A"6!P(PI16Y/%Z'R')('MZ;#9O:2R MXE+PRBOX;Z^JT[I/8PGQ^)+'U8_+#'13)@`"D5M*0J5)_)\ M-\*S='>\-KB.FZD3-,P)^AA]/A^!MBP=L,RA5UP'716F#OFOHD,.'[MCX#C[ M]/L+E MN2.I.>;PRB24&/(T-@1J"#-E@A#6%U!CS,`BA07H-)6F,7/Z\X'9:-B9[2PS M7U6)E./F&IOJ&HP8#E)9VD84/Q8%O4__T\$C[A\Z]]B=V_D.=*HM,%A]&?P\$D ')3>H^@0````` begin 644 bug_charseries.res.gz M'XL(",]=?%,``V)U9U]C:&%R=77*\$]A"2D ML1V^BI*I4ZL*B6T2=)JV"5``0ZW1`\$GH@%^_FSC\$5EBEOBXON;GG7'^<>^R, MG^X'7P"`!#`N+ER5?5%;:SO=@U/GS:XXT%-0)(!;1&F+P MP;6-HWVRSPU[LU.,;@!+OH*=?YY2L(`HI">1/2(,\$5HBQ)5(\$JXY=?T=F+"? M:C#18.*?FF<=1%E1C'`#PI?UMN0I!BKX6VPV4,U[>MY5^98V'?,+B<8_#*%T M("@1`E%J2!8BO\CDMH:[O+SQF6'LG]N6=V:65^;H)-L"S;FTPF46O>)=2%<# M4XN\:]`J#S\OV\!VEG'7>:NUZ#_3A)BC*NC:G&*:95U/D\N[ZCK%WCZ,1E]' M1CT7>]?/[(1K^0C%=\G4V]RZ,@FE&MSV-8!I0\$>:H`73@JAHGD;K2IJ'3I-E MBJ9WOUHK646,PHCE(5BD;43PLDO1_^H?VE'^8ZV07 M%7_9I2?(+C20-UJ)\$W7_,.H4.@[0;\$UFGJ:TR>PL.DYQ.HR.YLFBIBX^*_H\ M)%A3:/KX]-,8*#U9T>,A512476=@>^_&XV^?'PS7SBGW?)'`RB08````` ` end
• ## Tst/Short/bug_charseries.stat

 rfff643c 1 >> tst_memory_0 :: 1400599075:4.0.0, 64 bit:4.0.0:x86_64-Linux:nepomuck:272136 1 >> tst_memory_1 :: 1400599075:4.0.0, 64 bit:4.0.0:x86_64-Linux:nepomuck:2342912 1 >> tst_memory_2 :: 1400599075:4.0.0, 64 bit:4.0.0:x86_64-Linux:nepomuck:2375984 1 >> tst_timer_1 :: 1400599075:4.0.0, 64 bit:4.0.0:x86_64-Linux:nepomuck:3 1 >> tst_memory_0 :: 1400659407:4.0.0, 64 bit:4.0.0:x86_64-Linux:andr:409520 1 >> tst_memory_1 :: 1400659407:4.0.0, 64 bit:4.0.0:x86_64-Linux:andr:2502656 1 >> tst_memory_2 :: 1400659407:4.0.0, 64 bit:4.0.0:x86_64-Linux:andr:2555904 1 >> tst_timer_1 :: 1400659407:4.0.0, 64 bit:4.0.0:x86_64-Linux:andr:11
• ## Tst/Short/bug_charseries.tst

 rfff643c LIB "primdec.lib"; LIB("ehv.lib"); ring r = 0,(x,y,z),lp; def p=z^2 + 1; sage31; // empty char series ideal I = -3*y^2-3, -3*x^2+1, -x*y+2*z^2; def L1 = primdecGTZ(I); def L2 = primdecSY(I); ASSUME(0, primDecsAreEquivalent(L1, L2) ); L2; tst_status(1);\$
• ## Tst/Short/charseries.res.gz.uu

 r6c524f begin 644 charseries.res.gz M'XL("!;8;%,``V-H87)S97)I97,N&XGNC-R-_ M^O6GNU\88[!D/]_]R-XUNV:^67]^=WOSR:_@DH4QS9DV>%@_KYO)]/;&?+/E MDOW^Y^-V][1=/^WFST__SG?-8Q-<>.(NYFR[?OZ#;1=E/FDA;S%O*6]YWHI\ M/\TWW^*ND/^R,N=`V9FHZ MC6'4DJV_/#UNV-U";[C"HM6>H(WT9V'^]1W8:;+39L)?&5,;/R_,@MVL9^-6 MM6VR7=5M]V%QEW^%N%`[D!X<2FSR03L]_`8YW"_`W-%*9=Q^RP+--BN1V2]> M`)AOROC,WH0P]P#6%^\7QK`P9N;DTCE80WL`-RJ\$];386(0<`FACT/W"^_L= MHC]E/6^R?AYF\D'(WPK780BXDNX(4`H)E3N&K\$KICT(*W"QE0ANX>`7PNK;( M5JH4,TTMEU('Q3=@@U?`!J^##1ILJ"(/308`6#EH"A!&\YJ[M"E0*.ZA M01T@T#;2FO7^?R!*WFF1TP#;*A`((Q'IT\$L"DEAX.!9U!)]5;3<7/'/^\$<"SC3",0P2%QO(Z[^+\$R M6\JZ(NOSHBN6'G=[*8R2VG39=V4OA,)^*.R'PGXH-*'TZKXK\$"\$,]<-0/PSU MPY`-`[H2ZW2Q@J8A#P#(J)RD1L)*5;)S\$3>-+8G9T+598*TF1`;?R_049MMUT^]F20EZM=3(LV'X"C*SO&C\$3\9%V"0 M"Q\O?/1'61".N/?#A"\$O@CR*0QEN/&6"9T2DKY M:O(7&9/\"&--G[\$F8:P9,B;%@+'F1,:D/,*85,<9:^Q;_:6,-;/A0X:]H!>1 M5C2N8SDT/_42\$.?Y\%(\$N MX&Q5]!.#N'@@[IGET4\,`M.!P.3Z.?/6-8LLH\$T4-_"\A\$%XL[>?;MZ\UD6Q ^-WI#^ M\LM/%Y\98[!D/U_\R#XTC\U\N_GMP_G9%S^"2Q:N:[S=T?;+8MY2WG+\U;D M^VF^?8BSRB5[N-_NV2TL)I-]UL*LI:Q%?3&=3?8%SEIH(WT9V'^]0KL8[*/S0-_9TQM_+PP`W:RGHT; MU;;)=%4WW>7B(K^%.%`[D*X=2FQRJ9VN?X4S-!GX*^NS0IN2@AJX=RI MX'UW*GK.9-U6+@;Y&%2XI7"]%`*NI\$L!2B&A52ZJ#X!FSP/;#!=\\$ƊD8BZH M2^4R`EE"@DV&0*4!A]X`#KT'./0NX)`!1Q<+=>!47'IL*JS!0\-YS5W9%"@4 M]]`@YS*!1L>O@'?O&Y11=0#F[-MFNV6[\#I"HFF@->WCQT26N-4DHPM>EKY& M60)NC)TPH1>F3H^XN'0:Q**06#AX%K5\$WQ4M-W<\=V;8-[,V:&=P M9F\$.:>9@X2]GX,2P\++I0D`6QY%U,G>\$-(#'#`VZB=)+PA1=[(\&8)BYKNFTB\$ MF?N.@PF5R%,J"T--\$B\$B&Y#)/#*.D-AX;`_Q0#IRBQ1."@0.J`NDF??'DQ46 M)T(-'.,/"N^?,\$[9D#V4`_8H#JGGV,,J(:<^P!Z5T8#@Q5L!PFXKP!=L8CO] MQ.8RG1G"/&_V+6R-'"6,\$<7V[V`!7=X627-A<4!]X2HANO'8QIE&(()#XG@? M=_&[SNPI"SW6U477+#WN]E88-;;ELN_:7@B%_5#8#X7]4&A"Z=%]UR!"&.J' MH7X8ZHXVNF.?;A%'Z%2Z(1LR[I^\@?HJ0=I*B!M_+]!1F^VNGWI/DI*H_[TDTGH(CJ+L'#\9 M\9-Q``:U\.G\$5W]4!2'%O>?^M0HPK@\$7,137Z]7@4!G\$D"L*J"0[*4&C*A!) MD8B7G_Z\$3*M@7`2':L*TUUEZ&!/JU!*HCI7`\!3W'RX!#T&6ZO]'D4IZ MG1IOBE3"H+(;8[9N;[X_;'6VM[O[[^QRSC[M[M??UKO.K"I[6IGO\Z?>>::* M.QZV8`79\R_EYJIU2E>TYN>"V=,J4E#A`.F+B#3I0T50KWVG9&2V*#K,4^CZ M%<5<*CY*M1+)L\$QS>-(YM/T\$D=`;9O@U!ZKC*.CF4U.!^ 6WC2_7_[U.('I^0]G_P!\K`2B(!4````` ` end
• ## Tst/Short/charseries.stat

 r6c524f 1 >> tst_memory_0 :: 1399642133:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:1170504 1 >> tst_memory_1 :: 1399642133:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:15392768 1 >> tst_memory_2 :: 1399642133:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:15392768 1 >> tst_timer_1 :: 1399642133:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:8632 1 >> tst_memory_0 :: 1400667171:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:956804 1 >> tst_memory_1 :: 1400667171:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:11124736 1 >> tst_memory_2 :: 1400667171:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:11124736 1 >> tst_timer_1 :: 1400667171:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:3556
• ## Tst/Short/charseries.tst

 r6c524f kill r; ring r=3,(x1,x2,x3,x4,x5,y),lp; poly f6= ((y+x1*x3+x2+1)*(y+x3*x4+x1*x3)*(y^3+x3*x4+x1*x3)); ideal I=x1^2+1, x2^2+x1+1, x3^2+x2+1, x4^2+x3+x2+2; ideal K=I,f6; char_series (K); // examples from J. Kroeker ring r=0,(x,y,z),dp; ideal I = -3*y^2-3, -3*x^2+1, -x*y+2*z^2; char_series (I); kill r; ring r=0,(z,y,x),dp; ideal I = -3*y^2-3, -3*x^2+1, -x*y+2*z^2; char_series (I); tst_status(1);\$
• ## Tst/Short/charseries_p.res.gz.uu

 r6c524f begin 644 charseries_p.res.gz M'XL("`C9;%,``V-H87)S97)I97-?<"YR97,`[5I+;^,V\$+[G5PB+'NR58(@< M4@\\$]J'H)4'1R_96I(&DS;9&@S1(9-3NKR_UH#CDB#+MW4,/>XHL<4CZ>W!F MY'SZ]:>[7Z(H8KOHY[L?HP_M>[MYWM/==I]\,?>+8>./P\ZCU9V*>?R-)>QA.Z[9?^0/6S5CQ?L/ M\+"MXI.ZY/8PCH?Q;E@;#P/!'@AX('0#^YVKH7I;I8&+I9OHK_WS<_0V[9HQ M])C;:%8*3QM-!N?09.(R-)F<1Y-E?C2K0DU1B;B5&M!^+S:@+!\$/VU0C.V%: M:3SKF/67:M0\$ZP1H-8'97XQC!%E?`L:'.`[&.*V)=I*" MEL\$0):PHT46=M"3:20E:!;4F?Q@N^^']9:8#,AV0Z8"L#^@OQMES/3C7@W,] M.#>SYWIX0?`O,/Z%BW_1XQ\/H2/D)9FCQ'.4[AQE-X=V2JEG82F50FII(25B M2(>9!B[4)XFLPR7R1D:LPY&S>!%@G3+0.I!:UJG6OQ>AW@\$V[QW@W\X[W9:^ MQB\AIR6RR9)))HN\$N&,T!=Z/Q/[UF61\B.,RX]]+W-)?7N<7>E[]S\T#J,H" M0DW-`]\-\]W\YPSCT!%M>#\$/`)Y2\QT M,*YY!.EA/.81\$IZD15S8U:H-U/+FF5LN?%.@C6//FT9X![:/E2FVI M!9I6!U.L@%Y5V-\$"1PLK6F"Q"!TO[7B)XZ45+[%\$I*T05+=+VI5))"#)784T MI,N5I"_S*\$3.M6=!"I&>1DTN-&J.0I`H`.ME4D@35X\$*0<(06B]G%()\$`5@O M80I!H@"LEU"%(%\$`UHM7(1*5IY(V?A()*".-7T,Z]RRT\*[QTZV>T!EZ.3\$W)C'7-R\$]'TK#PN3G MY=:OT?FXOCG?^-GI%W!R#F[\[(P+.!]?E'Z=A`M60O:GWPP5IQEM_#+DK,QI M_)J9EUY9:..7I]=:)_?T??E"W]<4<8/3;_>AL5.P6E8;IYU-OF8.[L[!K3F& M;*R^B/)>=].TJ8B-1J]8&Q'N1H2U\$6%4:)^W9@;ISB"M&236 MH'WFYJ@PRVG3DR-=Y9DK'/KN.0]M>O+B:N%X>IYBH>=QA(-T`JZ,0H6#=`*N MC+Y*..CM6Q4B'*03<&44)ARD\$W!EY!5.@>JU@A;\!=)5X13\A[%?/B:GY%]+ M/@4I^Z-!.\$T2==LZF)&F[C]VI^A1G:*B,8\]Q7VQ4-Q7+%-S=&=R>=!*L=^R MZ^-:H+>R\5\$+*[P_UE(X^E.Q:8VU!HZ:?V>?](6\O<]1!4>C`HT%JJ=*6I"7 MB."24P8[^U,&2U*6^Q@LQ2*#I:?X+I=^)9ECT"&-EE>A##8S!=4"@U,S5HO!U+LQ MR84Q4K0PAB!F&<6P4S[%D)'2Q8MAL8SA?('"^\$*!XF*(87-?'"Q@B&\$##"G% MD)OCG7&2OQE'\$'.2OX?2CV+(0_,WXXOYF_'Y_,WX0OZVSHY``'7,Q>BAHQ5( M[F2`P(69W*G.70LW<+)F#YL!"ZQ4N6KCP_IC!Q@:,0%_OXTP8."FRWN4+E%) MW*VGP3H./Y=Q-(:C,6,YRBETV*7I);L;N0E4UK=)\$&NUI4[J\O29GDD)1DV0V*'G):FN(,Z??> M<&;D_?#QIYM?DB1AV^3GFQ^3U]US=_VXW[U^^^K#\0G?)G+R?O]EWZW6;U^I MO\EVF[2_-T_/#T_[A^?[K]=?'OZZ?NZ:SAK!-K%CO\$Z>]E]^2YXV/%MUV2YK MLL,Z^_35;2&VR?[30_.8[#<-3[M=ML-T)P=N1;%-OO[Y>\$@^;U8'M6)]M3JD M.Y"KU\$C-I!U?N_6E\7BSV6>?W7PU'/Q^.'FRNI\$V][^RC-UNCGOJC_QV(STV M7'^`VTV3'N20^\LX7<;5LBX=%H*_\$.A"4`OUR>52-C\F1/ MS1AYS'TT&XFGCR:#4V@R/`]-)L;19,4TFDTE7328=L(`JL_B`\HRO-WD!EF+ M:6/PW.F!7&-!M7`V%LJ4Z>%Q%4:;(]T<*4UHMA>1D:!&0I^X2#OU%`YZ1EL: M'\$K"3Q731]CE>4Q?&Q#(64A@R],VC7GD?(1'KHB4JS6G;=J-,LIAG%&.%S/: MR4.JB=;PVO!63APD:G(R[0:^Q3*^6ST0\\0;VMNC`M1R/41C@,8`C0\$Z`S3^ MA5DNS'+AA*69UO@/GX0R'[8IC%UA[`IG5WAVQ=%.#DMC51JKTEF5GE5I3EA% M^%<4_RK\$O]+XIX/I\$?(Z\E%3'W7HHU8^3*34Q@O+8RGDGA;R2`SYX&GX^O*3 M(*'#!8F-(@H=3B*+5PM"IUX8.I![H=.L[ZJEL0-L/':`?[O844?Z3^)E)EJ. M04(%>3)D;,"X:+DX5HXA<%ZTM.GE\1+?5__SX`%290%&P0,DMJ`X'3Q0+@V> MB@0/G!<\]7CP8/X-@P>^!\_WX#D5/\$B*:N11\"")+1SI8,+@P:B'F0@>'&ME M%L4.3C0U>&%3(P^X2VW4[.3V!PGZ\$:SQX!FDH\.GL>%C-,2I]DZV0'9W<,4* MF%W1MT9JC9XU4K&@L1>^O:#VPK,75"+"5PBIVT7-73#1^Q5F-GY]R@2;D MRQJ_UJADMR`7FQ2,)BV?:OQ:EXUW"Q(QZ?;0M8&G&S^2A-%EYU.-'TG!Z'+S M?./GIU^@R7EQX^=G7*#Y^*ST&R1<\!+R=/HM2'%:Q(U?02*K"!J_=N2E5[&T M\2OS2T.GG.C[RIF^KZW2EJ9?]:'U4[#^N">CR\$;RR\B8T]- MNKN:&X=^1%GI@4GHX#0(5/'H'P3#@Z!W\$'0J].];YT&\$'H3G05`-^G=N20JS M,FYZ2J*KL@B%\$[][+IIYJIN<)A\$-T`J&,E@J'Z`1"&?TKX9`W ML,T2X1"=0"BC9<(A.H%01I/"J4B]5L4%?T5T504%_\NQ7^ZS0_:W)Y\J*ON3 M03AMEJACO;B5KN[OU2W:RUL46_=XHKBO9HK[AA72A[J3ZQ>C%/\MN[FND;R5 M37LCK'/[XWXZ)Q,-M\$8#O>\$_.&?\0MX_YU\$%O5.!P8+44W5\$X)K'#*KP MCQFLH[)\BL\$:9QFL)XKO>NY7DC\$&`]+B\FHI@W%5-<.@;<7(]3_/8\$`:4%(G M&*Q)6J_C@KEV!+,\#QD<\G[\$(,NCLGF"09;S.099/EXY,VTF#H- MR01MK:&M64";[9'&LK:ES1QN&5]65QYG+!>\$E*A28WE)'E6Y'C,7S*>&`6__3KS#1U\ID&TYS&)1?& MHJ*%,0(Q*V(,E?)C#%E4NDQB6,UC.%Z@,#Y3H(084MC"%P>>]M_.*OC\$L[/?G!!N%ZJH>"22U M^<[%)EG)WJAG5STH03+=*O6@(-"3ZO,=>#.V=6(B=U'5LSMIGB4]EW][IH=P MIY.6&J(:ZBVX,[?,O-_<9)\+]R#,#N\=L,,^!EJYD=Z0\$7SUMLP\$9S_L*_=_ MPTQVMU_W<'P!2OWRT"\/_?(1OYSXU5C9-V36,82.(70,(XYUR?!&>>97C@4U M-I-'7NQ`S\OQ\&B8EY-H_Z&)"7(9"WD9V[\$@8ZDV]8]EZO_&7IY7;/TV^>'5 )/V2*&7J/)@`` ` end
• ## Tst/Short/charseries_p.stat

 r6c524f 1 >> tst_memory_0 :: 1399642375:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:664412 1 >> tst_memory_1 :: 1399642375:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:2465792 1 >> tst_memory_2 :: 1399642375:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:2465792 1 >> tst_timer_1 :: 1399642375:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:2344 1 >> tst_memory_0 :: 1400667270:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:618652 1 >> tst_memory_1 :: 1400667270:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:2384368 1 >> tst_memory_2 :: 1400667270:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:2425340 1 >> tst_timer_1 :: 1400667270:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:480
• ## Tst/Short/charseries_p.tst

 r6c524f char_series (J); kill r; ring r=3,(x1,x2,x3,x4,x5,y),lp; poly f6= ((y+x1*x3+x2+1)*(y+x3*x4+x1*x3)*(y^3+x3*x4+x1*x3)); ideal I=x1^2+1, x2^2+x1+1, x3^2+x2+1, x4^2+x3+x2+2; ideal K=I,f6; char_series (K);
• ## Tst/Short/primdec_s.res.gz.uu

 r6c524f begin 644 primdec_s.res.gz M'XL(""[;;%,``W!R:6UD96-?__/S7Z+OGI^>K+%>W'Y^N'E9_7#T]SY]U"WP=Z6=RU?2[\$W?ZIH8DNXH> MUP_WT>,,0YKBZ<5\NIC>3I?3U?3N:.JHT#::.IT`VHT&11H-!D4K#09!*(T&03::#(HRMY;,(8)F5)E MD92G%[FGR2:C[,5O_] M??VK1T9LH9T6F+7;P]%#0,O@G24_?IH_7JRGR!#"6HC,=OV\_Z)V`P?QL""LI0/1%"6NHG"W9W5VT2T\IJPM,9Y"V8K&8%,(T2T,8T0 M\4"_,O%*]%NF[.^\$N7KOI'/YW@T7I7*`ABZ\$U(@-@IK.1=<#PHK0F8NDDPS[ MD/*2T8#)]\XI2-I(?%Y<6@ZQ_&'-B%[?N5S?^(1]2%/9`PGOD&/6=6"+6*.[ M&U_)R^`.>OZ'R%SSQ_I" MA/:IS\$I("XC\5JS+,GK4J8J2+EM3JH%@.@P"*>N#0)KU0"#E/1!(\QX(9*D+ M`AER02"#'@ADV`6!C+@@D%\$7!#+F@\$"6.2"0<1<\$LMP%@5GJ@L`,N2`P`P<\$ M9M@!@1EQ06!&>R`P8ST0F&4]\$)AQ%P1FN0L">=H#@1SU0"`'!P1R[()`3EP0 MR*D#`CGKEA7/QD`@Y\,@D.?C(#!/QT%@CO8`@3F,@\`7X&@6<0^!8@\$*7I@2`0I6@8!*(47!"(TN[< M\$*4BN>MG:CSW3@FK:3W=NM`0I?WS090*=%+5L(4\$R5]Q53>/VZF6R*4\$EBSH MJ/+\$L*J):M41!6:IH.D!C"[DR:\$@8\$4VQ`5\J)8_(:Y`D85= MG311G9@V4-F^%I9A4YGP!@@RQ\$S0Y4_12!B/8\M4@7PJ*II*S>*'TB[ME@-M MW&%JDEYB=8PK*G^06JK4?D5Y-T?R5'(042%`@X@*`8PB*@1X%%\$A(..("@\$= M150(V"BB0I#Y\$-56!^S:CN0&(T&3=I]5,=(A4XG56DRQB,&JM&9N(C&Q<'=0 MK)*+>;N#8V+FDZK>03*Q'L12T.US\$Y;I;G\$Z`KTJ7PRI@LEC:T:7VM?6D0CE MCCI&IF#E#=:N4#`-U'9?8AYQ*#:QIT(E::(``'BG]^1_76@+9)> MY?NL'F-8^\$"%3E.I,C_&WW59QX<_5MG(NPI\._-D!G; MB80%^QAAV9`<.L&)3O08^8#O:X1+#".`^<"X=GP`"<2WK[G4`T'P\-C\ZL'O M+6-2(\$X>F8A"\$>ZUPDT@W-D38:^=K7=HPQO]U<+:@!D#8>VEDVD;7;!9\$]5M M3;15#T(P;8LC.16[\DAN5/F(&SGL.AG&*NHY-W)4\$4E+U+&*BI*QRLJ>;4R M6E'1;+RBHGR\HJ+Y6U54+#VMHF+(6U\$Q.%=40;ES176NJ,X5U0D5%<-O55\$Q MM20G[-T]#XG\7O MQ67'P2TGDYQ;@T-:#I.=KZ3WP`-ESXSML@\6EO74ZC4-HN2\$(*7,9,Z`?Q6.*X).,&M-'U_EA[G#Y" M8*"@"2U(&:-4&`F)^`7"0EJ4)"GIP69&NR1P]T)6.UV&@\$?!\$E90,0@Y%+&" MY%BP?`,Q#%:4-"[9J6-1K^QFMOHZ0W,TA.!,D259P>IU_QFMO@&?.F8TR9`\-7'9H;\$(V7L M\$1GRLSUN*V&>D"&=;C_9[O3DSY?+D,.J[^V9#*;3KY8A#S+OSEYHH]GUM3+D M*8,PMP?;/]F^489\P9&:@2`[./=^&QGRZ[G#C(O\V%3\36;(5_/9PDXM)V;F M;S%#\$O.D)2GBCD-'CD#DGW8X1R!Y]Z?6*.=7T???1P^K/Z)5-=]\*5?1W>-_ M-M%/JT=1`"^__^'^8?6DA=OSDE]GS8>\E]/R2]LMI,:A2\$V2"B?5M,K%CSI/ MZDZJ^V,:_[D!I,/G!I".GQM`.GYN`.D>YP:0CI\;0#I^;@"I]]S`.,.W[P`, M!O0._F/4<=VC?XL)B3JI@%0T)U!/Y-R1A@9T2RWN0])60(8&F#SH@\$M=ZFJW3'[4'XIJTE]2L3M37 M!%`G=7M7+39(VQA9)T1=8_`TAE[CL5,DY_+!\$^B<.[/@)9!SRA^X`NI+!2^Y MD[TZ[\$L%[[EA/Q,]8N'+GM@UP'\CZ!<,XP>`M3+)OMU[!X*5+?U[K?1=`L]=#.\@53_;M=Q=#0AO*LV2\%Y-^ M01W?]NAWP!->41T:]UBX<<-- MG';.<)O:Z:*?UZRTZTE)V4#[9F;XD(;:3;V]A.6F7F_20R'OM#L00AYJ!7#8 M2];Z"B((._%V7#W-8V=#XWG/O98/;].3MG]XEYX4K4(;],3@&MJ?)Z:"`_+@ M@=L^F`M/C%2AG'ABT`[EQ)>(V<&\>!K8&,B+)V&C@;QX-(P+YL2CL68P\$QX- MAX,YT-XX^Z*W-B!:9P6*L_LPH_9]X;[[]\$)3 MU?B,AMM_F06YQ\UTB.);4XXG77J'G= M#3NIVE<]2@0VR_C\$'V&;A4T;\$;&9Q%9(VZ]44.,./1\$C1S.`NJ_[0?[-K_Q? 7&^7_R_C[TP6Z?/>GR?\`UY"`)NM1```` M'XL("-M\?%,``W!R:6UD96-?J5LMTD.)_FO+RE9?(F4[#B/1>\$/L:F9(6?X MFOD-*>?];W_[^>]1%*'+Z)>?_QI]]_CP>%%MEM^]F[W?<>`R\$L2/FR^;Q[/S M=S/Y'5U>1E_O-W>K]?7'AXLOZS\N'AX7CZH&OHQ4F5QT[>[\$G;:I(FR0YTMBD8&FT34&M.HO466TVCJ79Q"2T9B]-2FLW-BG2;E%)+1"'AX:??_G6VT+S? MU-'=_%HT\?%A?;]9/UC*J-REZ-WL`[KZRTQLAH^B,+_I2G`U7\W\$IV8L%6.A M6F"BVZ*!#6H%;F1!\ML"%I25+!!!6:DJFK-EB+@B-@2/=MM:6FUM`!?4TM+9":,WL.HM7H0?5QYV[T)R\_\$@'B5 M7)MUEMBLM##Z(H<3M-U4/&*?"79S5FLS46N_%N;MLY8NY+/N+LID!PU="+4]-@CM="YU"PBW!&TNDH-DV(?: M43(J,/FL!P5)&XEO%%?6@%CC8^0IZSKP!:Q>GLQMS8,MS=\$X2[N MS%F\Z+D6+Q51[>[=[.X#2MK:LB#'4A1`4A9MH9V1OH8\$C.N'QW^(R+6X;\Z\$ M:T]D5\$)*0,2W!H\$%.18\$%O1@\$%BP M@T%@D9]`X`D\$_O^"P((?"P*+X@0"3R#P+4`@RK(#02#*T#@(1!FX(!!E^MP0 M92*XJS(URH-3PCIIDJT+#5\$V/!]\$F4`G=0-;2)'\BNNF*VX3)5%("2Q9H*GR MQ+!N2%M+\$P5FJ:%K`8PFY,FA(."6;(@+^%*3K223+<108U&6GQ#7T)*%75J: MM(V8-E!9OQ&685.9&`T09(B9H,M/44D8CV/+5(%\:BJJ2LWBH]4N[98=[8;# MU"1'B34QKJG\((U4J<85%7J.Y*GD**)"@\$81%0*81%0(\"2B0D"F\$14".HFH M\$+!)1(4@]R&JK7+8C>W)#4:*9OT^JV.D7&8KUBBQED4,5JTT9!T?_UID(>PK\>S-DQG8F M8<\$^1E@VI(=.<*H"/48^X!MTE_7>;C'L6'O-,`&87W*I!7SCTYU0P\$>&?'/` M"1[NFU_=^;VE3PKYR==R\$`&?^,1`&'!W]D38:W?K;7I\H[^:6QLQ8\2M/7

#,J0@_)J`AS,RJ2^S(JPO?)J\$AQ2\$9%L[&,2EZPJ#),953R[F0LHY(7*5,9 M%:73&96\6IG,J&@^G5%1/IU1T>*M,BJ6'9=1,>3-J!B<,JJ@W"FC.F54IXSJ MB(R*X;?*J!@Y952GC.J449TRJK`53\^H&'W;C(JQB8R*Y8.,BG&-WN4+.ET6 M%V4>GDIN4T^)9^3,JE49J4JYOKMXKDFBLSIK\$K+\W\7*I.0+_-T-/YG M\;T\UQS<^7`\G?EP,IWY<+I'YL/9=.;#\^G,AW-? MYE.FE1(HS`3%8,@7C73F83+01.XA93U;5))#,;:\$%,HJKBSO\SGQKO?<2GO74YE4)1NR0I*7\$5,Z\$?1+'"<46F#>B=Z^U3[7': M"&&!DJ:T)%6,,F\$DI.(+A(6TK\$A:T8/-C'8QX.:9K'::#.&.DJ6LI*(3LBMB M!5FQM,J?N5Q458\K8I7';SVL;B:+[^!L73,Z0,@^-)C,T+B MB2SV"1'RL]UO*V`>\$2&=9C_9P^F)G\\7(<=5W]HS&0RG+Q8A#S+OQEYHD]'U MM2+D,9TPMP?;/]B^481\QIZ:CB`_./9^&Q'RY8;#](O\J:'XFXR0KS9F2SNT M'!F9O\4(25Y*:-<=ODJ]V8MT&] M@&5!>ZZ*Q@2:F?P)25A@I\0:/4B'2LB80-<&'1&)&S7-UNE/NP?BAO1WU*Q) MVY<)H\$F;_JI:;)"^,K).B'1E\%2&0>6I4R3G[L'CZ)PKL^#]C7/('KB]&4H% M[[C3O1H<2@6ON6\$_\$SUBX;N>V#7`?R'H%PSA2;V2)IOU"8;`FWO%ML?]&AQR M]Y*&K/0*!B]ATGV;]0H&[UR&\]KLNP"ZO1[:0:YXNF^[.Q\2VE">)>.]E_0+ M*O^V1[LC(^\$55:YQCX4;!VSV"2I_NL^&"-KL%^T=HO=4P0VL@:![2,1U(ZH= M*=RJS.8.8I\$=;X>QBH_4CWTQ=Q@QLQ\$5[=R@,1NLI1S\$'';,]>`*)^9ZH\$%X M'*UIGCH;.G;7AC?M44YFSUAXJ\$\,;=P?NB]YZ MAVB=%;2!UC,;W%L;NG0M%-5Z_H)I*6VK7.FO):5<\$M6+N/N2:D7>, MM&/PG6WU[DGM@KL/A<4J)\$OF0;(3F<42C[O-+LK(9J&^6O?8];KS9>VCZB?" M-@OKSB)BLXAI):(VDQH*^XF8.)H!I%_N!_F37_E/&^6_9?S]X0R=O_O3['^- '(SFUZE\$````` ` end

• ## Tst/Short/primdec_s.stat

 r6c524f 1 >> tst_memory_0 :: 1399642925:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:631708 1 >> tst_memory_1 :: 1399642925:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:2621440 1 >> tst_memory_2 :: 1399642925:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:3133440 1 >> tst_timer_1 :: 1399642925:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:436 1 >> tst_memory_0 :: 1400667354:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:631864 1 >> tst_memory_1 :: 1400667354:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:2621440 1 >> tst_memory_2 :: 1400667354:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:3133440 1 >> tst_timer_1 :: 1400667354:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:430
• ## factory/cfCharSets.cc

 r6c524f } CFList modCharSet (const CFList& PS, bool removeContents) { StoreFactors tmp; return modCharSet (PS, tmp, removeContents); } ListCFList charSeries (const CFList& L) } else qs= CFFList (CFFactor (i.getItem(), 1)); qs= CFFList (CFFactor (normalize (i.getItem()), 1)); if ((qs.length() >= 2 ) || (qs.getFirst().exp() > 1)) } for (CFFListIterator k= qs; k.hasItem(); k++) ts.append (k.getItem().factor()); ts.append (normalize (k.getItem().factor())); return ts; } sqrf *= iter2.getItem().factor(); sqrf= normalize (sqrf); L= Union (L, CFList (sqrf)); L= Union (CFList (sqrf), L); } StoreFactors StoredFactors; cs= charSetViaModCharSet (qs, StoredFactors); if (qs.length() - 3 < highestlevel) cs= modCharSet (qs, StoredFactors, false); else cs= charSetN (qs); cs= removeContent (cs, StoredFactors); factorset= StoredFactors.FS1; if (cs.getFirst().level() > 0) if (!cs.isEmpty() && cs.getFirst().level() > 0) { ts= irredAS (cs, indexRed, reducible);
• ## factory/cfCharSets.h

 r6c524f modCharSet (const CFList& PS, StoreFactors& StoredFactors, bool removeContents= true); CFList modCharSet (const CFList& PS, bool removeContents); /// modified characteristic set, i.e. a characteristic set with certain
• ## factory/cfCharSetsUtil.cc

 r6c524f } int minLevel (const CFList& L) { if (L.isEmpty()) return 0; int min= size (L.getFirst()); return min; } /// sort in descending order of length of elements void m= j; m++; if (j.getItem().length() < m.getItem().length()) if ((j.getItem().length() < m.getItem().length()) || (j.getItem().length() == m.getItem().length() && minLevel (j.getItem()) > minLevel (m.getItem()))) { buf= m.getItem(); if (isRat) On (SW_RATIONAL); if (lc(G) < 0) G= -G; return G; } else cF= 0; F= normalize (F); return; testlist.append (CanonicalForm (Variable (i))); // remove already removed factors for (j= StoredFactors.FS1; j.hasItem(); j++) { while (fdivides (j.getItem(), r, quot)) { if (!quot.inCoeffDomain()) r= quot; else break; } } // remove already removed factors r= quot; } } for (j= StoredFactors.FS2; j.hasItem(); j++) { divides= false; while (fdivides (j.getItem(), r, quot)) { if (!quot.inCoeffDomain()) if (j.getItem() != r) { while (fdivides (j.getItem(), r, quot)) { divides= true; r= quot; } else break; } if (divides) removedFactors= Union (removedFactors, CFList (j.getItem())); if (divides) removedFactors= Union (removedFactors, CFList (j.getItem())); } } r= normalize (r); for (j= testlist; j.hasItem() && !r.isOne(); j++) { while (fdivides (j.getItem(), r, quot)) { if (!quot.inCoeffDomain()) divides= false; if (j.getItem() != r) { while (fdivides (j.getItem(), r, quot)) { divides= true; r= quot; else break; removedFactors= Union (removedFactors, CFList (j.getItem())); } } } if (divides) removedFactors= Union (removedFactors, CFList (j.getItem())); } } r= normalize (r); } if (cc.level() > 0 ) { output.append (elem / cc); StoredFactors.FS1 = Union (CFList (cc), StoredFactors.FS1); output.append (normalize (elem / cc)); StoredFactors.FS1 = Union (CFList (normalize (cc)), StoredFactors.FS1); } else output.append(elem); output.append(normalize (elem)); } return output;
• ## factory/cf_generator.cc

 r6c524f #include "gfops.h" #include "ffops.h" bool IntGenerator::hasItems() const { return 1; } CanonicalForm IntGenerator::item() const { return mapinto (CanonicalForm (current)); } void IntGenerator::next() { current++; } CFGenerator * IntGenerator::clone () const { return new IntGenerator(); } bool FFGenerator::hasItems() const CFGenerator * CFGenFactory::generate() { ASSERT( getCharacteristic() > 0, "not a finite field" ); if ( getGFDegree() > 1 ) if (getCharacteristic() == 0) return new IntGenerator(); else if ( getGFDegree() > 1 ) return new GFGenerator(); else
• ## factory/cf_generator.h

 r6c524f virtual void next() {}; virtual CFGenerator * clone() const { return new CFGenerator();} }; class IntGenerator : public CFGenerator { private: int current; public: IntGenerator() : current(0) {} ~IntGenerator() {} bool hasItems() const; void reset() { current = 0; } CanonicalForm item() const; void next(); void operator++ () { next(); } void operator++ ( int ) { next(); } CFGenerator * clone() const; };
• ## factory/facAlgExt.cc

 r6c524f } // i is an integer such that Norm (F (x-i*alpha)) is squarefree CanonicalForm sqrfNorm (const CanonicalForm& F, const Variable& alpha, int& i) CanonicalForm Norm (const CanonicalForm& F, const Variable& alpha) { Variable x= Variable (F.level() + 1); norm= resultant (g, mipo, x); TIMING_END_AND_PRINT (fac_alg_resultant, "time to compute resultant0: "); return norm; } // i is an integer such that Norm (F (x-i*alpha)) is squarefree CanonicalForm sqrfNorm (const CanonicalForm& F, const Variable& alpha, int& i) { Variable x= Variable (F.level() + 1); Variable y= F.mvar(); CanonicalForm g= F (x, alpha); CanonicalForm mipo= getMipo (alpha); mipo= mipo (x, alpha); mipo *= bCommonDen (mipo); int degg= degree (g); int degmipo= degree (mipo); CanonicalForm norm; TIMING_START (fac_alg_resultant); if (degg >= 8 || degmipo >= 8) norm= resultantZ (g, mipo, x); else norm= resultant (g, mipo, x); TIMING_END_AND_PRINT (fac_alg_resultant, "time to compute resultant0: "); i= 0; CFList AlgExtSqrfFactorize (const CanonicalForm& F, const Variable& alpha) { ASSERT (F.isUnivariate(), "univariate input expected"); ASSERT (getCharacteristic() == 0, "characteristic 0 expected"); bool save_rat=!isOn (SW_RATIONAL); On (SW_RATIONAL); CanonicalForm f= F*bCommonDen (F); Variable y= f.mvar(); int shift= 0, k= 0, count= 0; CanonicalForm norm, buf, factor, oldF; CFFList normFactors; bool save_sort= !isOn (SW_USE_NTL_SORT); CFList factors, tmp, tmp2; CFFListIterator i; CFListIterator iter; bool shiftBuf= false; tmp.append (f); do { tmp2= CFList(); for (iter= tmp; iter.hasItem(); iter++) { oldF= iter.getItem()*bCommonDen (iter.getItem()); if (shift == 0) f= oldF; else f= oldF (y - shift*alpha, y); TIMING_START (fac_alg_norm); norm= Norm (f, alpha); TIMING_END_AND_PRINT (fac_alg_norm, "time to compute sqrf norm: "); ASSERT (degree (norm, alpha) <= 0, "wrong norm computed"); TIMING_START (fac_alg_factor_norm); On (SW_USE_NTL_SORT); normFactors= factorize (norm); if (save_sort) Off (SW_USE_NTL_SORT); TIMING_END_AND_PRINT (fac_alg_factor_norm, "time to factor norm: "); if (normFactors.getFirst().factor().inCoeffDomain()) normFactors.removeFirst(); if (normFactors.length() < 2 && normFactors.getLast().exp() == 1) { factors.append (oldF); continue; } i= normFactors; shiftBuf= false; if (!(normFactors.length() == 2 && degree (i.getItem().factor()) <= degree (f))) { TIMING_START (fac_alg_time_shift); if (shift != 0) buf= f; else buf= oldF; shiftBuf= true; TIMING_END_AND_PRINT (fac_alg_time_shift, "time to shift: "); } else buf= oldF; count= 0; for (; i.hasItem(); i++) { TIMING_START (fac_alg_gcd); if (shiftBuf) factor= gcd (buf, i.getItem().factor()); else { if (shift == 0) factor= gcd (buf, i.getItem().factor()); else factor= gcd (buf, i.getItem().factor() (y + shift*alpha, y)); } buf /= factor; if (shiftBuf) { if (shift != 0) factor= factor (y + shift*alpha, y); } TIMING_END_AND_PRINT (fac_alg_gcd, "time to recover factors: "); if (i.getItem().exp() == 1 || degree (factor) == 1) factors.append (factor); else tmp2.append (factor); count++; if (normFactors.length() - 1 == count) { if (shiftBuf) { if (normFactors.getLast().exp() == 1) factors.append (buf (y + shift*alpha, y)); else tmp2.append (buf (y + shift*alpha, y)); } else { if (normFactors.getLast().exp() == 1) factors.append (buf); else tmp2.append (buf); } buf= 1; break; } } } k++; if (shift == 0) { shift++; k= 1; } if (k == 2) shift= -shift; if (k == 3) { shift= -shift; shift++; k= 1; } tmp= tmp2; } while (!tmp.isEmpty()); if (save_rat) Off(SW_RATIONAL); return factors; } /*CFList AlgExtSqrfFactorize (const CanonicalForm& F, const Variable& alpha) { if (save_rat) Off(SW_RATIONAL); return factors; } }*/ CFFList
• ## factory/facAlgFunc.cc

 r6c524f } // Trager's square free norm algorithm: // f a separable polynomial over K (alpha), // alpha is defined by the minimal polynomial Palpha // K need to contain more than S elements (S is defined in Messollen's thesis; // see also getDegOfExt) /// compute the norm R of f over PPalpha, g= f (x-s*alpha) /// if proof==true, R is squarefree and if in addition getCharacteristic() > 0 /// the squarefree factors of R are returned. /// Based on Trager's sqrf_norm algorithm. static CFFList sqrf_norm_sub (const CanonicalForm & f, const CanonicalForm & PPalpha, CFGenerator & myrandom, CanonicalForm & s, CanonicalForm & g, CanonicalForm & R) norm (const CanonicalForm & f, const CanonicalForm & PPalpha, CFGenerator & myrandom, CanonicalForm & s, CanonicalForm & g, CanonicalForm & R, bool proof) { Variable y= PPalpha.mvar(),vf= f.mvar(); Variable y= PPalpha.mvar(), vf= f.mvar(); CanonicalForm temp, Palpha= PPalpha, t; int sqfreetest= 0; CFFListIterator i; myrandom.reset(); s= myrandom.item(); g= f; R= CanonicalForm(0); if (proof) { myrandom.reset(); s= myrandom.item(); g= f; R= CanonicalForm(0); } else { if (getCharacteristic() == 0) t= CanonicalForm (mapinto (myrandom.item())); else t= CanonicalForm (myrandom.item()); s= t; g= f (vf - t*Palpha.mvar(), vf); } // Norm, resultante taken with respect to y while (!sqfreetest) { R= resultante(Palpha, g, y); R= resultante (Palpha, g, y); R= R* bCommonDen(R); R /= content (R); // sqfree check ; R is a polynomial in K[x] if (getCharacteristic() == 0) { temp= gcd (R, R.deriv(vf)); if (degree(temp,vf) != 0 || temp == temp.genZero() ) sqfreetest= 0; if (proof) { // sqfree check ; R is a polynomial in K[x] if (getCharacteristic() == 0) { temp= gcd (R, R.deriv (vf)); if (degree(temp,vf) != 0 || temp == temp.genZero()) sqfreetest= 0; else sqfreetest= 1; } else { Variable X; testlist= sqrFree (R); if (testlist.getFirst().factor().inCoeffDomain()) testlist.removeFirst(); sqfreetest= 1; for (i= testlist; i.hasItem(); i++) { if (i.getItem().exp() > 1 && degree (i.getItem().factor(),R.mvar()) > 0) { sqfreetest= 0; break; } } } if (!sqfreetest) { myrandom.next(); if (getCharacteristic() == 0) t= CanonicalForm (mapinto (myrandom.item())); else t= CanonicalForm (myrandom.item()); s= t; g= f (vf - t*Palpha.mvar(), vf); } } else { Variable X; testlist= sqrFree (R); if (testlist.getFirst().factor().inCoeffDomain()) testlist.removeFirst(); sqfreetest= 1; for (i= testlist; i.hasItem(); i++) { if (i.getItem().exp() > 1 && degree (i.getItem().factor(),R.mvar()) > 0) { sqfreetest= 0; break; } } } if (!sqfreetest) { myrandom.next(); if (getCharacteristic() == 0) t= CanonicalForm (mapinto (myrandom.item())); else t= CanonicalForm (myrandom.item()); s= t; g= f (f.mvar() - t*Palpha.mvar(), f.mvar()); } break; } return testlist; } /// see @a norm, R is guaranteed to be squarefree /// Based on Trager's sqrf_norm algorithm. static CFFList sqrf_norm( const CanonicalForm & f, const CanonicalForm & PPalpha, const Variable & Extension, CanonicalForm & s,  CanonicalForm & g, CanonicalForm & R) sqrfNorm (const CanonicalForm & f, const CanonicalForm & PPalpha, const Variable & Extension, CanonicalForm & s,  CanonicalForm & g, CanonicalForm & R) { CFFList result; { IntGenerator myrandom; result= sqrf_norm_sub (f, PPalpha, myrandom, s, g, R); result= norm (f, PPalpha, myrandom, s, g, R, true); } else if (degree (Extension) > 0) { AlgExtGenerator myrandom (Extension); result= sqrf_norm_sub (f, PPalpha, myrandom, s, g, R); result= norm (f, PPalpha, myrandom, s, g, R, true); } else { FFGenerator myrandom; result= sqrf_norm_sub (f, PPalpha, myrandom, s, g, R); result= norm (f, PPalpha, myrandom, s, g, R, true); } return result; oldR= R; //TODO normalize i.getItem over K(R)? (void) sqrf_norm (i.getItem(), R, Extension, s, g, R); (void) sqrfNorm (i.getItem(), R, Extension, s, g, R); backSubst.insert (s); } sqrfFactors= sqrf_norm (f, Rstar, vminpoly, s, g, R); if (getCharacteristic() > 0) { if (sqrfFactors.getFirst().factor().inCoeffDomain()) sqrfFactors.removeFirst(); Variable X; for (iter= sqrfFactors; iter.hasItem(); iter++) { if (hasFirstAlgVar (iter.getItem().factor(), X)) { // factorize over alg.extension with X tmp= factorize (iter.getItem().factor(), X); } CFGenerator * Gen; if (getCharacteristic() == 0) Gen= CFGenFactory::generate(); else if (degree (vminpoly) > 0) Gen= AlgExtGenerator (vminpoly).clone(); else Gen= CFGenFactory::generate(); CFFList LL= CFFList (CFFactor (f, 1)); Variable X; do { tmp= CFFList(); for (iter= LL; iter.hasItem(); iter++) { f= iter.getItem().factor(); sqrfFactors= norm (f, Rstar, *Gen, s, g, R, false); if (hasFirstAlgVar (R, X)) Factorlist= factorize (R, X); else { // factorize over k tmp= factorize (iter.getItem().factor(), true); } if (tmp.getFirst().factor().inCoeffDomain()) tmp.removeFirst(); for (iter2= tmp; iter2.hasItem(); iter2++) Factorlist= append (Factorlist, iter2.getItem()); } } else Factorlist= factorize (R, true); if (!Factorlist.getFirst().factor().inCoeffDomain()) Factorlist.insert (CFFactor (1, 1)); if (Factorlist.length() == 2 && Factorlist.getLast().exp() == 1) { f= backSubst (f, backSubsts, Astar); f *= bCommonDen (f); f= Prem (f, as); f /= vcontent (f, as.getFirst().mvar()); L.append(CFFactor(f,1)); } else { g= f; for (iter= Factorlist; iter.hasItem(); iter++) { CanonicalForm fnew= iter.getItem().factor(); if (fnew.level() < Rstar.level()) //factor is a constant from the function field continue; Factorlist= factorize (R); if (!Factorlist.getFirst().factor().inCoeffDomain()) Factorlist.insert (CFFactor (1, 1)); if (Factorlist.length() == 2 && Factorlist.getLast().exp() == 1) { f= backSubst (f, backSubsts, Astar); f *= bCommonDen (f); f= Prem (f, as); f /= vcontent (f, as.getFirst().mvar()); L.append (CFFactor (f, 1)); break; } else { fnew= fnew (g.mvar() + s*Rstar.mvar(), g.mvar()); fnew= reduce (fnew, Rstar); } h= alg_gcd (g, fnew, Rstarlist); numinv= QuasiInverse (Rstar, alg_LC (h, algExtLevel), Rstar.mvar()); h *= numinv; h= Prem (h, Rstarlist); h /= vcontent (h, Rstar.mvar()); if (h.level() >= Rstar.level()) { g= divide (g, h, Rstarlist); h= backSubst (h, backSubsts, Astar); h= Prem (h, as); h *= bCommonDen (h); h /= vcontent (h, as.getFirst().mvar()); L.append (CFFactor (h, 1)); } } // we are not interested in a // constant (over K_r, which can be a polynomial!) if (degree (g, f.mvar()) > 0) L.append (CFFactor (g, 1)); } CFFList LL; if (getCharacteristic() > 0) //do I really need this part? { CFFListIterator i=L; CanonicalForm c_fac=1; CanonicalForm c; for(;i.hasItem(); i++ ) { CanonicalForm ff=i.getItem().factor(); c=alg_lc(ff); int e=i.getItem().exp(); ff/=c; if (!ff.isOne()) LL.append(CFFactor(ff,e)); while (e>0) { c_fac*=c;e--; } } if (!c_fac.isOne()) LL.insert(CFFactor(c_fac,1)); } else { LL=L; } g= f; for (iter2= Factorlist; iter2.hasItem(); iter2++) { CanonicalForm fnew= iter2.getItem().factor(); if (fnew.level() < Rstar.level()) //factor is a constant from the function field continue; else { fnew= fnew (g.mvar() + s*Rstar.mvar(), g.mvar()); fnew= reduce (fnew, Rstar); } h= alg_gcd (g, fnew, Rstarlist); numinv= QuasiInverse (Rstar, alg_LC (h, algExtLevel), Rstar.mvar()); h *= numinv; h= Prem (h, Rstarlist); h /= vcontent (h, Rstar.mvar()); if (h.level() >= Rstar.level()) { g= divide (g, h, Rstarlist); if (degree (h) == 1 || iter2.getItem().exp() == 1) { h= backSubst (h, backSubsts, Astar); h= Prem (h, as); h *= bCommonDen (h); h /= vcontent (h, as.getFirst().mvar()); L.append (CFFactor (h, 1)); } else tmp.append (CFFactor (h, iter2.getItem().exp())); } } } } LL= tmp; (*Gen).next(); } while (!LL.isEmpty()); if (!isRat && getCharacteristic() == 0) Off (SW_RATIONAL); return LL; delete Gen; return L; } factor= M (factor); transform.append (factor); transform= charSetViaModCharSet (transform, false); transform= modCharSet (transform, false); for (i= transform; i.hasItem(); i++) {
• ## factory/facAlgFuncUtil.cc

 r6c524f #include "cf_assert.h" #include "canonicalform.h" #include "facAlgFuncUtil.h" #include "cfCharSetsUtil.h" } // // missing class: IntGenerator: bool IntGenerator::hasItems() const { return 1; } CanonicalForm IntGenerator::item() const //int IntGenerator::item() const { //return current; //CanonicalForm( current ); return mapinto (CanonicalForm (current)); } void IntGenerator::next() { current++; } CanonicalForm alg_lc (const CanonicalForm & f) { CFListIterator j= b; CanonicalForm result= f, tmp, powj; for (CFListIterator i= a; i.hasItem() && j.hasItem(); i++, j++) { if (!isFunctionField) result= result (j.getItem(), i.getItem().mvar()); else { tmp= j.getItem(); j++; powj= power (j.getItem(), degree (result, i.getItem().mvar())); result= evaluate (result, tmp, j.getItem(), powj, i.getItem().mvar()); if (fdivides (powj, result, tmp)) result= tmp; result /= vcontent (result, Variable (i.getItem().level() + 1)); CFListIterator i= a; int length= a.length(); int count= 0; for (; i.hasItem() && j.hasItem(); i++, j++, count++) { if (length - count == 2) { if (!isFunctionField) { result= result (b.getLast(), a.getLast().mvar()); result= result (j.getItem(), i.getItem().mvar()); break; } else { tmp= b.getLast(); j++; j++; powj= power (tmp, degree (result, a.getLast().mvar())); result= evaluate (result, j.getItem(), tmp, powj, a.getLast().mvar()); if (fdivides (powj, result, tmp)) result= tmp; result /= vcontent (result, Variable (a.getLast().level() + 1)); j--; j--; tmp= j.getItem(); j++; powj= power (j.getItem(), degree (result, i.getItem().mvar())); result= evaluate (result, tmp, j.getItem(), powj, i.getItem().mvar()); if (fdivides (powj, result, tmp)) result= tmp; result /= vcontent (result, Variable (i.getItem().level() + 1)); break; } } else { if (!isFunctionField) result= result (j.getItem(), i.getItem().mvar()); else { tmp= j.getItem(); j++; powj= power (j.getItem(), degree (result, i.getItem().mvar())); result= evaluate (result, tmp, j.getItem(), powj, i.getItem().mvar()); if (fdivides (powj, result, tmp)) result= tmp; result /= vcontent (result, Variable (i.getItem().level() + 1)); } } }
• ## factory/facAlgFuncUtil.h

 r6c524f #ifndef FAC_ALG_FUNC_UTIL_H #define FAC_ALG_FUNC_UTIL_H #include "cf_generator.h" // missing class: IntGenerator: class IntGenerator : public CFGenerator { private: int current; public: IntGenerator() : current(0) {} ~IntGenerator() {} bool hasItems() const; void reset() { current = 0; } CanonicalForm item() const; void next(); void operator++ () { next(); } void operator++ ( int ) { next(); } }; CFFList
Note: See TracChangeset for help on using the changeset viewer.