Changeset 92333e in git for Tst/Long


Ignore:
Timestamp:
Jan 14, 2014, 11:15:46 AM (10 years ago)
Author:
Martin Lee <martinlee84@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '7e41ef9499d2014a20b2ab8b603aa2c6cce053c8')
Children:
4d343c35226edd04f4363e5a31fe60aa96496de9
Parents:
347a8909f36fe825e4f074acf6843628dff63073
git-author:
Martin Lee <martinlee84@web.de>2014-01-14 11:15:46+01:00
git-committer:
Martin Lee <martinlee84@web.de>2014-01-27 16:12:22+01:00
Message:
chg: more tests for factorization
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Tst/Long/factorizeQa_l.tst

    r347a89 r92333e  
    1515ring r=(0,a),(x,y),lp;
    1616minpoly= 1000*a8+a5+233*a+1;
     17
     18list l;
     19poly g= (-106671/379000000a5+24854343/379000a4+106671/379000a3-24854343/379000000a-106671/379000000)*(x4y7+(17872400039344000/999a7-76705579568000/999a6+329208496000/999a5+17870987127344/999a4-76699515568/999a3+329208496/999a2-1412912/999a+462696578797024/111))*(x6y2+(-228/961a2)*x5y8+(295976258105814000/961a7-1270284369551000/961a6+5451864247000/961a5+9546866436994/31a4-1270183946551/961a3+5451433247/961a2-23398559/961a+2224595746411451/31)*x4y8+(797000/961a7+797/961a4+185701/961)*x4y3-642/961*x3y3+(-100/961a3)*x3y2+(-753/961a2)*x3y+(-171954000/961a7+738000/961a6-171954/961a4+738/961a3-40065282/961)*x-831/961*y2)*(x+y)^2*(x2-xy+y2)^2*y^5*x^10;
     20
     21l= factorize (g); testfactors (l,g);
     22
     23poly f= (77/108000a6-17941/108a5-77/108a4+17941/108000a2+77/108000a)*(x11y6+(-27/192500a7-27/192500000000a6+6291/96250000a5+27/192500000a4-6291/192500000000a2+1465802973/192500000000a+6291/192500000))*(x19y8+(-11420770143875a7+49016180875a6-210369875a5-91358938151/8a4+392098447/8a3-1682959/8a2+7223/8a-10644157774107/4)*x18y18+(1140a7+57/50a4+13281/50)*x18y9+(-13/25a7+431/200a)*x17y19+(-50407607945a7+216341665a6-928505a5-10080724589/200a4+43268333/200a3-185701/200a2+797/200a-2348994530237/200)*x17y4+(-369/100a5)*x14y+(-831/200a7)*x13y3+(-41/25a3)*x10y13+(161/40a)*x10y3+(961/200a7)*x9y3+(-854966221210530a7+3669382923645a6-15748424565a5-85489863140553/100a4+733818567729/200a3-3149435913/200a2+13517961/200a-7968285181693743/40)*x8y15+(6384614902795584474915a7-27401780698653596340a6+117604209006925725a5+1276822032740226976983/200a4-1369980721822283067/50a3+4703796469769229/40a2-50469919203459/100a+148761527235353727360813/100)*x8-377/200*x7y8+(174267690a7-747930a6+3210a5+17426769/100a4-74793/100a3+321/100a2+4060437177/100)*x6y4+(1/2000a7+233/2000a3+1/2000a2)*x6y3+(753/200000a6+175449/200000a2+753/200000a)*x6y2+(253/200a2)*x4y9+(358412827449678400a7-1538252478322560a6+6601941967040a5+1791922464673992/5a4-38453271774064/25a3+165035501176/25a2-708306872/25a+2087754719897416864/25)*xy15+(443/100a7)*y9)*(x+y)^2*(x2-xy+y2)^2*x^5*y^5;
     24
     25l= factorize (f); testfactors (l,f);
     26
     27kill r;
     28
     29ring r=(0,a),(x,y),lp;
     30minpoly= a8+a5+233*a+1/1000;
    1731
    1832list l;
     
    5569if (bugcnt) { "Bug with factorize: ",bugcnt,"% wrong";} else { "OK"; }
    5670
     71kill r;
     72
     73ring r=(0,a),(x,y,z,s,t,u,v),dp;
     74minpoly= a2+a+1;
     75poly f= x^2*z^3*s+57*x^2*z^2*s*u+45*y*z^3*s*u+84*x^3*y*t*u+66*y^3*s*u^2+45*x^4*z*v+51*s^5*v+61*x^2*y^2*t*v+45*x^2*y*z*t*v+39*z*s^2*t^2*v+77*z*t^4*v+86*y^3*s*u*v+88*y^3*u^2*v+82*x^2*t*u^2*v+12*y*s*u^3*v+47*z*s^3*v^2+26*x^2*t*u*v^2+94*x*u^3*v^2+89*y*z*v^4+47*x*u*v^4+86*x^2*y*z^2+40*z^3*s^2+(-464835*a-227871)*y*z*s^3+(-1571585*a-770421)*x*y^2*s*t+(-1106750*a-542550)*x^2*y*z*u+67*x*z^3*u+72*x*y*s^2*u+(-110675*a-54255)*x^2*z*t*u+(-2147095*a-1052547)*z^2*t^2*u+(-1792935*a-878931)*x*z^2*u^2+36*x^4*v+98*y^2*s^2*v+92*x*t^3*v+82*x*y*z*u*v+62*z*s^2*u*v+64*x*z*t*u*v+(-1040345*a-509997)*x*s*u^2*v+(-774725*a-379785)*x*t*u^2*v+86*y*u^3*v+(-531240*a-260424)*y^2*s*v^2+73*x*s^2*v^2+23*s*v^4+(-57506730*a-2233284144)*x^2*z^2+(-958445500*a-37221402400)*x*s^2*t+70*s*t^3+3*x^3*u+90*s^3*u+4*y*s*t*u+43*t^3*u+67*s*t*u^2+(-306702560*a-11910848768)*x*u^3+(-265620*a-130212)*y*u^2*v+(-818995*a-401487)*z*v^3+(715510965929760*a+336753336743912)*x*z*u+(-76675640*a-2977712192)*x*t*u+(97569677172240*a+45920909555988)*s*u^2+(463455966568140*a+218124320390943)*y*z*v+(-531240*a-260424)*z*t*v+x*u*v+42*y^2+(-287755*a-141063)*s*u+(-613405120*a-23821697536)*x+35*y+23;
     76poly g= 577*x^2*y^2*z*s+934*x*z^3*s^2+668*z^5*t+168*y^4*t^2+909*y*z^2*s*t^2+967*x*z*s^2*t^2+939*y^3*t^3+864*x^5*u+348*y*z*s^3*u+302*x^3*y*t*u+818*y^3*s*t*u+115*y*t^4*u+49*y^2*t^2*u^2+594*x*z*s*u^3+436*x*z*u^4+977*z^5*v+762*y*s^4*v+796*x^2*y*s*t*v+657*x*y*z*s*t*v+315*x^2*y*t^2*v+162*y*s*t^3*v+545*z^2*t*u^2*v+348*s^2*u^3*v+611*y*z^2*s*v^2+833*y^2*s*u*v^2+278*t*u^3*v^2+825*y*u^2*v^3+42*x*y*v^4+(-3652275*a-1790415)*y^5+(-12616950*a-6185070)*x^2*y^2*s+(-10846150*a-5316990)*x*y*z*s^2+369*x^2*y^2*t+253*x*z*s*t^2+(-3740815*a-1833819)*z*t^4+(-16667655*a-8170803)*x^3*y*u+(-13701565*a-6716769)*x^2*y^2*u+(-17752270*a-8702502)*x^2*y*s*u+986*x^2*s^2*u+(-20497010*a-10048026)*x^2*y*t*u+(-6264205*a-3070833)*y^3*t*u+837*x*y*z*t*u+313*z*s^2*t*u+(-2789010*a-1367226)*s^3*t*u+438*y^2*t^2*u+(-6861850*a-3363810)*s^2*t^2*u+(-12351330*a-6054858)*x*y*z*u^2+(-2501255*a-1226163)*x*y*s*u^2+414*y*s^2*u^2+739*x*y*z*t*v+41*x*y*s*t*v+902*y*t*u^2*v+274*y*s*t*v^2+(-3386655*a-1660203)*s^2*u*v^2+(-3519465*a-1725309)*t^2*u*v^2+(-20674090*a-10134834)*x*y*v^3+(-10558395*a-5175927)*x^2*y*z+(-15251015*a-7476339)*x*y*z*s+(-16424170*a-8051442)*y*z*s^2+414*z^2*s^2+(-21493085*a-10536321)*s^4+(-3325805885*a-129158266328)*y*z^2*u+(-7946465*a-3895509)*s^2*u^2+804*t^2*u^2+211*z*u^3+933*x^2*z*v+801*s^3*v+(-5166021245*a-200623358936)*z*s*t*v+(-132810*a-65106)*x*t^2*v+(-6264205*a-3070685)*z^2*u*v+(-11333120*a-5555712)*x*t*u*v+(-2817829770*a-109430923056)*x*u^2*v+(-641915*a-314679)*x^2*v^2+(-11421660*a-5599116)*x*u*v^2+(2431111122874980*a+1144195996436701)*y^2*s+206*x*z*t+(-13037515*a-6391239)*y*z*u+(-2634065*a-1291269)*x*s*u+(-5954315*a-2918919)*s*u^2+(3797086603286340*a+1787088730220533)*x*s*v+(2366064671426820*a+1113582056732709)*x*t*v+(-7523797175*a-292188008840)*y*v^2+(-5976450*a-2929770)*y^2+328*y*s+(-5113185*a-2506581)*z*s+(3655356106207196985*a+71856285882120660969)*x*t+(4211748453515920*a+1981892292658626)*t*u+(89438870741220*a+42094167092989)*u^2+(4500525148104814785*a+88470456028275727089)*s*v+832*y+(-6594105040*a-256083248512)*u+611;
     77poly h= 331*x^2*y^2+2222*x*y*z*s+7436*z^3*t+8056*y*z*t^2+5249*x^2*z*u+6641*y^2*z*u+2997*t^3*u+3694*y*t*u^2+2741*x*u^3+1517*x*y*s*v+8020*x*z*s*v+6821*x^2*u*v+6516*x*s*u*v+7607*z*u^2*v+4982*s*u*v^2+3612*y*z*t+7333*x*t^2+4038*s*t^2+3774*t^3+1562*z*s*u+3833*z^2+(-170483770*a-83574402)*z*s+9375*x*t+(-15708921745*a-610058785336)*s*t+(18196744792622760*a+8564249632196103)*x+3884;
     78poly k=f*g*h;
     79def l= factorize (k); testfactors (l, k);
     80
     81kill r;
     82
     83ring r=(0,a),(x,y,z),dp;
     84minpoly= a2-4a+2;
     85poly f= 99*x^6*y^3*z+12*y^2*z^8+70*x^6*y^3+(9537164*a-1916644)*x^6*z^3+(5521516*a-1109636)*x^5*y*z^3+7*y*z^8+93*x^4*y^3*z+8*x^3*y^4*z+(113321084604*a-61717960562)*x^7+(4929467180274*a-2684731284447)*x^2*y^4*z+(9035208*a-1815768)*y^5*z^2+(7403851*a-1487921)*x*z^6+2*x^3*y*z^2+(902448860778900435*a-524250361524427863)*x^2*z^4+(607405181539686214300980*a-355456233855470545164055)*x*y*z^4+(4392115*a-882665)*x*z^5+(2379742776684*a-1296077171802)*x^2*z^3+(1318963719608213679*a-766212066845059023)*x^2*y*z+(9411675*a-1891425)*y^3*z+81*x*z^3+(20014233477073595395138227658920647455800556824*a-11724064134863922571920105469582807190826249155)*x*z+73*y*z+10*y+(2198272865999885675*a-1277020111405657542);
     86poly g= 355*x^11*y*z^3+907*x^6*y^6*z^3+19*x^6*y^5*z^4+188*x^8*y^6+334*x^6*y^8+(20580196*a-4135916)*x^3*y^11+(90352080*a-18157680)*x*y^13+(26101712*a-5245552)*x^9*y*z^4+(88093278*a-17703738)*x^7*y^3*z^4+21*x^5*y^3*z^6+(33129096*a-6657816)*x^6*y*z^7+223*x^5*z^9+(13803790*a-2774090)*y^3*z^11+(31246761*a-6279531)*y^2*z^12+76*x^5*y^8+(34007519*a-6834349)*y^13+(52203424*a-10491104)*x^12*z+(103904892*a-20881332)*x^10*y^2*z+(49521313971948*a-26970748765594)*x^7*y^5*z+(28216950066396*a-15367772179938)*x^9*y^2*z^2+368*x^3*y^8*z^2+(54564102236826*a-29717198010603)*x^9*y*z^3+(44297617*a-8902307)*x^8*y^2*z^3+848*x^6*y^4*z^3+309*x^9*z^4+(4079559045744*a-2221846580232)*x^6*y^3*z^4+(3399632538120*a-1851538816860)*x^8*z^5+(21021061194042*a-11448681684251)*x^6*y^2*z^5+96*x^4*y^2*z^7+835*y^12+(7139228330052*a-3888231515406)*x*y^10*z+(43168216*a-8675336)*y^10*z^2+(16429197209051777150*a-9544045043137020070)*x^4*y^4*z^4+(28273610608698*a-15398631160219)*x^6*y*z^5+368*x^4*y^3*z^5+(55640652540564*a-30303518635942)*x^2*y^5*z^5+(6317142025452303045*a-3669752530670995041)*x^2*y^4*z^6+(57850429*a-11625959)*x*y^4*z^7+319*x*y*z^10+(30483371758476*a-16602131391178)*x^2*y^9+670*x^7*y^3*z+(20397795228720*a-11109232901160)*y^10*z+(11842053341118*a-6449526878729)*x^7*y^2*z^2+(2221412580378831840*a-1290462428367822432)*x*y^8*z^2+(27820326270282*a-15151759317971)*y*z^10+844*x^9*y+(75375642285196858570979128024*a-44148775928020973842330285899)*x^8*y^2+(2992362173869342180831446393144*a-1752676661410700911095329443068)*x^4*y^6+(18465492074399039670*a-10726968935807523966)*x^2*y^8+(6855925618542*a-3733936614001)*x*y^9+(14788474073464*a-8054208429923)*x^3*y^6*z+(6503907790024947771592032*a-3806115980975499991295112)*x^8*z^2+420*x^5*y^3*z^2+(79183559*a-15913189)*y^8*z^2+(68140527*a-13693917)*x^3*y^4*z^3+19*y^7*z^3+(15241685879238*a-8301065695589)*x^2*y*z^7+(4392115*a-882665)*x^6*y^3+(30879995554590*a-16818144253145)*x^6*y*z^2+(158047008700393000743045178758230160*a-92580475287779632507551897832179944)*x^3*y^4*z^2+(9026975467189798200226872*a-5282626490836685332745802)*x^3*y^3*z^3+(1261533838582425306300857*a-738255254930592689210872)*x^2*y^4*z^3+(1212706855220323217239904352394881420*a-710377108458155257125253985289226878)*x^5*z^4+(346487672920092347782829814969966120*a-202964888130901502035786852939779108)*x^3*y^2*z^4+(3345400846018579457226936*a-1957743564927053156442026)*y^5*z^4+394*y^4*z^5+(8191458890146942410*a-4758580204606345218)*x^2*z^7+(8214598604525888575*a-4772022521568510035)*y^2*z^7+(65630747*a-13189537)*x*y^7+(7612966030673288285*a-4422522280552224793)*x^6*y*z+404*x^5*y^2*z+(2728650969378282685782864*a-1596818773627652295198524)*x^3*y^4*z+(84203119*a-16921949)*x^4*y^2*z^2+(11639276332609920995*a-6761485431968902951)*y^6*z^2+(1299328773450346304185611806137372950*a-761118330490880632634200698524171151)*x^2*y^3*z^3+(3039365551930634629673945745350580*a-1780393755534223702068305727541922)*x*y^2*z^5+(106791139*a-21461369)*y*z^7+(1255257972947352102055339592829789540*a-735302621035634388954210265474813786)*z^8+(2973518583344640555777463188369*a-1741639654721438080097130995487)*x^4*y^3+(6531941875326779443021308*a-3822521653307290939533453)*x^6*z+(1758618292799908540*a-1021616089124526092)*x^5*y*z+(14054768*a-2824528)*x^5*z^2+132*x^2*y^2*z^3+(177093157464094250296563637907628800301487*a-103738592850200423813585884732420258760398)*x*y^3*z^3+(92529642827260317629000378279505686173951*a-54202517371558006906060444961595719292311)*x^2*z^5+(2046413929982433234204261738003*a-1198618925872928868812093955069)*y^2*z^5+(261651462817095600006576*a-153119608430048850224516)*x^4*y^2+(3011205764375624593239788450579*a-1763713668089263657791644696317)*x^4*z^2+(129227705043327041872310570640746238004751700984*a-75699821512763351914989321963414805496956307237)*x*y^3*z^2+(77016419137609690199607980109133346207520244249371565*a-45115172701435741644750347781214109153853894058993199)*x^3*z^3+(1142801447525918620757426094487111974*a-669428052080868111977695204570934229)*x^2*y*z^3+(42665388353406*a-23236812151593)*x^5+(1597942862204405271468732*a-935123322912084049585437)*x^4*y+(1189911613580843457517349759304752070*a-697024155291648579359741692332662463)*x^3*y^2+(118712594*a-23857174)*x^2*y^3+(45045131130090*a-24532889323395)*y^4*z+(7890642603220642265*a-4583830084098202597)*y^3*z^2+(568361358211028675749027854380558460*a-332933632284899832286773171050339414)*x*z^4+(9093907750925842845*a-5282830566130773081)*x^3*y+503*x^3*z+(28216950066396*a-15367772179938)*y^3*z+(2691711452935967391021957342533331812070999603967173135426*a-1576768058514127153313509605363631608231873598920202871131)*x*y*z^2+(233005211961486425402655579568305358390976776344*a-136491265175020728213833519333652316603498657217)*x*z^3+(26962280029135456792556401617869206567244*a-15794111022175843071964632968941798999084)*x^2*y+(1004369945125360966799237814378108885103086130933842190975*a-588346290490345952728921494538668510535423790568725379270)*x*y^2+(1110888109230646957145827169925636990*a-650733917647758763105965743416572491)*x^2*z+(51107809156404*a-27834800213462)*x*z^2+(20154691224062109715*a-11708258074045555607)*x^2+(85834476*a-17249796)*y^2+(20508412081445782935758656526160492838230193464*a-12013547199922291030485877099356460528197653935)*z^2+(820980177516018776273987271760643742491263523204514358720543711501490271917162586*a-480919053549122769393657344674332993509886007578614277081439330509477685139546213)*x+(14936006375403962612221802280927298722266025568276955406756794098*a-8749309963949946358091115956789332032444823466938310828414540474)*y+(12796262051557229245*a-7433601280077143801)*z+(29113448*a-5850442);
     87poly h= 3275*x^9*z+1312*x^3*y^5*z^2+3345*x*y^5*z^4+3042*y^8*z+(484513029*a-97370559)*x^5*y^2*z^2+(1068413346*a-214714566)*x^3*z^6+9693*y^8+1100*x^6*y*z+(913810898*a-183644758)*x^2*y^5*z+(1102797332*a-221624572)*x^3*y^3*z^2+(268627631053782*a-146302425512221)*x^2*y^4*z^2+1370*x^4*y*z^3+(335997015850860*a-182993753066330)*y^5*z^3+(120594929*a-24235459)*x^3*z^5+(170094947990604*a-92638658803562)*x*y*z^6+4609*x^7+(276452267*a-55557457)*x^5*y^2+(416247013*a-83651423)*x^2*y^5+(546320948875884*a-297542287869402)*x*y^6+(314851901*a-63274471)*x^5*y*z+(534457651*a-107407721)*y^6*z+(138874989182202*a-75635360660130)*x^2*y^3*z^2+(35582820565656*a-19379439616468)*x^4*z^3+966*x^2*y*z^4+(145247987156645077705*a-84377423571508556309)*x*y^2*z^4+(615774523*a-123749633)*x^6+(62235669370066310572992720*a-36420592576575905089117020)*x^5*y+(12981868917050491731*a-7541406221351228210)*x^2*y^4+(712777520*a-143243920)*x*y^5+(50367906592290903001265880*a-29475524622784403668219330)*x^4*z^2+(3962150722658876228671008*a-2318668356226454017685528)*x^2*z^4+(19252242363283209280*a-11184007712521127744)*x*y*z^4+(13940488263360995457314114491479*a-8165177544758681189200617937017)*x^4*y+(14731919065011660244022944997889*a-8628731825483018320785405654447)*x^3*y^2+(1145338103*a-230173813)*x^2*y^2*z+(131010516*a-26328636)*x*y*z^3+6540*y^2*z^3+(2849150885942393232151789823076*a-1668795410607613673705235782748)*x^3*y+(505242055706934*a-275169527165677)*y^4+(11944706619087394094618606779227779400*a-6996947459249499149128441509239753460)*x*y^2*z+3581*x*y*z^2+(31566380049862462029364776*a-18472787045596607716371966)*x*z^3+(212630835428136310185*a-123521450565332503413)*x^3+(66272141981301816560*a-38498795779640035888)*x^2*z+(42518362707778035001068600*a-24881936369882938161483850)*x*y*z+(10414386063690319558577775096443762370*a-6100519203338017515137049575422385778)*x*z^2+(1153118421*a-231737391)*y*z^2+(270780731661258*a-147475066762899)*z^3+(22324476595358621014846788*a-13064383733549525113798883)*x+5816*y+(494589873754158*a-269368038871521);
     88poly k=f*g*h;
     89def l=factorize (k); testfactors (l, k);
     90
     91
    5792tst_status(1); $
Note: See TracChangeset for help on using the changeset viewer.