Changeset d7295f in git


Ignore:
Timestamp:
Jun 4, 2014, 6:39:49 PM (9 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')
Children:
46910f09e2ffdd42db288183ad8cc87f54cd98c3db61bce8e867c4626eb979b69b0420a219188ac0e856cc112e78822a39ea478cf92c08bdac87661e
Parents:
42aa8b885057d0efb3d7c9eb85289d8d9b2e1e7f17f7438e0f4860ab1688bce1faa8ee72ca1ea450
Message:
Merge pull request #597 from mmklee/bug_fix

Bug fix and factory doumenation
Files:
3 added
36 edited
2 moved

Legend:

Unmodified
Added
Removed

  • Tst/Long/ok_l.lst

    r42aa8b8 rd7295f  
    77bug_res
    88brnoeth_l
     9charseries_l
    910classify_l
    1011deform_l

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

    r42aa8b8 rd7295f  
    11begin 644 charseries.res.gz
    2 M'XL(""1\?%,``V-H87)S97)I97,N<F5S`-5836_C-A"]YU<0BQYL2_)J9O@A
    3 M(;`/12_)%GO9WHHX2+M.:ZPW"1P5E?/KRR^1E&2GB9-#&P2V),X,.>^-WI#^
    4 M\LM/%Y\98[!D/U_\R#XTC\U\N_GMP_G9%S^"2Q:N:<ZTP?7F;M-,IN=GYILM
    5 ME^SW/V]VC^O=9OTXOUO_/7]L;IK@PA-W,6>[S=T?;+<H\TD+>8MY2WG+\U;D
    6 M^VF^?8BSRB5[N-_NV2TL)I-]UL*LI:Q%?3&=3?8%SEI<Z3O2'_:)N=$VYM%T
    7 M&L.H)=M\7=]LV<5"3[C"HM6>H(WT9V'^]0KL8[*/S0-_9TQM_+PP`W:RGHT;
    8 MU;;)=%4WW>7B(K^%.%`[D*X=2FQRJ9VN?X4<KA9@5K12&;??LD`SS4ID]HL7
    9 M`.:;,CZSBQ!F#6!]\6I16$MC9Q8LK8>S-!GX*^NS0IN2@<B`9Y*P0>AJX=RI
    10 MX'UW*GK.9-U6+@;Y&%2XI7"]%`*NI$L!2B&A<FG(JI0^%5+@GNJHVL#'`U[7
    11 M%ME*E6*FJ>52ZJ#X!FSP/;#!=\$&#394D8<F`P"L'#0%""[+RD46$AU,>BZH
    12 M2^4R`EE"@DV&0*4!A]X`#KT'./0NX)`!1Q<+=>!47'IL*JS!0\-YS5W9%"@4
    13 M]]`@YS*!1L>O@'?O&Y11=0#F[-MFNV6[\#I"HFF@->WCQT26N-4DHPM>EKY&
    14 M60)NC)TPH1>F3H^XN<B&"@3">'0:Q**06#AX%K5$WQ4M-W<\=V;8-[,V:&=P
    15 M9F$.:>9@X2]GX,2P\++I0D`6Q<T&YYV();-K9S>Y%U,G><ZV6T*B?9V;7E),
    16 M6<64K0YB'*K,T$@)N]%Z'FC!TE@.>$-(#'#`VZB=)+PA1=[(\&8)BYKNFTB$
    17 MF?N.@PF5R%,J"T--$B$B&Y#)/#*.D-AX;`_Q0#IRBQ1."@0.J`NDF??'DQ46
    18 M)T(-'.,/"N^?,$[9D#V4`_8H#JGGV,,J(:<^P!Z5T8#@Q5L!PFXKP!=L8CO]
    19 MQ.8RG1G"/&_V+6R-'"6,$<7V[V`!7=X627-A<4!]X2HANO'8QIE&(()#XG@?
    20 M=_&[SNPI"SW6U477+#WN]E88-;;ELN_:7@B%_5#8#X7]4&A"Z=%]UR!"&.J'
    21 MH7X8ZH<A&P9T)];E8@5-0QX`D%$Y28V$E:IDN'XQQ;SL*!8'*=9MQI&LV\L!
    22 MFCE$FH^Q[*X=T>XVNF.?;A%'Z%2Z(1LR[I^\@?<T)AZ*^<H"2./1H7C/5@)/
    23 M-O9<C"J!)X7"U<LKH>HJ0=I*B!M_+]!1F^VNGWI/DI*H_[TDTGH(CJ+L'#\9
    24 M\9-Q``:U\.G$5W]4!2'%O>?^M0HPK@$7,137Z]7@4!G$D"L*J"0[*4&C*A!)
    25 MD8B7G_Z$3*M@7`2':L*TUUEZ&!/JU!*HCI7`\!3W'RX!#T<H`I^"3#;&<KPQ
    26 ME@F=DE*^FOQ9QB0_PEC39ZQ)&&N&C$DQ8*QY(6-2'F%,JN.,-?94?RICS6SX
    27 MDF$OZ$FD-1&HR%C24F4]8DPEA"IX!6,*GV?L,$6*3J1(\2,4J>&6ZO]'D4IZ
    28 MG1IOBE3"H+(;8[9N;[X_;'6VM[O[[^QRSC[M[M??UKO.K"I[6IGO\Z?>>::*
    29 M.QZV8`79\R_EYJIU2E>TYN>"V=,J4E#A`.F+B#3I0T50KWVG9&2V*#K,4^CZ
    30 M%<5<*CY*M1+)L$QS>-(YM/T<U"DY5,=S`'SBV>$D=`;9O@U!ZKC*.CF4U.!^
    31 6WC2_7_[U.('I^0]G_P!\K`2B(!4`````
     2M'XL("-+FCE,``V-H87)S97)I97,N<F5S`-5836_C-A"]YU<0BQYLB?**')*2
     3M$=B'HI<DQ5ZVMR(._"%_9+U)X*BHG%_?(2F*E&6GB9/+`H$UI#A#SGN/0RK?
     4M__KCZALAA(W)GU>_DR_E<SG8;F9?+B^^UV_XF#0V#`@.N-L\;,I>__)"/\EX
     5M3.;KZ>ZYV&V*Y\%#\>_@N9R6C8L(W.6`[#8/*[(;I;17,5IQ6@&M!*TDW??I
     6M]LG/JL;DZ7&[)TLVZO7V<<6B"N**H]&/>ON$1Q6?8`OPQ_3H!H[17?V^#Y.-
     7MR6913+?D:H033GA2H2?#0?B;Z#]<@>D&TZT[ZI8>:N+31+\PD[7&V+<X-I@N
     8M=]-=CZ[HDOD70PO2G46)]*[1Z>YO1MGMB.D53;)8F*=*N)YF(F/S$`EC^@FQ
     9MB,PBI%X#,[[\=I28D7J<7K`R'G:DSJ"VC,^$FY0T1!H\G80)`K<CZPZ):+M#
     10MTG(&XS:Q,:".`8E=BL"E`!.9LBFP5"J6VS14GJHZ%<B8[<6H.*".Q\1P:)#-
     11MLU1&2*U0"H/R#V##/P,;_BG8<(T-Y%!#$S/&>&ZA29@4*LUM9*FXA0GG8L,T
     12MLQDQE;(`FY@S2#4X\`%PX#/`@4\!!S0X*!9PX.1"U=CD?,AJ:(08"BN;A,M,
     13MU-!P(50`#<;/F7#[C:6^ZC`V(#\VVRW9-=N1!36-P9N+$A.N*(D1Z9F:TS.`
     14M])$:_=MSCZ32P`2%B$E?B(BEEA);PK2ARQC.2RIAZHQW4[Z@$*PHPK_)3E<4
     15M&]_5"%VS<*)FM]NZY;:MKJJB;DJM"\14Q'NW`9M0O!V*MT/Q=BBN0^';O9-J
     16M$P;:8:`=!MIAP(1A6!.P:FMH8X2\`2`/.!QV*.:!`CA[,\6<.XKE48I1\)9D
     17M%/H1FCEXFD^Q;&U+M&UZ=]&F6_HW\ERZ67S(>-WS`=[#F/Q8S'<*((P'Q^*]
     18MJ@2N`JJSKA("H?#AFY4`J5.",DKP5Q!F-[H!S'2:^P>T>KPD@/V_)$(]>$?N
     19M'&_T94+Y%W"@A9LSMWY'!4V*^YK[]U:`K@9LQ$9<[Z\&QV3@0TZ@026X:(+L
     20MJ``"D4#V=A7DH0JZ(CBF"7W"1>&U$(9G2D"D)R0@V*\C@1J.1@0NA>`,%M#A
     21M2P1TBM9W0TE?94RH$XR5;<;*@+'RD#&1'3!6OI6Q_!1CAU\``6.E^;XXE[$R
     22M.MQDO!7T+-)*#U3#F`R.5-F]5,F`4`GO8$R*UQD[3I&49U(DU0F*Y.&5ZA>D
     23M*#CK9/=2I`(&5>M2-*4S.J<+6M`E7=$UO>_3A6=(-4?19D06T2PIHBDE\ZA(
     24MEM&,DA4:ZVA!R3I:)O=1X?T.3ZJ-1S29+>)IT7S(SK&U=(`FLU4\73=?EG-L
     25MW3LL4V,H:Q@8IP[!F<-N[E!+BE6\6#O$DB6V[DVK]@?G#\X?G+\Y?1;NT%D9
     26M0^D8Z[C0,81VG1D#70MCH.O:&,*&%V[!PDTHW812>RV,H1.>%_%L:5K"3B;-
     27M@N?K>'9O6K6_TOX+8]2S*NV_-(9P8Z0SC)<C(ZBHJGM`JN"`5'A`?OU*BFKZ
     28M\VF+O"UWCS_)]8#<[!Z+'\6N&9:WSE&ZIR]MV?ASCXQ(`N8K#:BV*GL*)I7^
     29MJ(U>)GY[9NF!9JZ\9@"_09N3;>]..8U?A6%>FAMAQGPN&>^DFD'P6H0YO&`.
     30M52N'3)Z3@SJ=`^,O(CZ>!&80[ZLF2!:L$I%N[*'])YS^+]L_SSW6O_SMXC_N
     31'E'LRQA,`````
    3232`
    3333end

  • Tst/Short/charseries.stat

    r42aa8b8 rd7295f  
    1 1 >> tst_memory_0 :: 1400667171:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:956804
    2 1 >> tst_memory_1 :: 1400667171:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:11124736
    3 1 >> tst_memory_2 :: 1400667171:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:11124736
    4 1 >> tst_timer_1 :: 1400667171:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:3556
     11 >> tst_memory_0 :: 1401874129:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:969464
     21 >> tst_memory_1 :: 1401874129:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:11137024
     31 >> tst_memory_2 :: 1401874129:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:11137024
     41 >> tst_timer_1 :: 1401874129:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:3635

  • Tst/Short/charseries.tst

    r42aa8b8 rd7295f  
    1010
    1111kill r;
    12 
    13 //ring r=0,(x4,x3,x2,x1,x5,y),dp;
    14 //poly f2=((y+x1)*(y-2*x4)*(y+x2+x3));
    15 //ideal I= x1^2+x3*x1-x1*x4+x2^2-x2+x3*x4-x4^2-x4,x1^2+x2*x1-x1*x4+x2^2+x3*x2+x2+x4^2-x4
    16 //          , 1+x1*x2-x1*x3+x1*x4+x1+x2^2-x3*x2+x2*x4-x2+x3^2+x3*x4-x4^2 , x1^2+x1*x2+x3*x1+x1*x4-x2^2+x3*x2-x2+x3^2-x3*x4-x4^2+x4;
    17 //ideal J=I,f2;
    18 //char_series (J);
    19 
    20 //kill r;
    21 
    22 //ring r=0,(x1,x2,x3,x4,x5,y),dp;
    23 //poly f3=((y-2*x4^2+x3*x1+x2+1)*(y+x2^2+x3*x4+x1*x3+2));
    24 //ideal I=-1-x1^2+x3*x1+x2^2-x3*x2+x3^2-x3*x4+x4^2+x4 , 1+x2*x1+x3*x1+x1-x3*x2-x2*x4+x2-x3^2-x3*x4-x3 , 1+x1*x3+x1*x4+x1+x2^2+x2*x4-x2-x3-x4^2 ,
    25 //     x1^2+x1*x2+x3*x1+x1*x4-x1-x2*x4-x3^2+x3*x4-x3+x4^2+x4;
    26 //ideal J=I,f3;
    27 //char_series (J);
    28 
    29 //kill r;
    3012
    3113ring r=0,(x1,x2,x3,x4,x5,y),lp;
    … …  
    7759kill r;
    7860
     61ring r=0,(a,b,c,d,e,f,g,h,j),dp;
     62ideal i= d*b-e*a, c*e-f*b, g*e-h*d, h*f-j*e;
     63char_series (i);
     64
     65kill r;
     66
    7967// examples from J. Kroeker
    8068ring r=0,(x,y,z),dp;

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

    r42aa8b8 rd7295f  
    11begin 644 charseries_p.res.gz
    2 M'XL("(=\?%,``V-H87)S97)I97-?<"YR97,`[5I-C]LV$+WG5PA!#_9*68B<
    3 MH3X0V(>BETV*7I);L;N0E4UK=)$&NUI4[J\O29GDD)1DV0V*'G):FN(,Z??>
    4 M<&;D_?#QIYM?DB1AV^3GFQ^3U]US=_VXW[U^^^K#\0G?)G+R?O]EWZW6;U^I
    5 MO\EVF[2_-T_/#T_[A^?[K]=?'OZZ?NZ:SAK!-K%CO$Z>]E]^2YXV/%MUV2YK
    6 MLL,Z^_35;2&VR?[30_.8[#<-3[M=ML-T)P=N1;%-OO[Y>$@^;U8'M6)]M3JD
    7 M.Y"KU$C-I!U?N_6E\7BSV6>?W7PU'/Q^.'FRNI$V][^RC-UNCGOJC_QV(STV
    8 M7'^`VTV3'N20^\LX7<;5LBX=%H*_$.A"4`OUR>52<ZS:P<7RZ^2/_>-C\F1/
    9 MS1AYS'TT&XFGCR:#4V@R/`]-)L;19,4TFDTE7328=L(`JL_B`\HRO-WD!EF+
    10 M:6/PW.F!7&-!M7`V%LJ4Z>%Q%4:;(]T<*4UHMA>1D:!&0I^X2#OU%`YZ1EL:
    11 M'$K"3Q731]CE>4Q?&Q#(64A@R],VC7GD?(1'KHB4JS6G;=J-,LIAG%&.%S/:
    12 MR4.JB=;PVO!63APD:G(R[0:^Q3*^6ST0\\0;VMNC`M1R/41C@,8`C0$Z`S3^
    13 MA5DNS'+AA*69UO@/GX0R'[8IC%UA[`IG5WAVQ=%.#DMC51JKTEF5GE5I3EA%
    14 M^%<4_RK$O]+XIX/I$?(Z\E%3'W7HHU8^3*34Q@O+8RGDGA;R2`SYX&GX^O*3
    15 M(*'#!8F-(@H=3B*+5PM"IUX8.I![H=.L[ZJEL0-L/':`?[O844?Z3^)E)EJ.
    16 M04(%>3)D;,"X:+DX5HXA<%ZTM.GE\1+?5__SX`%290%&P0,DMJ`X'3Q0+@V>
    17 MB@0/G!<\]7CP8/X-@P>^!\_WX#D5/$B*:N11\"")+1SI8,+@P:B'F0@>'&ME
    18 M%L4.3C0U>&%3(P^X2VW4[.3V!PGZ$:SQX!FDH\.GL>%C-,2I]DZV0'9W<,4*
    19 MF%W1MT9JC9XU4K&@L1>^O:#VPK,75"+"5PBIVT7<E0DB(,%#A;11ERNBOFQ"
    20 M(6*L/5ND$#'1J(F91BU0"!$%4+U8A;1ILU`A1!AH]')"(4040/6R3"%$%$#U
    21 MLE0A1!1`]3*I$$'*4Q$W?H((J(@:OS;JW(NEC5]Q<>-73#1^Q5F-GY]R@2;D
    22 MRQJ_UJADMR`7FQ2,)BV?:OQ:EXUW"Q(QZ?;0M8&G&S^2A-%EYU.-'TG!Z'+S
    23 M?./GIU^@R7EQX^=G7*#Y^*ST&R1<\!+R=/HM2'%:Q(U?02*K"!J_=N2E5[&T
    24 M\2OS2T.GG.C[RIF^KZW2EJ9?]:'U4[#<U@1.-YI\G0\>^N">CR$;RR\B8T]-
    25 MNKN:&X=^1%GI@4GHX#0(5/'H'P3#@Z!W$'0J].];YT&$'H3G05`-^G=N20JS
    26 M,FYZ2J*KL@B%$[][+I<V/65UL7`F>IYJIN<)A$-T`J&,E@J'Z`1"&?TKX9`W
    27 ML,T2X1"=0"BC9<(A.H%01I/"J4B]5L4%?T5T504%_\NQ7^ZS0_:W)Y\J*ON3
    28 M03AMEJACO;B5KN[OU2W:RUL46_=XHKBO9HK[AA72A[J3ZQ>C%/\MN[FND;R5
    29 M37LCK'/[XWXZ)Q,-M$8#O>$_.&?\0MX_YU$%O5.!P8+44W5<D->$X)K'#*KP
    30 MCQFLH[)\BL$:9QFL)XKO>NY7DC$&`]+B\FHI@W%5-<.@;<7(]3_/8$`:4%(G
    31 M&*Q)6J_C@KEV!+,\#QD<\G[$(,NCLGF"09;S.099/EX<LWRF..Y>Y,VTF#H-
    32 MR01MK:&M64";[9'&LK:ES1QN&5]65QYG+!>$E*A28WE)'E<A9\.KDA'.HGIM
    33 MBC.6SW+&QJLRQF:JLEV5RLTZ&W'>6Y'C,7S*>&`6__3KS#1U\ID&TYS&)1?&
    34 MHJ*%,0(Q*V(,E?)C#%E4NDQB6,UC.%Z@,#Y3H(084MC"%P<S&%+8@$(:8\C=
    35 M]<YXE+\9)Q#S*'\/I5^,(5^:OQF?S=^,C^=OQF?RMW=W+`30V)R-'KE:(<J=
    36 M#`BX,)([Y;WKX09!UM2P.;#`2Y6K+GU97RG`R`H+_+M-0@&#,%V^(^F2E,1J
    37 M/P-6/_Q<QLD:3M8,`2HQ-%N0*PNB+,2`0(51%M(Z\K!`-HL%\E-8($Q@@6'B
    38 M>>>]M_.*OC$L[/?G!!<?"R17#\:W.Q*HT-WND*UZEO4\ZR'K,>N%ZJH>"22U
    39 M^<[%)EG)WJAG5STH03+=*O6@(-"3ZO,=>#.V=6(B=U'5LSMIGB4]EW][IH=P
    40 MIY.6&J(:ZBVX,[?,O-_<9)\+]R#,#N\=L,,^!EJYD=Z0$7SUMLP$9S_L*_=_
    41 MPTQVMU_W<'P!2OWRT"\/_?(1OYSXU5C9-V36,82.(70,(XYUR?!&>>97C@4U
    42 M-I-'7NQ`S\OQ\&B8EY-H_Z&)"7(9"WD9V[$@8ZDV]8]EZO_&7IY7;/TV^>'5
    43 )/V2*&7J/)@``
     2M'XL("#?GCE,``V-H87)S97)I97-?<"YR97,`[3S+DMM&DG=^!6-B#RT6(:&>
     3M`,+1.FSLQ9Z-O<S>-M0.``3[H;8L=U/=(+]^LQY9E4"1;$H[WO!A'-$B4,C,
     4MRLK*=P'^QW__Q\__M5PN^<?E?_[\[\N_[9YW[Q_ON[_]M/A'>"(^+F'PU_LO
     5M][NK=S\M[._RX\=E?]<^/0]/]\/SKU_??QE>WS_OVEU$DA^7\5J]7S[=?[E=
     6M/EV+]=5NW:W;]?[=>O,U3:$_+N\W0_NXO+]N!=MUZTZQ#BX2A/FX_/K[XWZY
     7MO;[:6XAWJZL]ZR1`V2L[PG;B78*OD.+/U_?K;1JO/>._>LZ75S\#SJ__P]?\
     8MTW68T]V*3]=`L17N1GZZ;MD>+L443%`P8<%VS`/**:"D@-(".LX!%-EJDKAX
     9M^7[Y^?[Q<?D4N>:</!93:;8@SZDTN7Q+FEQ]GS2Y/BY-;DY+LZV!1*O83J-`
     10M'2]3@?*U^G1=HF2C3%N49^<N`"8*-8JSC:)DW%T&*)5-KNCDBFZ3PNEUAJ0I
     11MDG8<&[:S3^7>C3A,E$-%]J?.MX_LKBCS[>MG&RCX?`-[P7J6[Z,01_91V(T$
     12M:+>G/=L=W5$AC^^H4#^\HSM@T@[TN*^MZ&%@#U*#0;;S^ZTOV^_>7>CS&X_;
     13MW@<-L.#N4B&"0@2%""HA**2O$5PCN$Z*Y7;:R=_?:8ONIS&(9Q#/)#PSP3,!
     14M#RXKQ*H0JTI8U02K0@[K3/XUE7\]EW_MY,\\:A!YD]%H*(UF3J.Q--!2&J3"
     15MRUP5RHDNE)DRE)Z27S[<:6(Z0A/;,)GI"&)9HK[`=)H+34>6$]-IW]W4E]J.
     16MY,=M1XI_GNU8EOY?[.6,M00CH0KYILE$@TG6\L.V$DS@^ZRE9S]N+[F_^HL;
     17MCR19EE29\4AB6]*\;3RRNM1X:F(\\ON,ISEN/*K\)QJ/_)?Q_,MXWC(>19)J
     18M)3+C4<2VU)$*9FX\*JMA3AB/.E;*7&0[ZD11HWZPJ`$&.Q:MIH/I]R#T(*SC
     19MQN-5QYE/&\T'=4A0W7NS!(JSRY2L2)Q53;$5Q583;$6512&^GN)KBJ\G^)JJ
     20MB)YJ",G;=5Z5::)`6LPUI,^J7)W592<T1!\KSR[2$'VB4--G"K69AA"ED%1?
     21MHH;TK+U00XAB*-27-S2$*(6D^G*9AA"ED%1?+M40HA22ZLM)#=$D/=5YX:>)
     22M`IFL\.NSRMU<6OB9'R[\S(G"SWQ7X3<-N9(&Y!\K_'K4DNZ"6(PA6&%8?JOP
     23MZU,T[BX(Q*3:4ZD,?+OP(T%8I>C\5N%'0K!*L?E\X3<-OY(&YXL+OVG$E30>
     24M?U?XG05<.0G(I\.O(<FIR0L_0RS+S`J__DC3RUQ:^%7ECYI.=:+NJ\[4?7W-
     25M>AI^[4T_#<$P+1K.[FCP333$G(:8T/#1&!8"MF<'DZ\62'!J45'U)`9TF710
     26M4HU74T;4G!$U840E+9SZVT1!SRGH"05-=7#J<RN2F%5YT5,1O:K,7''RWG-U
     27M:=%3U3^L."=JGOI,S3-3'*(G<JY&ERH.T1,Y5Z/_D^*0#FQ[B>(0/9%S-;I,
     28M<8B>R+D:G52<FN1K=9[PUT2OZEG"_RW4R^-ZOSY,U*?.TOZE5YQ^O;1L?4N0
     29M*>\?K1<=P8NJ/CT^D=S79Y+[EAN@87UR\PTU9=IE1W>M2%>6C:A8WUL?CZ=C
     30M,M&!'G5@Q/V?\9DWY*=\!BT8DQ:@+$@^U>0)>4,VN!'Y#EKSSW>PR=+R4SO8
     31MJ+,[V)Q(OIMSIR3'=G"V:7EZ=>D.YEG5F1V,I1AQ_^=W<+9IDF[JB1UL2%AO
     32M\H2Y21O,RW*^@S[N9SO(RRQM/K&#O!3G=I"7QY-C7IY)CG??P#-=O'5.)">V
     33MK<=M:R_8ME@C'8O:<=N0N<OV*^K59,]XJ<FF9)D:+RORN)[OF6^5'-FS+%\[
     34MM6>\/+MG_'A6QOF9K*RK&4RVBQ8WZ8H$-J9;)F9H^=%O0G-;!\^<,)&;%%PX
     35MSY(6SHF(N<EE:#4_ER'/4I>3,JS/R_!X@L+%F01E+D,JMGGCX(P,J=@D%6DN
     36M0Y'<.Q=9_.:"B%AD\=NG?KD,Q:7QFXNS\9N+X_&;BS/Q>^([+A0@XGRW](AK
     37ME5GLY)((5QZ)G>!W)W*3LZCIQ):$)2>A\FK'OKU;68$1B"CX7ZZ75&!R'BY_
     38M(>&2I,1V/A36Z(_+!($1!,8;*,@0IR`N2V91B$LB*I5%(:='$UDH?E862KPE
     39M"R5/R$+-`\\OD[[=).D[)HNX?D'D,I6%(JY'Y=Y=$5&IY-WE^FKDZU&L1[D>
     40MU7K4MJIZ)")I<,WF>GD%M='(5Z.T"LE=J31**P(W:.]OY&0DEDY<E\FJ1GX#
     41MZ.OE*.!WY.Y2WKB@92^5O713B(0>=^;OUS^OMR8]F$>'OR?!^GE0M#"1FY`3
     42M^;II.1KGZ.>%^0N.T3TN=Q\:H)2NF-,5<[KB"%U!Z#I9Q0Y9)"SGA.6<L#Q"
     43MV*4,A:4L5FD7[#4.AGV)%VX<KOTC/PZ#*K[0Q#5QQCJ/=YHHG4[Q3HJR!,WR
     44MM=9F/:RWZ]OUW<36-(EYRX*O6OC;L(%MV=TZPH">%F+5PIKA7W@L5OUJ@'^[
     45MU=:C)-#F_5("I"SLOP)@Y:J'WP%^._C=,C?.E)\HXMENKG%X)N`9H#ZL;IF[
     46MM]1@+,/BP!@,WBC[Z$8ZD!Y^!_CMX'=;>**\Q%E7FQG'!IQS43L:=:!1P]2]
     47MG;S@=M72$1<64Q$R<DI&`AD'KIC'`D)P81?M*#GB_A$A51_C"/97N%45`I<E
     48M_3I$X(0)+Q:'SJI5RWC<4=L(G)CB/?'WA:H:$ST^,"Q+@X;8,WBHT0HW%K1"
     49M^X/=-L:'3_/I&G:=&^.ZF.OJTS5L4BEJ=U=_NKXKM*/B@T<RT*)+@763K!)4
     50M#8WQUET`_3OFHVZ%:7U-FB9M,LT.37*3C'%`"P0-9OZPPR!VA1<U.?-H0U]%
     51M8#,[U&XNA]^DDV9G$\QG_P;Q*[RHZ8MOH<,M$-]U589%Z*9L%Z&3XJEII*:1
     52MFD9J)E$S6*28M%Z#U`Q*SUA:0V#3(#V#]*H0SUN[F]4".^>@!Z8L><N@Y)%2
     53MZD7HI+>V:]47&L86H9V^2>WT=F#@EJ1N"R!FAJ*14KEGP$(+AE=S>`39ARRW
     54MK*JU)P$<M6`,NA2\+2K-2VMCM?*(P&5[YV`#XEUA*F4G]&U[<*^00@-5J2JS
     55MP&/TCE6FK-NBT5IT3`/Z`IOX/0-K$/X17$NOI;ZGO[%4*F"B$@VX#>$8K,/"
     56MM.3`@REY/;"JK!OWR*^KD<:`&36EW,+Z*[?FVJ^+0737)>R7%+R!A95:E>ZI
     57M6QBLNFD\YAW3M>'18$URWJ;*?+NIR>,F^7;>-#SZ]HE/KTKBTUOKS`KKT#8%
     58M_(&G@;\5I.76GX"/+*R#@5\&?I-M;N3:8C"`9P#-`#;ZI0J\+3@=R.,M`>;^
     59M6)=FG:<`U.]$EQ.=3?0S$9^$N+P/S4D?FI,^=!!#7HC0/O1RA'7N+>OVXF`O
     60M]OXB@<_+"L+]B-SOD?M#S$&*Z-_V14P]#ND\=BRBM]H7,84X%+&7:Y.'Y('V
     61MX4$DHB<P.L%HI(,+($EVG=<CI%G+:W%"BVR&,!%B3:L2JTA^UU?#N@65VL`O
     62M_$%0WZZWA1V#IPEWGFM3?4CY8%?$3+`'?2MB&MA#%A+SOQZ<;TS\VEB.Q'@R
     63MI("R04C::6]Q$P;<@BT&C!(#1FS0U$35ZCR%KTD*7]=O:V)-6C-6_T:(^UX9
     64M02?!WL;5?G5@AQL9,9IYG^!"991%TU25S=^UKLJQ:$Q*C\6^,$W9C)!`*ZG4
     65M6$@MJWW4V*BOB@$-!?DL>$L^"O!7G`,E<&DQ(092XS[EPX>HRL?G5^?G5SZG
     66M/@C_''X]@'`0!Q&-X"QG>L:9,P]>EK4>;=95U25@Z$:5(P/#$J(6&%_/TS4S
     67MNB[\%H%P$0BS0+CPA'$7B<DU>7^E(?ZN44?5:+V;*%)#>BO+G2W/5O!OL5_M
     68M"JM#.[C?0WZ]MRJU`VY&>WF`IV(%^F9OBY0F9EUTJF-[8=<+_]J8I4?_@XI7
     69M"'@&JT7]V[-=LMK8AAU3YI>TK(A6NBN2BSPUF]<V$#T[H*X5]C6(E.S%)(ZZ
     70MT*D##6^K1#]).N8\[YASTC$7I&,>=F7C^UYT5P3MEG]_M(U40$'F@?=,M!6V
     71MM7YJ^S:X4['YE1KF$5^1=>JY&$1IR.-J)H;EO*)<?UX_O%LOJ5#JU&=8%@_,
     72M5BVV%+*UX,;5@_.1[71D-?AJ<SJ606T!BHX,&:4APFQ6=X6K05>WX<EG*,SN
     73MBL]I$R"]<A7NZLY5NE,:=&23C?B9U03&\CO!<C!3.L.<LJ45.;(?+Q6VT`YL
     74MK&[A]S,*9LI<'-ED(Y$Y`A.82R/('(694YXRQSUS-ZX?,&<.1Z?[.&7.PU#F
     75M`@QASH]0YA!F3GG*G'#9*NPDU89MIE6SF;SXYCJ5:V*:QQ;^D7P0P8],F4TQ
     76M-Y$TI2)3#KG4?WQ5IZ?4::M1$U?)<.P92^AKI+%JPJ4338H_@I\[AQ>8![H^
     77MZY!2Q%9L4Z.PZV^QIV^KZ47H3GQ>A+[$0TP8`SU!Z0E*3P1Z1>CW!WH"Z0FD
     78M)RD]&>B1=WX"/7^"*'IQ"[Y'889YMPCMB,^+T(YXP`"&)!4E&<X4MT5ZW0Z7
     79MK)">0GH*Z6E*3U-ZFM+3DR5KI*>1GO;T<+M(7!19>2'(69(0J;Q8G@H8]S9@
     80MD'A!OY^+8U;-S=3W_44\G[#F\)!K=XPS=R=BT%N1Z\V(=W,\4F;Q-;%J7']S
     81MXJ3_(BY:6`_!S=2KI*>VZURM)G[N3_9RHO$:1[WYG^S+[='AW'-*?LQSIL?B
     82MKY:E2/FGQMKH)>29]T9X!$K5NY!9]2[(6:606?5^XK4T03^S:E=7(]NSP[OB
     83M"BKX`@`1RAYN=O:I>\:FSV!3^Y7%P*?Q5$ZH,^]6^&JH[0K1]JSKW:V"NSZU
     84M4-INST0[%J(;X7=O/RH0L3O0PF#;'9A[!C\'*-^8.-!Z;?K^3,?B<7@?2S%_
     85MHH:!<L\.>8>%M.53/(PO08T8`^-'7F->L&&4*Q?QG9F\I6Z_FDC1;(R1[%!X
     86MMC0BANZYP"J^"Y<6RQWVN?ZY\-6E0:PJ854)R[]9'L7A>N'2:<$BM,/+N)FI
     87MKA<JZV,*<CXL5.QC'NO$N4#Y`+75X_JW]9?U[^NOZS_63Q.UI%\P;4@^9D^6
     88M[>'99O4`U>1G]IB>-%9%X]F>L-_A#*OT7'/[?`MU*"0:8-#6R71`X8[]GF!<
     89MK;IESGC=++<PRQT;'"P4>P`/W,#U(]NR6_:9_<:^L#\2OK2FL&76'?2`.[BY
     90M'B*W@\V@`7<#?P_LD7UE3\3]V>//'B`'!_W()MQKNQH_;MT->6+LDRVC4G$E
     91MH)O)NIE'F.DIP4-LVK@UWKIUM0X>5_69KJ:VD$Y*::RQLUDI)`[L$:>-@9'S
     92M](1[>=BGN33$RLD@03OI)ZE;B5M<*^<O"4K:?;Q-I[C"'BMF,VO+.V!&C3+G
     93MOFS*^@H;="-#EH4_!/]484)>?[I^=!>-.T>Y9;]YNJ4[.H$5W+(O?@2F^MU?
     94MV6Y3R[X6/LGG,.,?_@JF?$*'U:.[VJ"C&M!1W6;)_$-(]RO,ZP-;PK/EF!*.
     95MJ:(#IK[X6[OX+?O=WU"F1&1*1*8DRDHB4Q*9\N_SWJ8W"V-%\(`5@2\-`E?2
     96M<=6#F?R&1PK`F;W_4K2%/]U$<4G'&3S[B@\"9S)PACM,`J")#;#DH`S)]*LR
     97M<U!/Z^>U?6WG9?UZ)$Y6I!D6QT!AGU??V-/J)2I>!>JY<V.O:4S9L1?V3,>T
     98MQ1T!;I_&C(6S8X<T5MFQ/>"2,5C<"\!]H[A@F*]N+,'9TY)7P'U9'>(Z['')
     99MJ?9:?$OH!<W@%<T@OHVZ1S,XH!'$^/J,ZOJ"ZKH#.;RBRHZHLGM4V0,J;(RU
     100M3ZA<SZA<WU"Y7E"S=B.JUAY5*W9+GS#T/F/HW6'H_8:A]P5KR]<%.>C6B*X1
     101M72.Z1G2-K\RZ4O(5!'M8D--M@R0,DC!(PB`)@QRX`^UQ$0ZSXU=?3QB=GS$V
     102M[S`JCPORN5>%\JMP]AK1:T2O$;U&^=7I:S&[`-"6PR(<\L;OOYX6X;.OYP5^
     103M<;T(GWJ]+L)G7B^`Z;_Y"EPT2,)__/6\B-]\+?!;KY<%?N?UNL!OO,+77JA-
     104M9:3"(Q6GC]_\%5+AD4I22:>3.["=@[]#2O'-:>Y4\QDT\L7?H7I'Y>11.WE4
     105M3Q[UDT<%Y3*N+*HHEY&G^&(UEY%*U%(>/SSD*JY,Q96I2,6IZC.L9^_OD%)4
     106M6!XUENM(R>LL>)I7?X<KTW%E.E**>LNCXG(3*9G(DXD\F;@RI[T[\$H'?U>1
     107M-+$6R<W6,G?#-6G0U_K"`UMA/XJ9^]^ZL@F#K_/D!]O0<%5@P3_$\C_Y0O"9
     108M]K\V5('Z@UIU`9?#=6@.)/B&P@]`/\!#'5<%>,"-\/8K$P_OG@1^7(/!\^.K
     109MQ`3/"3S0]/QX7,>/KR$3O$#XSM66CKZGZ>A;7,I_(RE\X-_7H87GT:X[\.AH
     110M**QM$PU%:`"/2,/2JR*_A$>=X.U1#_((,R"/=H8$;P)\J)>M#%KW=IS?DW:^
     111MIHK"^S6U?M<=/ZU?2X*O"3RLN_D0>C)8]#OV81C?B]L"&0#)Y-`D.G9=R&<?
     112M]JJ=KDN698+OG!RP+S$$/MUN)?B@"YU[Q6^#^FA?]TLP8?]C/P$D*E<>`U),
     113MN`Y-*$I73G$V;A>L1JM"ND6[.6"T#O,17(6X,NR?3/T/-U^7SZ<IS@9M9DK7
     114M1+T/<\O04),)IJ(PF\+30?C8;K-OJCJM591^3730>8-@J6D_9=E,888BM/0(
     115M'1[MV6OPMN@R.IPG&/M*IO2V25;"!84($@%^!V=O7DZ`YVQC,]4ZR271.L>E
     116ME7KK917L:;`O97XPSL]0*7-%-;"?^D?T2&XUA%<]Q1DBCDP^=<XCL6!W`EGX
     117M_AW016Q[';"W-RIA1EMV^L646]ML%76"Z4)W;\9SM$R%=N9@@UT&^0I'V7&.
     118M\41F7ZP<.V8>,`]N9;?%5#CUDS#?36]_8JZ[7<RKI?@9U@83V@&3UA:3UOBU
     119MU0:3U@$STQ8STPUFIH7L!M9O,3^-"6B'">B`":AJ-Q[0(&"%)"M\V:C"GE:%
     120M,#56H"Z?Y*4Q&NAT`R:66TPL8^986*#&G@VQ=B,QC2RJIJD0T^63,%`C2XVG
     121M@)N2#EMD_N&.)!_N2''LQ1*:,4CZP<YR=*\EK?;IZ;FW1")0128$9;3_=U/[
     1226/R_]]GS%W_VT_+?%_P+8]+VP%%4`````
    44123`
    45124end

  • Tst/Short/charseries_p.stat

    r42aa8b8 rd7295f  
    1 1 >> tst_memory_0 :: 1400667270:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:618652
    2 1 >> tst_memory_1 :: 1400667270:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:2384368
    3 1 >> tst_memory_2 :: 1400667270:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:2425340
    4 1 >> tst_timer_1 :: 1400667270:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:480
     11 >> tst_memory_0 :: 1401874231:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:773848
     21 >> tst_memory_1 :: 1401874231:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:2523136
     31 >> tst_memory_2 :: 1401874231:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:2553664
     41 >> tst_timer_1 :: 1401874231:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:648

  • Tst/Short/charseries_p.tst

    r42aa8b8 rd7295f  
    152152char_series (K);
    153153
    154 
     154kill r;
     155
     156ring r=32003,(a,b,c,d,e,f,g,h),dp;
     157ideal i= -1*a-1*d+e+f+h,
     158-2*a^2+2*a*d+2*c*e+2*b*f-1*a-1,
     1593*a^3-3*a^2*d+3*c^2*e+3*b^2*f+3*a^2+4*a-1*d,
     1606*a^3-6*a^2*d+6*b*e*g+6*a^2-3*a*d+4*a-1*d,
     161-4*a^4+4*a^3*d+4*c^3*e+4*b^3*f-6*a^3-10*a^2+4*a*d-1*a-1,
     162-8*a^4+8*a^3*d+8*b*c*e*g-12*a^3+4*a^2*d-14*a^2+4*a*d-3*a-1,
     163-12*a^4+12*a^3*d+12*b^2*e*g-18*a^3+12*a^2*d-14*a^2+8*a*d-1*a-1,
     16424*a^4-24*a^3*d+36*a^3-24*a^2*d+26*a^2-8*a*d+7*a+1;
     165char_series (i);
     166
     167kill r;
     168
     169ring r=31991,(a,b,c,d),dp;
     170ideal i= a*b*c-b*c*d-c*d*a-d*a*b, a^3-b^3-a^3*b^3+c^3+d^3, a*b+b*c+c*d+d*a,
     171a^2, c*a*b+a*b+a+b;
     172char_series (i);
     173
     174kill r;
     175
     176ring r=31991,(x,y,z),dp;
     177ideal i= x^3-y^2, x^3-z^2, y^3-z^2;
     178char_series (i);
     179
     180kill r;
     181
     182ring r=31991,(a,b,c,d,e,f),dp;
     183ideal i=a*b*c+a*b+a*e,a-b*d*e,d*e*f+f,f-e,a-a*b;
     184char_series (i);
     185
     186kill r;
     187
     188ring r=31991,(x,y,z),dp;
     189ideal i=x^3-x^2+y^2, x-y^3, x*y*z+z^3;
     190char_series (i);
     191
     192kill r;
     193
     194ring r=31991,(x,y,z,t),dp;
     195ideal i= t^2+x*t^2-y*t-x*y*t+x*y+3*y, x*t+z-x*y, z*t-2*y^2-x*y-1;
     196char_series (i);
     197
     198kill r;
     199
     200ring r=31991,(d,c,b,a),dp;
     201ideal i= a*b*c-b*c*d-c*d*a-d*a*b, a^3-b^3-a^3*b^3+c^3+d^3,
     202a*b+b*c+c*d+d*a, a^2, c*a*b+a*b+a+b;
     203char_series (i);
     204
     205kill r;
     206
     207ring r=31991, (a,b,c,d,e,f,g,h,k,j), dp;
     208ideal I= -j+a^2*b^2*c^2*d^2*e+a^2*b^2*c^2*d^2*f+a^2*b^2*c^2*d*e^2+2*a^2*b^2*c^2*d*e*f+a^2*b^2*c^2*d*f^2+a^2*b^2*c^2*e^2*f+a^2*b^2*c^2*e*f^2+a^2*d*h-b^2*f*g*c^2*e*k*g-h-k,
     2092*a*d*h+2*a*b^2*c^2*e*f^2+2*a*b^2*c^2*d*f^2+2*a*b^2*c^2*e^2*f+4*a*b^2*c^2*d*e*f+2*a*b^2*c^2*d^2*f+2*a*b^2*c^2*d*e^2+2*a*b^2*c^2*d^2*e,
     210-2*b*c^2*e*f*g^2*k+2*a^2*b*c^2*e*f^2+2*a^2*b*c^2*d*f^2+2*a^2*b*c^2*e^2*f+4*a^2*b*c^2*d*e*f+2*a^2*b*c^2*d^2*f+2*a^2*b*c^2*d*e^2+2*a^2*b*c^2*d^2*e,
     211-2*b^2*c*e*f*g^2*k+2*a^2*b^2*c*e*f^2+2*a^2*b^2*c*d*f^2+2*a^2*b^2*c*e^2*f+4*a^2*b^2*c*d*e*f+2*a^2*b^2*c*d^2*f+2*a^2*b^2*c*d*e^2+2*a^2*b^2*c*d^2*e,
     212a^2*h+a^2*b^2*c^2*f^2+2*a^2*b^2*c^2*e*f+2*a^2*b^2*c^2*d*f+a^2*b^2*c^2*e^2+2*a^2*b^2*c^2*d*e,
     213-b^2*c^2*f*g^2*k+a^2*b^2*c^2*f^2+2*a^2*b^2*c^2*e*f+2*a^2*b^2*c^2*d*f+2*a^2*b^2*c^2*d*e+a^2*b^2*c^2*d^2,
     214-b^2*c^2*e*g^2*k+2*a^2*b^2*c^2*e*f+2*a^2*b^2*c^2*d*f+a^2*b^2*c^2*e^2+2*a^2*b^2*c^2*d*e+a^2*b^2*c^2*d^2,
     215-2*b^2*c^2*e*f*g*k,
     216a^2*d-1,
     217-b^2*c^2*e*f*g^2-1;
     218char_series (I);
     219
     220kill r;
     221
     222ring r= 31991, (a,b,c,d,e,f,g,h,i,j),dp;
     223ideal I=
     224-6*b*c^2*e*f*g^2+2*a^2*b*c^2*e*f^2+2*a^2*b*c^2*d*f^2+2*a^2*b*c^2*e^2*f+4*a^2*b*c^2*d*e*f+2*a^2*b*c^2*d^2*f+2*a^2*b*c^2*d*e^2+2*a^2*b*c^2*d^2*e,
     225-j-b^2*c^2*e*f*g^2-1+a^2*d*h-h+a^2*b^2*c^2*e*f^2+a^2*b^2*c^2*d*f^2+a^2*b^2*c^2*e^2*f+2*a^2*b^2*c^2*d*e*f+a^2*b^2*c^2*d^2*f+a^2*b^2*c^2*d*e^2+a^2*b^2*c^2*d^2*e,
     226-8*b^2*c*e*f*g^2+2*a^2*b^2*c*e*f^2+2*a^2*b^2*c*d*f^2+2*a^2*b^2*c*e^2*f+4*a^2*b^2*c*d*e*f+2*a^2*b^2*c*d^2*f+2*a^2*b^2*c*d*e^2+2*a^2*b^2*c*d^2*e,
     227-16*b^2*c^2*e*f*g,
     228-7*b^2*c^2*e*g^2+2*a^2*b^2*c^2*e*f+2*a^2*b^2*c^2*d*f+a^2*b^2*c^2*e^2+2*a^2*b^2*c^2*d*e+a^2*b^2*c^2*d^2,
     229-6*b^2*c^2*f*g^2+a^2*b^2*c^2*f^2+2*a^2*b^2*c^2*e*f+2*a^2*b^2*c^2*d*f+2*a^2*b^2*c^2*d*e+a^2*b^2*c^2*d^2,
     230a^2*d-1,
     231-b^2*c^2*e*f*g^2-1,
     2322*a*d*h+2*a*b^2*c^2*e*f^2+2*a*b^2*c^2*d*f^2+2*a*b^2*c^2*e^2*f+4*a*b^2*c^2*d*e*f+2*a*b^2*c^2*d^2*f+2*a*b^2*c^2*d*e^2+2*a*b^2*c^2*d^2*e,
     233a^2*h+a^2*b^2*c^2*f^2+2*a^2*b^2*c^2*e*f+2*a^2*b^2*c^2*d*f+a^2*b^2*c^2*e^2+2*a^2*b^2*c^2*d*e;
     234char_series (I);
     235
     236kill r;
     237
     238ring r=31991,(a,b,c,x,y,z),dp;
     239ideal I=a*(x+y+z)-(x-y-z),
     240b*(x+z)-(x+y-z),
     241c*(x-y+z)-(x+y);
     242char_series (I);
     243
     244kill r;
     245
     246ring rr=31991,(a,b,c,d,e,f,g,h,j,k,l,m,n,o,p,q,r),dp;
     247ideal I=d*k,
     248e*g+d*j+c*k+l,
     249b*h,
     250e*l,
     251b*f+b*g+a*h+d*h+b*k+h+o,
     252a*f+d*f+a*g+d*g+c*h+e*h+b*j+a*k+d*k+b*l+f+g+k+m+n+q,
     253c*f+e*f+c*g+e*g+a*j+d*j+c*k+e*k+a*l+d*l+j+l+p+r-1,
     254c*j+e*j+c*l+e*l,
     255e*j+c*l+2*e*l,
     256e*f+e*g+d*j+c*k+2*e*k+a*l+2*d*l+l+r,
     257d*f+d*g+e*h+a*k+2*d*k+b*l+k+q,
     258d*h+b*k,
     259e*k+d*l,
     2602*c*j+e*j+c*l,
     261c*f+2*c*g+e*g+a*j+d*j+c*k+2*j+l+p,
     262a*g+d*g+c*h+b*j+f+2*g+k+n,
     263b*g+h,
     264e*j+c*l,
     265d*g+k;
     266char_series (I);
     267
     268kill rr;
     269
     270ring rr=31991,(r,s,t,u,v,w,x,y,z),dp;
     271ideal i=
     272s*u+r*v,
     273t*u+r*w,
     274t*v+s*w,
     275s*x+r*y,
     276t*x+r*z,
     277t*y+s*z,
     278v*x+u*y,
     279w*x+u*z,
     280w*y+v*z;
     281char_series (i);
     282
     283kill rr;
     284
     285ring r=31991,(a,b,c,d,e,f),dp;
     286ideal i=
     287a*d*e*f+3/2*b*e^2*f-1/2*c*e*f^2,
     288    a*d^2*f+5/4*b*d*e*f+1/4*c*d*f^2,
     289    a*d^2*e+3/4*b*d*e^2+7/4*c*d*e*f,
     290    a*c*d*e+3/2*b*c*e^2-1/2*c^2*e*f,
     291    a*c*d^2+5/4*b*c*d*e+1/4*c^2*d*f,
     292    a*b*d*f+3/2*b^2*e*f-1/2*b*c*f^2,
     293    a*b*d*e+3/4*b^2*e^2-a*c*d*f+1/2*b*c*e*f-1/4*c^2*f^2,
     294    a*b*d^2+3/4*b^2*d*e+7/4*b*c*d*f,
     295    a*b*c*d+3/2*b^2*c*e-1/2*b*c^2*f,
     296    a^2*d*f+5/4*a*b*e*f+1/4*a*c*f^2,
     297    a^2*d*e+3/4*a*b*e^2+7/4*a*c*e*f,
     298    a^2*d^2-9/16*b^2*e^2+2*a*c*d*f-9/8*b*c*e*f+7/16*c^2*f^2,
     299    a^2*c*d+5/4*a*b*c*e+1/4*a*c^2*f,
     300    a^2*b*d+3/4*a*b^2*e+7/4*a*b*c*f,
     301    b*c^3*d+1/4*c*d^3*e,
     302    b^2*c^2*e-1/3*b*c^3*f+2/3*c*d^2*e*f,
     303    b^2*c^2*d-1/2*a*d^4-3/8*b*d^3*e-1/8*c*d^3*f,
     304    b^3*c*e-1/3*b^2*c^2*f+2/3*b*d^2*e*f,
     305    b^3*c*d+3/4*b*d^3*f,
     306    a*c^3*e-1/3*c*d*e^3,
     307    a*c^3*d-3/4*b*c^3*e-1/2*c*d^2*e^2+1/4*c^4*f,
     308    a*b*c^2*f-c*d*e*f^2,
     309    a*b*c^2*e-c*d*e^2*f,
     310    a*b^2*c*f-b*d*e*f^2,
     311    a*b^3*f-3*b*d*f^3,
     312    a*b^3*d+3/4*b^4*e-1/4*b^3*c*f-3/2*b*d^2*f^2,
     313    a^2*c^2*e-2/3*a*d*e^3-1/2*b*e^4+1/6*c*e^3*f,
     314    a^2*b*c*f+3/2*b*e^2*f^2-1/2*c*e*f^3,
     315    a^2*b*c*e+3/2*b*e^3*f-1/2*c*e^2*f^2,
     316    a^2*b^2*f-2*a*d*f^3+3/2*b*e*f^3-1/2*c*f^4,
     317    a^3*c*e+4/3*a*e^3*f,
     318    a^3*b*f+4*a*e*f^3,
     319    a^4*d+3/4*a^3*b*e+1/4*a^3*c*f-2*a*e^2*f^2;
     320char_series (i);
     321
     322kill r;
     323
     324ring r=31991,(x,y),dp;
     325ideal i= x^2, x*y;
     326char_series (i);
    155327
    156328tst_status(1); $

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

    r42aa8b8 rd7295f  
    11begin 644 factorizeQa_s.res.gz
    2 M'XL("!OBM%```V9A8W1O<FEZ95%A7W,N<F5S`)5:2V\DMQ&^[Z]H.#F,IM5J
    3 MLOC.8G4(<@D0!`Z<6V`;6GFUD;WV&I(,J?7K\U613;)G>@W'"VNF6<5B/;\J
    4 MMO3-O__V]W\.PZ"OAW_\_:_#5T^/3U>?[M]_]?;--X5"UP,6O[__Y?[I</'V
    5 M#7\.U]?#W<WMT^>'^]</_[KY_O'JEP_/5X]/-T]UE[D>ZG=[-<SS</?P^>?A
    6 MX^>'UP^?*L5=#0_WOWP<OGEW4)<_7EP>?COHJRNZN'PIGZ_Y\^+RAU^;1OYZ
    7 M^/G^EU\_?UK>_4BC;H1P/?#J\/4[R+GXSAY?^8,F.LJS.4+L15FLF^+5,&8&
    8 M(8.K['KI953VM&7'#P+YA$NKJP&GB@3:LDSR="I6:VRP34W*:N('750>PM&V
    9 MTY2^Q&AZ1EI-VO(@*&/U$NLWGGJ)>OV<&+3U$FV\M&'W6_;F@@U7V/42;;S$
    10 M3S7".K:TTHA$3<+#UTC-_^AO__(&(?H>7][I_(V^S;E0%"V"*1--)HIWIIH;
    11 MXV'Z\:*Y=CS@Z;?5)?)4'305+OA5!-HO"-S*F[8"IR](A.YBCKZ4?ZO=I)H/
    12 M2$MI/=W?_O3A:?B3,:I2J)36P^W`Q76+XGJY7#:%1*86TO!NN$4IS?9VTK/V
    13 MC<66DKI[`<L+05MF@L+RC9R_Q2ZMR%ZT/:Y#A\/=RY<CDX7$V][6FAWDZ]&L
    14 MWG\___SY(Z3!AG82"A[4MV]ZQ98SS8Y+$QJWNBU_0+GCLJM>:F$PBL.P1H&,
    15 MKP2]1@$6(`HW.U$PU$?AI@<T8U87\/:7Z>;B>%CPLS'8C3F_;\S-1<WZ)3]N
    16 M,JS*=)UAOC<LIKH>5KON);ON8=?-Y7O.,EC6ML?>M/N-::DW[69\SPATVY6Z
    17 M57_0-.P=#_<7Q]MJG:Q,LK1KH=4B^O'IAW.Y.WO;NBRO0J@8\#$;<,L&O.\-
    18 M,+T!'W_/`#GP_=A;<"@K^P;8:L"9W/.MZ_)ZR"JDB[/=Q-EZ&AX^_/KYX>G#
    19 M#\/[Y:1IVQK[9^UR6C_OI+7=Q/X9R/L\VD;MJL>A>G(J:'!:KR(%4E8EG[Q2
    20 MZOCR78#RY^O/*/;O_'&9$FGOK%51)Y,H;W''!?$X[.PZ9V<Y%OQFEW\\6V-^
    21 M`WX[[IU,H+A]A7=%@=WO,"]LM3&D=/"!C$TF>%'?*&]#B$Z;E"S9K`X.3"'H
    22 MX(*+"C22X[12VBNG'2D3R,9J*JMGO4G0WFAR0@(_SDDI6D4NZLINLB<G![G!
    23 M.>^4,F(L-D3O-9J.BT:Q]L)/V9/3N3[3KC[B2%CJK4LF*F.5#YF=O$H."];&
    24 MZ*UX*[N60K0NADC&84>.JB;R2<&!+)X]F&T=#UI'R+36F:`<%>X0C?9)*V^T
    25 MKLR&'6.32RGA5.^<S=RCML8%2L9'[71<V:DXQL>`4ZU.RJ:BS4BD8X0K`[O9
    26 MJAII(XGAG$D!<89(M>:D]Y!O@PI.JV*JY0Z$!N84'*-U"AJQ8;^01XE&6)N@
    27 M/?07Y6&IB>Q%2(^6(M;!BT<-MH#`@IWBJOEX@/.49HE:*VP1[JA5L,XF&Y*/
    28 M1668J'%:T`X4DR*"`P,-_`=5`Q(!\<?/BV(='V23MU83C,_>")J2]7"BH59Q
    29 M[#H#NQ3BX+&E.'M"1GFEL95,B-5SG"$:5G%.(*U**4?CO.?R,$%S.HD6$&QT
    30 M0H(8,,,?0<7$N:K@%U8Y.F@'9?(0@\(S[(&$$$1()HZWYTQE=SI4FE8\0HP'
    31 M;Y"%*!J?(M%J&'34!`VT)$OKS$YW`$<KP!$`CN"+!/T"4IHBCA?4B`C(#D$P
    32 M+DBX]J@(+[+,Q.006:0HYW)!10#N#K$@HYGVM6`4M%_89];BVU5D9W6M$?^E
    33 M3>/^)H&^O0V+>$DAYQP`$:#@+"(DZ:B1=2'@`54-L`B4W<"IBPQ0(7K43R2=
    34 MA'U"L6E"U%'F@!%.WXRB@HR<B2CIY#GZ#(?B:,-0!H"&3@`T!N.U;<CL:0C5
    35 M":VP(Q%T$TA"(AL/7/#(;J)<)=F17*V<=!$^AJ\I**ELI\$*9%<&.!,H^%JO
    36 M`@;D-?`71BHN10L5<T,`QJ(_$!(T6/+.%R]RM'0@9P3YT"\45+12O:@D)]5L
    37 M(](\=Y$<*9QM(`4`@))8Z\RA2/&$7$^H8+.6,!]@0H`;$0D^*.E<&'"7@;,]
    38 MHL>U9-6F\SC'U87``'<2%8PPCB$'@>*^$36I;?<A0#)2(OJ8^+_23X%W,`6M
    39 M$2@$[:+:MJ`8(W`0300A4-(IN&83*MX'9`(`+3JKNBZ$]/&!897$SG(*IYR`
    40 ML[9\$+5.9#'K`],L8``M"2W"<RE`,E322#O`&^#'^=**)B`8T`C_B(!F`![C
    41 M17X$?T(XD!((HFW=B)$MN(1L3"&"'`2>5&++T*J#0R-`RONN'R7%?<TQJD7T
    42 M[%*>0-_`:`V<,L!AK+>&A$SDQ`8^0A^0-8,@:H1P)OH8XLB=UM':DTBT58!R
    43 M!GI=<@1@ZPQV<R-#'->82\?CB0)*8TK@]1)Q>,YC:D!PT"2I]05)DO\GWJ5)
    44 M<6$P[A-C=-%JY"RG:.!#*Q-*B9V8[5!JV,7-T7&U<R@24@^-$?ZP:*(.O;WT
    45 M*O1`U#6640=H.@&U*9V""Q@-&<T*/1]'Q=*NM$=M&YXPN"-BG-(^MVX\(I&@
    46 M*?I81)>^6"$$N8=-2"],#C;E&6@$%TQ`M"W:K55YW-M'1X0>8H$D`"<7N'DF
    47 MR2ZDE6.0`Y(C+CPNM"[5O:9SMGN?,ASN]/&.SBXMZ`<.#9H3G#L$&CMK2MQL
    48 MH;NXM]TY>6SG!N87?LOC%E@)#V#!+O`_G(>O9K$CB+0PEN2EQ4\+MB*_9ZL=
    49 M=@3/7T`!3XRR."9%9=$N.</R.N)1U@V?Q[TL$T(LZ[1D:,C"FYR%IU!E\K(-
    50 M<S2(C#0\H[2;`1\Q\@BK`5OYB0\'!F`0<S-/?Q98#$`H#Z("R)C'9N`$P3B#
    51 MBI3OHH8,U3Q2%MDC!E5D8I4M>F),Q/[@<0O`X4XDR!.4XUH$>,<T`^717S`/
    52 M83[QY8G/'P_(;JTK'=D!V8V!H&#D6;ARL`<JF55$<H65.J(VT`4J@VB(I1DA
    53 MPN6&`G]AL=(1X8<(ER`Y^$M^,X.Y=T:=YJO`G#%E;UZ;SRY$>2H#&'+E:]09
    54 MU#J]?N6)+C#6<\4`Z`$):7:\@LK!-43Z"B,N;CT`8Y11X)(\8Y&!S^D9(S\P
    55 M)/!G>WOR@C&$\SHL:T+[A7**FPGY:/F[R1D]:7&S;]D=Q@7[34YJ]+TUN3VG
    56 MGRXI;TGR#Q(YQA8/?&>)->6E)=J5V=>41T"H)+:Q->$Y46PHJ8U9?\UXZ=^Z
    57 M5`Y*.>>\E\N>J2D?K;8M*\N>V%(>,%HS7HH1M\26U$#6+J=S49+B+1A44*]\
    58 M$'^ME<FHOV;\"&!UJF:\U"@0&$6$%60<6I5\S95JN,&U7,<`ZZDE<[Y-!95:
    59 M.G._F_E^Z4JQ8OZWMI(%=/MB@>[(R31[(#0.X-E0=]4BN,*C7-4!X.AL*Y<\
    60 MP[D9`P7"9N1++E/N=ZM+K/.=2[[L+E8'8"321HQ469IH@1D".(2J2]KZQ'7&
    61 MUQMX3GL>F&7:8BHJ@*`P7,65RR.O8+D.^1[!]N*FQ*,FZ@6`;U`)4(_+$CU>
    62 M&BIB!`0DH!3F8P[3.4LI?;@!%V0`)(_1R$%T.L(HR/,.[J9P%O$N&=@P69PQ
    63 M9*1`6$.N2K1O*4O4/*,8ABZ5Y(::,*VQ+V+`C(5P1R=J\J2;/`8CC"D!^,*#
    64 MO.&.S?/R_GLVU[TB<[Z^]I)7GGOOO%S8O/.RT[,9Z9G&Y^[%IXO=B\\7[:8%
    65 M_VMW?-$&)AT7?"1<M[1&:\*31OL#,8W\L20D!XAAXH\E8/B.7)'\@0*`M4BF
    66 MB3\`1"Q3)+:CTQ]]6SPM#>QH1/2`;Z;^BJ.\;:=GPS\ENDM;0A,H4.DRJRR/
    67 MIN/,C*8R>C#:*B!S2CEV.ZD[HL@RX])VI<P%U)9->CUO0Z^'CZX>'O+A>5G7
    68 MLS<&4MNH^[,SCUN/GESU@!S=D9OV(N'TESO;7_'X[E<\7E\-/]U_^C0\U#AZ
    69 MNBZIV/]2X?+U\G&3C;[]>N?D]PJ^_E;GW8`J4;,)QYOR:D#;XRN^/.)ZHP.Z
    70 M\$J+3-.5UF_#,J[FE82A74CY=JP-"%8(/--F0F""JH2V0\N+SY7`5T6,`E%.
    71 MJ<+X%)M)9(54Q76DLJL*+"0R<RS72DWEG+QLRWN3M%EEYL17X[H***J6A]4I
    72 M)"1Y-UB]HHI7Z&R;EG<IE60LVI9-+02NZ&NXP)'(V13?1P=9AK$G.^V$X-&7
    73 M5G%QM;,3I[/34A]01@W<<+*\$TJOGH0Z[:JGJ<N"7KTM`4"F_4QFFW`VZY"L
    74 M:%Z"70FC0:?:)*EI>P#G;-(I8>2+WWI.3=Z\A\?#?$[8$'!)@.OZA%?;<\+9
    75 M^L:<6@BGYM1<.#=']H0=<[8$(+D6<[I",%F8PN`FA%H&YF1'+8)"P)@S(RHU
    76 MJ51)18-1(]0L3274U#;Y2@AUB^499#6&2JG0V4%"LKL':7DE64FXJF\1">IE
    77 MWVC<^/OPA$+H=XC;;"%XO4&<-=#$ORVP/>3$2FE;:I4*8>2W06L9A+6L2$B8
    78 M\N83E,P$@&01=DJ@)DP42)6DDU/S";`6BO6KN%,*%UM!O+BA]%J+07Y':VT[
    79 M/.JU/B'(,05S10.WJX'LJMZ9*/)L:C:`*7MP-YT;MJ>\.O$[QUI0)3:5O>&]
    80 M+^R]]#5B)])%BBG+/!PB=%WF([RRZKO47M>$LZ8NK^*^O?HS=;4S1MPK*)X%
    81 M%+?6D+I$:\O.U[A0*RB14Q"ZC]=HC(M=7J[+G3I21G9''=_*JU>G7R:YCW8M
    82 M2&*$.V&LVJS^PC)&Z=BU'EF<RFEI#>5H@Z.^#\4F,O0X@L7$KRUJ[Y$UY,$&
    83 M4DZ47-/O1,DU5!LEV^*JY(HX6,$U*&[:D<*B\<GWO2.<,!:0@4K6]IU$)HJ)
    84 MWXJ>C4UV]+YK('D)-R??=0@9/2;<?N+9:&4QT9*?PW:M'5^38GM\+>!V?%N:
    85 M^-;>M0[6B9NCBEW;B++8."LJFC9.\A_\O!ONCG=MR5]O7B:>WC6FX$GCSJMF
    86 M7,%3NW@LKX\8E(.9D[J9$,$YOPRGY74*4,`ZOO:^HK;CK'$5QM/$KV_EKGA\
    87 M?6RWEL6]VD>^"N/^G<(-7[Y?#2_XF)_Y5<0K]UN%Y_ST"#0Q\N1>'R?OY>OR
    88 M6.\]2[O6C$N[N=`DUYIVF^C_7`C_K/RK?Q/D0S?<QROYXTK^T\G?'@_ZXNWP
    89 ,YS?_`\@ZJ/F3*0``
     2M'XL(")OGCE,``V9A8W1O<FEZ95%A7W,N<F5S`)5:6V\=MQ%^]Z]8I'TX.JO5
     3MDL-[#>NAZ$N!HDB1OA5Q("N6J\2Q`TN!M/KU_6;();GGK(,T1G3.<H;#N7XS
     4M7.F[?__M[_\<AD%?#__X^U^';QX?'J\^WK_[YO6K[PJ%K@<L_G#_Z?[Q</'Z
     5M%7\.U]?#W<WMX^<O]R_O_W7SP\/5I_=/5P^/-X]UE[D>ZG=[-<SS</?E\R_#
     6MA\]?7MY_K!1W-7RY__1A^.[-05W^='%Y^.V@KZ[HXO*Y?+[DSXO+'W]M&OGK
     7MX9?[3[]^_KB\^8E&W0CA>N#5X=LWD'/QUAY?^(,F.LJS.4+L15FLF^+5,&8&
     8M(8.K['KN953VM&7'#P+YA$NKJP&GB@3:LDSR="I6:VRP34W*:N('750>PM&V
     9MTY2^QFAZ1EI-VO(@*&/U$NLWGGJ)>OV<&+3U$FV\M&'W6_;F@@U7V/42;;S$
     10M3S7".K:TTHA$3<+#MTC-_^CO__(*(?H!7][H_(V^S[E0%"V"*1--)HIWIIH;
     11MXV'ZZ:*Y=CS@Z;?5)?)4'305+OA5!-JO"-S*F[8"IZ](A.YBCKZ4?ZO=I)H/
     12M2$MI/=[?_OS^<?B3,:I2J)36E]N!B^L6Q?5\N6P*B4PMI.'-<(M2FNWMI&?M
     13M&XLM)77W#)9G@K;,!(7E&SE_BUU:D;UH>UR'#H>[YZ]')@N)M[VM-3O(UZ-9
     14MO?]^_N7S!TB##>TD%#RHKU_UBBUGFAV7)C1N=5O^@'+'95>]U,)@%(=AC0(9
     15M7PEZC0(L0!1N=J)@J(_"30]HQJPNX.W/T\W%\;#@9V.P&W-^WYB;BYKU2W[<
     16M9%B5Z3K#?&]83'4]K';=2W;=PZZ;RW><9;"L;8^]:?<;TU)OVLWXCA'HMBMU
     17MJ_Z@:=@['NXOCK?5.EF99&G70JM%],/CC^=R=_:V=5E>A5`QX$,VX)8->-<;
     18M8'H#/OR>`7+@N[&WX%!6]@VPU8`SN>=;U^7UD%5(%V>[B;/U-'QY_^OG+X_O
     19M?QS>+2=-V];8/VF7T_II)ZWM)O9/0-ZGT39J5ST.U9-308/3>A4ID+(J^>25
     20M4L?GMP'*GZ\_H=C?^N,R)=+>6:NB3B91WN*."^)QV-EUSLYR+/C-+O]XML;\
     21M!OQVW#N90''["N^*`KO?85[8:F-(Z>`#&9M,\**^4=Z&$)TV*5FR61T<F$+0
     22MP047%6@DQVFEM%=..U(FD(W55%;/>I.@O='DA`1^G)-2M(I<U)7=9$].#G*#
     23M<]XI9<18;(C>:S0=%XUB[86?LB>G<WVF77W$D;#46Y=,5,8J'S([>94<%JR-
     24MT5OQ5G8MA6A=#)&,PXX<54WDDX(#63Q[,-LZ'K2.D&FM,T$Y*MPA&NV35MYH
     25M79D-.\8FEU+"J=XYF[E';8T+E(R/VNFXLE-QC(\!IUJ=E$U%FY%(QPA7!G:S
     26M53721A+#.9,"X@R1:LU)[R'?!A6<5L54RQT(#<PI.$;K%#1BPWXACQ*-L#9!
     27M>^@ORL-2$]F+D!XM1:R#%X\:;`&!!3O%5?/Q`.<IS1*U5M@BW%&K8)U--B0?
     28MB\HP4>.TH!TH)D4$!P8:^`^J!B0"XH^?%\4Z/L@F;ZTF&)^]$30EZ^%$0ZWB
     29MV'4&=BG$P6-+<?:$C/)*8RN9$*OG.$,TK.*<0%J54H[&><_E88+F=!(M(-CH
     30MA`0Q8(8_@HJ)<U7!+ZQR=-`.RN0A!H5GV`,)(8B03!QOSYG*[G2H-*UXA!@/
     31MWB`+430^1:+5,.BH"1IH29;6F9WN`(Y6@",`',$7"?H%I#1%'"^H$1&0'8)@
     32M7)!P[5$17F29B<DALDA1SN6"B@#<'6)!1C/M:\$H:+^RSZS%MZO(SNI:(_YK
     33MF\;]30)]>QL6\9)"SCD`(D#!641(TE$CZT+``ZH:8!$HNX%3%QF@0O2HGT@Z
     34M"?N$8M.$J*/,`2.<OAE%!1DY$U'2R7/T&0[%T8:A#``-G0!H#,9KVY#9TQ"J
     35M$UIA1R+H)I"$1#8>N."1W42Y2K(CN5HYZ2)\#%]34%+93H,5R*X,<"90\+5>
     36M!0S(:^`OC%1<BA8JYH8`C$5_("1HL.2=+U[D:.E`S@CRH5\HJ&BE>E%)3JK9
     37M1J1Y[B(Y4CC;0`H``"6QUIE#D>()N9Y0P68M83[`A``W(A)\4-*Y,.`N`V=[
     38M1(]KR:I-YW&.JPN!`>XD*AAA'$,.`L5](VI2V^Y#@&2D1/0Q\7^EGP+O8`I:
     39M(U`(VD6U;4$Q1N`@F@A"H*13<,TF5+P/R`0`6G16=5T(Z>,#PRJ)G>443CD!
     40M9VWY(&J=R&+6!Z99P`!:$EJ$YU*`9*BDD7:`-\"/\Z4534`PH!'^$0'-`#S&
     41MB_P(_H1P("401-NZ$2-;<`G9F$($.0@\J<26H54'AT:`E/==/TJ*^YIC5(OH
     42MV:4\@;Z!T1HX98##6&\-"9G(B0U\A#X@:P9!U`CA3/0QQ)$[K:.U)Y%HJP#E
     43M#/2ZY`C`UAGLYD:&.*XQEX['$P64QI3`ZR7B\)S'U(#@H$E2ZPN2)/]/O$N3
     44MXL)@W"?&Z*+5R%E.T<"'5B:4$CLQVZ'4L(N;H^-JYU`DI!X:(_QAT40=>GOI
     45M5>B!J&LLHP[0=`)J4SH%%S`:,IH5>CZ.BJ5=:8_:-CQA<$?$.*5];MUX1")!
     46M4_2QB"Y]L4((<@^;D%Z8'&S*,]`(+IB`:%NT6ZORN+>/C@@]Q`))`$XN</-,
     47MDEU(*\<@!R1'7'A<:%VJ>TWG;/<^93C<Z>,=G5U:T`\<&C0G.'<(-';6E+C9
     48M0G=Q;[MS\MC.#<PO_);'+;`2'L""7>!_.`]?S6)'$&EA+,E+BY\6;$5^SU8[
     49M[`B>OX`"GAAE<4R*RJ)=<H;E=<2CK!L^CWM9)H18UFG)T)"%-SD+3Z'*Y&4;
     50MYF@0&6EX1FDW`SYBY!%6`[;R$Q\.#,`@YF:>_BRP&(!0'D0%D#&/S<`)@G$&
     51M%2G?10T9JGFD++)'#*K(Q"I;],28B/W!XQ:`PYU(D"<HQ[4(\(YI!LJCOV`>
     52MPGSBRQ.?/QZ0W5I7.K(#LAL#0<'(LW#E8`]4,JN(Y`HK=41MH`M4!M$02S-"
     53MA,L-!?["8J4CP@\1+D%R\)?\9@9S[XPZS5>!.6/*WKPVGUV(\E0&,.3*UZ@S
     54MJ'5Z_<H376"LYXH!T`,2TNQX!96#:XCT%49<W'H`QBBCP"5YQB(#G],S1GY@
     55M2.#/]O;D&6,(YW58UH3V"^44-Q/RT?)WDS-ZTN)FW[([C`OVFYS4Z'MK<GM.
     56M/UU2WI+D'R1RC"T>^,X2:\I+2[0KLZ\ICX!026QC:\)SHMA04ANS_IKQTK]U
     57MJ1R4<LYY+Y<]4U,^6FU;5I8]L:4\8+1FO!0C;HDMJ8&L74[GHB3%6S"HH%[Y
     58M(/Y:*Y-1?\WX$<#J5,UXJ5$@,(H(*\@XM"KYFBO5<(-KN8X!UE-+YGR;"BJU
     59M=.9^-_/]TI5BQ?QO;24+Z/;%`MV1DVGV0&@<P+.A[JI%<(5'N:H#P-'95BYY
     60MAG,S!@J$S<B77*;<[U:76.<[EWS=7:P.P$BDC1BILC31`C,$<`A5E[3UB>N,
     61MKS?PG/8\,,NTQ514`$%AN(HKET=>P7(=\CV"[<5-B4=-U`L`WZ`2H!Z7)7J\
     62M-%3$"`A(0"G,QQRF<Y92^G`#+L@`2!ZCD8/H=(11D.<=W$WA+.)=,K!ALCAC
     63MR$B!L(9<E6C?4I:H>48Q#%TJR0TU85IC7\2`&0OACD[4Y$DW>0Q&&%,"\(4'
     64M><,=F^?E_?=LKGM%YGQ][26O//?>>;FP>>=EIR<STA.-3]V+3Q>[%Y_/VDT+
     65M_M?N^*P-3#HN^$BX;FF-UH0GC?8'8AKY8TE(#A##Q!]+P/`=N2+Y`P4`:Y%,
     66M$W\`B%BF2&Q'IS_ZMGA:&MC1B.@!WTS]%4=YVTY/AG]*=)>VA"90H-)E5ED>
     67M3<>9&4UE]&"T54#FE'+L=E)W1)%EQJ7M2ID+J"V;]'K>AEX/'UT]/.3#\[*N
     68M9V\,I+91]V=G'K<>/;GJ`3FZ(S?M1<+I+W>VO^+QW:]XO+X:?K[_^''X4N/H
     69MZ;JD8O]+A<N7RX=--OKVZYV3WROX^EN=-P.J1,TF'&_*JP%MCR_X\H#KC0[H
     70MPBLM,DU76K\-R[B:5Q*&=B'EV[$V(%@A\$R;"8$)JA+:#BTO/E<"7Q4Q"D0Y
     71MI0KC4VPFD152%=>1RJXJL)#(S+%<*S65<_*R+>]-TF:5F1-?C>LJH*A:'E:G
     72MD)#DW6#UBBI>H;-M6MZE5)*Q:%LVM1"XHJ_A`D<B9U-\'QUD&<:>[+03@D=?
     73M6L7%U<Y.G,Y.2WU`&35PP\GR3BB]>A+JM*N>IBX+>O6V!`"9]C.9;<+9K$.R
     74MHGD)=B6,!IUJDZ2F[0&<LTFGA)$O?NLY-7GS'AX/\SEA0\`E`:[K$UYMSPEG
     75MZQMS:B&<FE-SX=P<V1-VS-D2@.1:S.D*P61A"H.;$&H9F),=M0@*`6/.C*C4
     76MI%(E%0U&C5"S-)504]OD*R'4+99GD-48*J5"9P<)R>X>I.659"7AJKY%)*B7
     77M?:-QX^_#$PJAWR%NLX7@]09QUD`3_[;`]I`3*Z5MJ54JA)'?!JUE$-:R(B%A
     78MRIM/4#(3`))%V"F!FC!1(%623D[-)\!:*-:OXDXI7&P%\>*&TFLM!OD=K;7M
     79M\*C7^H0@QQ3,%0W<K@:RJWIGHLBSJ=D`INS!W71NV)[RZL3O'&M!E=A4]H;W
     80MOK#WTM>(G4@7*:8L\W"(T'69C_#*JN]2>UT3SIJZO(K[]NK/U-7.&'&OH'@6
     81M4-Q:0^H2K2T[7^-"K:!$3D'H/EZC,2YV>;DN=^I(&=D==7PKKUZ=?IGD/MJU
     82M((D1[H2Q:K/Z"\L8I6/7>F1Q*J>E-92C#8[Z/A2;R-#C"!83O[:HO4?6D`<;
     83M2#E1<DV_$R774&V4;(NKDBOB8`77H+AI1PJ+QB??]XYPPEA`!BI9VW<2F2@F
     84M?BMZ-C;9T?NN@>0EW)Q\UR%D])AP^XEGHY7%1$M^#MNU=GQ-BNWQM8#;\6UI
     85MXEM[USI8)VZ.*G9M(\IBXZRH:-HXR7_P\V:X.]ZU)7^]>9EX>M>8@B>-.Z^:
     86M<05/[>*QO#Q@4`YF3NIF0@3G_#*<EI<I0`'K^-K[@MJ.L\95&$\3O[Z5N^+Q
     87MY:'=6A;W8A_X*HS[=PHW?/E^,;S@8W[F5Q$OW&\5GO/3`]#$R)-[>9B\EZ_+
     88M0[WW+.U:,R[MYD*37&O:;:+_<R'\L_*O_DV0#]UP'\^'^U2'^SS;/_<S?5#=
     89M3(^[+O&K;E3$VXAZ,>V/3X+>^%][YB%YD^VD'X_Q-"3,=+->BBA?W0P&O,")
     90M@QX?;X*\7R.7DG)Z#LK>^,U%IAY.S<)@KN3/1_F/0W][..B+U\.?7_T/N0/)
     91%JW4J````
    9092`
    9193end

  • Tst/Short/factorizeQa_s.stat

    r42aa8b8 rd7295f  
    1 1 >> tst_memory_0 :: 1354031643:3150:3-1-5:ix86-Linux:mamawutz:1127772
    2 1 >> tst_memory_1 :: 1354031643:3150:3-1-5:ix86-Linux:mamawutz:2342912
    3 1 >> tst_memory_2 :: 1354031643:3150:3-1-5:ix86-Linux:mamawutz:2359296
    4 1 >> tst_timer_1 :: 1354031643:3150:3-1-5:ix86-Linux:mamawutz:637
     11 >> tst_memory_0 :: 1401874330:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:263648
     21 >> tst_memory_1 :: 1401874330:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:2240344
     31 >> tst_memory_2 :: 1401874330:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:2281316
     41 >> tst_timer_1 :: 1401874330:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:678

  • Tst/Short/factorizeQa_s.tst

    r42aa8b8 rd7295f  
    6666factorize (f);
    6767
     68kill r;
     69ring r=(0,a),x,dp;
     70minpoly= 439239619*a^8-5632;
     71factorize (169*a^2*x^2+52*a*x+8);
     72
    6873tst_status(1); $

  • factory/Makefile.am

    r42aa8b8 rd7295f  
    1616# factory source files
    1717SOURCES = \
    18                 algext.cc \
    1918                canonicalform.cc \
    2019                cf_algorithm.cc \
    … …  
    2827                cf_factory.cc \
    2928                cf_gcd.cc \
     29                cfGcdAlgExt.cc \
    3030                cf_gcd_smallp.cc \
    3131                cf_generator.cc \
    … …  
    108108                cf_generator.h \
    109109                cf_globals.h \
     110                cfGcdAlgExt.h \
    110111                cf_gcd_smallp.h \
    111112                cf_hnf.h \
    … …  
    157158                variable.h \
    158159                NTLconvert.h \
    159                 algext.h \
    160160                singext.h \
    161161                parseutil.h

  • factory/README

    r42aa8b8 rd7295f  
    252512. Examples and Tests
    262613. Remark on Characteristic Sets
     2714. Adding new code
     2815. Nomenclature
     2916. Limitations
    2730
    28311. What is Factory?
    … …  
    211214    Wien-New York, 1995, pp. 187-201.
    212215
    213 
     21614. Adding new code
     217===================
     218  If you like to add new code 'foo.cc/foo.h' add 'foo.cc' to 'Makefile.am' under
     219'SOURCES' and 'foo.h' under 'factory_headers'. If your new functions should be
     220available via factory's global interface 'factory.h' add
     221
     222/*MAKEHEADER PUBLIC ONLY*/
     223foo.h
     224
     225to 'factory.template' and enclose the functions in 'foo.h', that you like to
     226add, by '/*BEGINPUBLIC*/' and '/*ENDPUBLIC*/'.
     227
     22815. Nomenclature
     229================
     230  Factorization related functions are contained in files with the prefix 'fac'.
     231Functions operating on CanonicalForm's are contained in files with the prefix
     232'cf'. Functions operating on the internal structures of a CanonicalForm are
     233contained in files with the prefix 'int'. Exceptions are gfops.cc/.h,
     234ffops.cc/.h, imm.cc/.h as they use intrinsic data types.
     235
     23616. Limitations
     237===============
     238  The largest characteristic of a finite field is limited to 536870909. The
     239number of elements of a finite fields represented by Conway polynomials has to
     240be < 2^16 (see gfops.cc).
     241

  • factory/cfCharSets.h

    r42aa8b8 rd7295f  
    4242CFList
    4343modCharSet (const CFList& PS, bool removeContents);
     44
     45CFList
     46charSetViaCharSetN (const CFList& PS);
     47
     48CFList
     49charSetN (const CFList &PS);
    4450
    4551/// modified characteristic set, i.e. a characteristic set with certain

  • factory/cfGcdAlgExt.cc

    r42aa8b8 rd7295f  
    2525#include "cf_primes.h"
    2626#include "cf_algorithm.h"
    27 #include "algext.h"
     27#include "cfGcdAlgExt.h"
    2828#include "cf_map.h"
    2929#include "cf_generator.h"

  • factory/cfGcdAlgExt.h

    r42aa8b8 rd7295f  
    1 #ifndef CF_ALGEXT_H
    2 #define CF_ALGEXT_H
     1#ifndef CF_GCD_ALGEXT_H
     2#define CF_GCD_ALGEXT_H
    33
    44// #include "config.h"

  • factory/cfModResultant.cc

    r42aa8b8 rd7295f  
    8585    degsf [xlevel]= 0;
    8686    degsg [xlevel]= 0;
    87     if (getNumVars (F) == 2 || getNumVars (G) == 2)
     87    if ((getNumVars (F) == 2 && getNumVars (G) == 1) ||
     88        (getNumVars (G) == 2 && getNumVars (F) == 1) ||
     89        (getNumVars (F) == 2 && getNumVars (F) == getNumVars (G)
     90         && getVars (F) == getVars (G)))
    8891    {
    8992      int pos= 2;
    … …  
    422425{
    423426  ASSERT (getCharacteristic() == 0, "characteristic > 0 expected");
     427#ifndef NOASSERT
     428  bool isRat= isOn (SW_RATIONAL);
     429  On (SW_RATIONAL);
     430  ASSERT (bCommonDen (A).isOne(), "input A is rational");
     431  ASSERT (bCommonDen (B).isOne(), "input B is rational");
     432  if (!isRat)
     433    Off (SW_RATIONAL);
     434#endif
    424435
    425436  int degAx= degree (A, x);

  • factory/cfNewtonPolygon.cc

    r42aa8b8 rd7295f  
    2929#include "cfNewtonPolygon.h"
    3030#include "templates/ftmpl_functions.h"
    31 #include "algext.h"
     31#include "cfGcdAlgExt.h"
    3232
    3333static

  • factory/cf_algorithm.cc

    r42aa8b8 rd7295f  
    3131#include "cf_iter.h"
    3232#include "templates/ftmpl_functions.h"
    33 #include "algext.h"
     33#include "cfGcdAlgExt.h"
    3434
    3535void out_cf(const char *s1,const CanonicalForm &f,const char *s2);

  • factory/cf_factor.cc

    r42aa8b8 rd7295f  
    2525#include "facFqSquarefree.h"
    2626#include "cf_map.h"
    27 #include "algext.h"
     27#include "cfGcdAlgExt.h"
    2828#include "facAlgExt.h"
    2929#include "facFactorize.h"

  • factory/cf_gcd.cc

    r42aa8b8 rd7295f  
    1818#include "fac_util.h"
    1919#include "templates/ftmpl_functions.h"
    20 #include "algext.h"
     20#include "cfGcdAlgExt.h"
    2121#include "cf_gcd_smallp.h"
    2222#include "cf_map_ext.h"

  • factory/cf_gcd_smallp.cc

    r42aa8b8 rd7295f  
    2525
    2626#include "canonicalform.h"
    27 #include "algext.h"
     27#include "cfGcdAlgExt.h"
    2828#include "cf_map.h"
    2929#include "cf_util.h"

  • factory/facAlgExt.cc

    r42aa8b8 rd7295f  
    164164        f= oldF;
    165165      else
     166      {
    166167        f= oldF (y - shift*alpha, y);
     168        f *= bCommonDen (f);
     169      }
    167170      TIMING_START (fac_alg_norm);
    168171      norm= Norm (f, alpha);
    … …  
    225228        else
    226229          tmp2.append (factor);
     230        if (buf.inCoeffDomain())
     231          break;
    227232        count++;
    228233        if (normFactors.length() - 1 == count)

  • factory/facAlgFunc.cc

    r42aa8b8 rd7295f  
    2626#include "debug.h"
    2727
    28 #include "algext.h"
     28#include "cfGcdAlgExt.h"
    2929#include "cf_generator.h"
    3030#include "cf_iter.h"
    … …  
    430430{
    431431  bool isRat= isOn (SW_RATIONAL);
    432   CFFList L, sqrfFactors, Factorlist, tmp;
     432  CFFList L, normFactors, tmp;
    433433  CFFListIterator iter, iter2;
    434434  CanonicalForm R, Rstar, s, g, h, f= F;
    … …  
    448448    if (!isRat && getCharacteristic() == 0)
    449449      On (SW_RATIONAL);
    450     Factorlist= factorize (g, alpha);
    451 
    452     for (iter= Factorlist; iter.hasItem(); iter++)
     450    tmp= factorize (g, alpha); // factorization over number field
     451
     452    for (iter= tmp; iter.hasItem(); iter++)
    453453    {
    454454      h= iter.getItem().factor();
    … …  
    508508    {
    509509      f= iter.getItem().factor();
    510       sqrfFactors= norm (f, Rstar, *Gen, s, g, R, false);
     510      (void) norm (f, Rstar, *Gen, s, g, R, false);
    511511
    512512      if (hasFirstAlgVar (R, X))
    513         Factorlist= factorize (R, X);
     513        normFactors= factorize (R, X);
    514514      else
    515         Factorlist= factorize (R);
    516 
    517       if (!Factorlist.getFirst().factor().inCoeffDomain())
    518         Factorlist.insert (CFFactor (1, 1));
    519       if (Factorlist.length() == 2 && Factorlist.getLast().exp() == 1)
     515        normFactors= factorize (R);
     516
     517      if (normFactors.getFirst().factor().inCoeffDomain())
     518        normFactors.removeFirst();
     519      if (normFactors.length() == 1 && normFactors.getLast().exp() == 1)
    520520      {
    521521        f= backSubst (f, backSubsts, Astar);
    … …  
    530530      {
    531531        g= f;
    532         for (iter2= Factorlist; iter2.hasItem(); iter2++)
     532        int count= 0;
     533        for (iter2= normFactors; iter2.hasItem(); iter2++)
    533534        {
    534535          CanonicalForm fnew= iter2.getItem().factor();
    535           if (fnew.level() < Rstar.level()) //factor is a constant from the function field
     536          if (fnew.level() <= Rstar.level()) //factor is a constant from the function field
    536537            continue;
    537538          else
    … …  
    547548          h /= vcontent (h, Rstar.mvar());
    548549
    549           if (h.level() >= Rstar.level())
     550          if (h.level() > Rstar.level())
    550551          {
    551552            g= divide (g, h, Rstarlist);
    … …  
    561562              tmp.append (CFFactor (h, iter2.getItem().exp()));
    562563          }
     564          count++;
     565          if (g.level() <= Rstar.level())
     566            break;
     567          if (count == normFactors.length() - 1)
     568          {
     569            if (normFactors.getLast().exp() == 1 && g.level() > Rstar.level())
     570            {
     571              g= backSubst (g, backSubsts, Astar);
     572              g= Prem (g, as);
     573              g *= bCommonDen (g);
     574              g /= vcontent (g, as.getFirst().mvar());
     575              L.append (CFFactor (g, 1));
     576            }
     577            else if (normFactors.getLast().exp() > 1 &&
     578                     g.level() > Rstar.level())
     579            {
     580              g /= vcontent (g, Rstar.mvar());
     581              tmp.append (CFFactor (g, normFactors.getLast().exp()));
     582            }
     583            break;
     584          }
    563585        }
    564586      }
    … …  
    577599}
    578600
    579 /// algorithm of A. Steel described in "Conquering Inseparability: Primary
    580 /// decomposition and multivariate factorization over algebraic function fields
    581 /// of positive characteristic" with the following modifications: we use
    582 /// characteristic sets in IdealOverSubfield and Trager's primitive element
    583 /// algorithm instead of FGLM
    584 CFFList
    585 SteelTrager (const CanonicalForm & f, const CFList & AS)
     601
     602/// map elements in @a AS into a PIE \f$ L \f$ and record where the variables
     603/// are mapped to in @a varsMapLevel, i.e @a varsMapLevel contains a list of
     604/// pairs of variables \f$ v_i \f$ and integers \f$ e_i \f$ such that
     605/// \f$ L=K(\sqrt[p^{e_1}]{v_1}, \ldots, \sqrt[p^{e_n}]{v_n}) \f$
     606CFList
     607mapIntoPIE (CFFList& varsMapLevel, CanonicalForm& lcmVars, const CFList & AS)
    586608{
    587   CanonicalForm F= f, lcmVars= 1;
     609  CanonicalForm varsG;
     610  int j, exp= 0, tmpExp;
     611  bool recurse= false;
    588612  CFList asnew, as= AS;
    589   CFListIterator i, ii;
    590 
    591   bool derivZeroF= false;
    592   int j, exp=0, expF= 0, tmpExp;
    593   CFFList varsMapLevel;
     613  CFListIterator i= as, ii;
     614  CFFList varsGMapLevel, tmp;
    594615  CFFListIterator iter;
    595 
    596   // check if F is separable
    597   if (F.deriv().isZero())
    598   {
    599     derivZeroF= true;
    600     deflateDegree (F, expF, F.level());
    601   }
    602 
    603   CanonicalForm varsF= getVars (F);
    604   varsF /= F.mvar();
    605 
    606   lcmVars= lcm (varsF, lcmVars);
    607 
    608   if (derivZeroF)
    609     as.append (F);
    610 
    611   CFFList varsGMapLevel;
    612   CFFList tmp;
    613616  CFFList * varsGMap= new CFFList [as.length()];
    614617  for (j= 0; j < as.length(); j++)
    615618    varsGMap[j]= CFFList();
    616 
    617   CanonicalForm varsG;
    618619  j= 0;
    619   bool recurse= false;
    620   i= as;
    621   // make minimal polys and F separable
    622620  while (i.hasItem())
    623621  {
    … …  
    626624      deflateDegree (i.getItem(), exp, i.getItem().level());
    627625      i.getItem()= deflatePoly (i.getItem(), exp, i.getItem().level());
    628      
     626
    629627      varsG= getVars (i.getItem());
    630628      varsG /= i.getItem().mvar();
    … …  
    728726  }
    729727
    730   // compute how to map variables in F
    731728  for (j= 0; j < as.length(); j++)
    732729  {
    … …  
    749746  delete [] varsGMap;
    750747
     748  return asnew;
     749}
     750
     751/// algorithm of A. Steel described in "Conquering Inseparability: Primary
     752/// decomposition and multivariate factorization over algebraic function fields
     753/// of positive characteristic" with the following modifications: we use
     754/// characteristic sets in IdealOverSubfield and Trager's primitive element
     755/// algorithm instead of FGLM
     756CFFList
     757SteelTrager (const CanonicalForm & f, const CFList & AS)
     758{
     759  CanonicalForm F= f, lcmVars= 1;
     760  CFList asnew, as= AS;
     761  CFListIterator i, ii;
     762
     763  bool derivZeroF= false;
     764  int j, expF= 0, tmpExp;
     765  CFFList varsMapLevel, tmp;
     766  CFFListIterator iter;
     767
     768  // check if F is separable
     769  if (F.deriv().isZero())
     770  {
     771    derivZeroF= true;
     772    deflateDegree (F, expF, F.level());
     773  }
     774
     775  CanonicalForm varsF= getVars (F);
     776  varsF /= F.mvar();
     777
     778  lcmVars= lcm (varsF, lcmVars);
     779
    751780  if (derivZeroF)
    752   {
    753     as.removeLast();
     781    as.append (F);
     782
     783  asnew= mapIntoPIE (varsMapLevel, lcmVars, as);
     784
     785  if (derivZeroF)
     786  {
    754787    asnew.removeLast();
    755788    F= deflatePoly (F, expF, F.level());
    … …  
    811844  CFList transform;
    812845
     846  bool found;
    813847  for (iter= tmp; iter.hasItem(); iter++)
    814848  {
     849    found= false;
    815850    transform= transBack;
    816851    CanonicalForm factor= iter.getItem().factor();
    … …  
    818853    transform.append (factor);
    819854    transform= modCharSet (transform, false);
     855
     856retry:
     857    if (transform.isEmpty())
     858    {
     859      transform= transBack;
     860      transform.append (factor);
     861      transform= charSetViaCharSetN (transform);
     862    }
    820863    for (i= transform; i.hasItem(); i++)
    821864    {
    822865      if (degree (i.getItem(), f.mvar()) > 0)
    823866      {
     867        if (i.getItem().level() > f.level())
     868          break;
     869        found= true;
    824870        factor= i.getItem();
    825871        break;
    826872      }
     873    }
     874
     875    if (!found)
     876    {
     877      found= false;
     878      transform= CFList();
     879      goto retry;
    827880    }
    828881

  • factory/facAlgFunc.h

    r42aa8b8 rd7295f  
    2222CanonicalForm alg_gcd(const CanonicalForm &, const CanonicalForm &, const CFList &);
    2323/*BEGINPUBLIC*/
    24 CFFList facAlgFunc2 (const CanonicalForm & f, const CFList & as);
    25 CFFList facAlgFunc (const CanonicalForm & f, const CFList & as);
     24
     25/// factorize a polynomial @a f that is irreducible over the ground field modulo
     26/// an extension given by an irreducible characteristic set @a as, @a f is
     27/// assumed to be integral, i.e. \f$ f\in K[x_1,\ldots,x_n]/(as) \f$, and each
     28/// element of @a as is assumed to be integral as well. \f$ K \f$ must be either
     29/// \f$ F_p \f$ or \f$ Q \f$.
     30///
     31/// @return the returned factors are not necessarily monic but only primitive
     32/// and the product of the factors equals @a f up to a unit.
     33CFFList facAlgFunc2 (const CanonicalForm & f,///<[in] univariate poly
     34                     const CFList & as       ///<[in] irreducible characteristic
     35                                             ///< set
     36                    );
     37
     38/// factorize a polynomial @a f modulo an extension given by an irreducible
     39/// characteristic set as, @a f is assumed to be integral, i.e.
     40/// \f$ f\in K[x_1,\ldots,x_n]/(as) \f$, and each element of @a as is assumed to
     41/// be integral as well. \f$ K \f$ must be either \f$ F_p \f$ or \f$ Q \f$.
     42///
     43/// @return the returned factors are not necessarily monic but only primitive
     44/// and the product of the factors equals @a f up to a unit.
     45CFFList facAlgFunc (const CanonicalForm & f, ///<[in] univariate poly
     46                    const CFList & as        ///<[in] irreducible characteristic
     47                                             ///< set
     48                   );
    2649/*ENDPUBLIC*/
    2750

  • factory/facBivar.cc

    r42aa8b8 rd7295f  
    2525#include "facMul.h"
    2626#include "cf_primes.h"
     27#include "cfGcdAlgExt.h"
    2728
    2829#ifdef HAVE_NTL

  • factory/facBivar.h

    r42aa8b8 rd7295f  
    2525#include "cf_map.h"
    2626#include "cfNewtonPolygon.h"
    27 #include "algext.h"
    2827#include "fac_util.h"
    2928

  • factory/facFactorize.cc

    r42aa8b8 rd7295f  
    2727#include "cf_gcd_smallp.h"
    2828#include "cf_map_ext.h"
    29 #include "algext.h"
    3029#include "cf_reval.h"
    3130#include "facSparseHensel.h"

  • factory/facFqBivar.cc

    r42aa8b8 rd7295f  
    3636#include "facFqBivar.h"
    3737#include "cfNewtonPolygon.h"
    38 #include "algext.h"
     38#include "cfGcdAlgExt.h"
    3939
    4040#ifdef HAVE_NTL
    … …  
    20152015    buf= 1;
    20162016    factorsConsidered= CFList();
    2017     for (long j= 0; j < nmod_mat_ncols(N); j++, iter++)
     2017    for (long j= 0; j < nmod_mat_nrows(N); j++, iter++)
    20182018    {
    20192019      if (!(nmod_mat_entry (N, j, i) == 0))

  • factory/facFqBivarUtil.cc

    r42aa8b8 rd7295f  
    1818
    1919#include "cf_map.h"
    20 #include "algext.h"
    2120#include "cf_map_ext.h"
    2221#include "templates/ftmpl_functions.h"
    … …  
    3130#include "facHensel.h"
    3231#include "facMul.h"
     32#include "cfGcdAlgExt.h"
    3333
    3434#ifdef HAVE_FLINT

  • factory/facFqFactorize.cc

    r42aa8b8 rd7295f  
    3030#include "cf_gcd_smallp.h"
    3131#include "cf_map_ext.h"
    32 #include "algext.h"
    3332#include "facSparseHensel.h"
    3433#include "facMul.h"

  • factory/facHensel.cc

    r42aa8b8 rd7295f  
    2323#include "timing.h"
    2424
    25 #include "algext.h"
     25#include "cfGcdAlgExt.h"
    2626#include "facHensel.h"
    2727#include "facMul.h"

  • factory/facMul.cc

    r42aa8b8 rd7295f  
    1919#include "canonicalform.h"
    2020#include "facMul.h"
    21 #include "algext.h"
     21#include "cfGcdAlgExt.h"
    2222#include "cf_util.h"
    2323#include "templates/ftmpl_functions.h"

  • factory/factory.dox

    r42aa8b8 rd7295f  
    11/*! \page factory_page Factory
    22 *
    3  * A library for univ.-poly. factorization over several simple fields(?)
    4  * (this is a part of Singular which may also be used standalone e.g. by M2 with some restrictions).
     3 * Factory is a C++ class library that implements a recursive representation
     4 * of multivariate polynomial data.
    55 *
    6  * ?extensions? parameters??
     6 * Factory handles sparse multivariate polynomials over different
     7 * coefficient domains, such as Z, Q and GF(q), as well as algebraic
     8 * extensions over Q and GF(q) in an efficient way.  Factory includes
     9 * algorithms for computing univariate and multivariate gcds, resultants,
     10 * chinese remainders, algorithms to factorize multivariate polynomials,
     11 * univariate polynomials over alg. function fields, and to compute the
     12 * absolute factorization of multivariate polynomials with integer coefficients.
    713 *
    8  * TODO: here should be a high level description for factory + references to
    9  * its main structures (\ref CanonicalForm) and maybe some important functions (e.g. factorization)?
    10  *
    11  *
    12  * NOTE: it now also contains the functionality from the obsolete package libfac.
     14 * The interface to the polynomial system of Factory is provided by a single
     15 * class `CanonicalForm' which can deal with elements of the coefficient
     16 * domain as well as polynomials.
     17 *
     18 * \note For more information on how to configure, install and add new code to
     19 * factory, see README.
    1320 *
    1421 */

  • factory/factory.template

    r42aa8b8 rd7295f  
    111111
    112112/*MAKEHEADER PUBLIC ONLY*/
    113 #include "algext.h"
     113#include "cfGcdAlgExt.h"
    114114
    115115/*MAKEHEADER PUBLIC ONLY*/

  • kernel/fast_mult.cc

    r42aa8b8 rd7295f  
    55#include <kernel/mod2.h>
    66
    7 #include "mod2.h"
    87#include <polys/monomials/ring.h>
    98#include <kernel/fast_mult.h>

  • kernel/ideals.cc

    r42aa8b8 rd7295f  
    99
    1010#include <kernel/mod2.h>
    11 
    12 #include "mod2.h"
    1311
    1412#include <omalloc/omalloc.h>

  • kernel/polys.cc

    r42aa8b8 rd7295f  
    11
    22#include <kernel/mod2.h>
    3 
    4 #include "mod2.h"
    53
    64#include <omalloc/omalloc.h>

  • kernel/preimage.cc

    r42aa8b8 rd7295f  
    11
    22#include <kernel/mod2.h>
    3 
    4 #include "mod2.h"
    53
    64#include <omalloc/omalloc.h>
Note: See TracChangeset for help on using the changeset viewer.