source: git/Tst/New/trans_ext_std_2.tst @ f2c70a

jengelh-datetimespielwiese
Last change on this file since f2c70a was f2c70a, checked in by Janko Boehm <boehm@…>, 10 years ago
Added example where std over transcendental extension takes very long compared to v3
  • Property mode set to 100644
File size: 9.3 KB
Line 
1LIB "tst.lib"; tst_init();
2//example taken from realrad.tst
3// gives correct answer but takes much longer
4ring R=(0,x),(y,z),(dp,C);
5ideal I =  (x^2+1)*y^5*z^3+(7*x^2+7)*y^4*z^3+(17*x^2+17)*y^3*z^3+(2*x^2+2)*y^5+(17*x^2+17)*y^2*z^3+(14*x^2+14)*y^4+(8*x^2+8)*y*z^3+(34*x^2+34)*y^3+(4*x^2+4)*z^3+(34*x^2+34)*y^2+(16*x^2+16)*y+(8*x^2+8),(x^5+x^3-2*x^2-2)*y^5+(7*x^5+7*x^3-14*x^2-14)*y^4+(17*x^5+17*x^3-34*x^2-34)*y^3+(17*x^5+17*x^3-34*x^2-34)*y^2+(8*x^5+8*x^3-16*x^2-16)*y+(4*x^5+4*x^3-8*x^2-8),-151911*y^10+(-303822*x)*y^9+(17174*x^2+17174)*y^8+(1799693*x^3-3482089*x^2+1495871*x-3026356)*y^7+(770582*x^4+3077706*x^3-11716610*x^2+3989172*x-12335281)*y^6+(226749*x^4+1438614*x^3-14822268*x^2+1438614*x-15049017)*y^5+(-2393909*x^6+4196228*x^5-2167160*x^4+5023581*x^3-12716935*x^2+1738819*x-13247506)*y^4+(-1474096*x^7-4409311*x^6+18690663*x^5-3546116*x^4+21188877*x^3-17002242*x^2+416474*x-18321170)*y^3+(745395*x^8-157105*x^7-76248*x^6+20910776*x^5-960931*x^4+19833939*x^3-15227292*x^2-1233942*x-15088004)*y^2+(1161823*x^9+2345067*x^8+948786*x^7+38406*x^6+10049303*x^5-2334085*x^4+10950528*x^3-6901560*x^2+80544*x-6874136)*y+(280401*x^10+1362065*x^9-507150*x^8+1362065*x^7-1699017*x^6+6042636*x^5-945404*x^4+5695492*x^3-3948400*x^2-347144*x-3610640),-y^7*z^3+(-2*x)*y^6*z^3-2*y^7+(14*x^3-26*x^2+12*x-25)*y^4*z^3+(-4*x)*y^6+(2*x^5+x^4+34*x^3-85*x^2+34*x-85)*y^3*z^3+(x^6+2*x^5+x^4+36*x^3-94*x^2+34*x-94)*y^2*z^3+(28*x^3-52*x^2+24*x-50)*y^4+(x^6+2*x^5+x^4+16*x^3-44*x^2+16*x-44)*y*z^3+(4*x^5+2*x^4+68*x^3-170*x^2+68*x-170)*y^3+(x^6+8*x^3-24*x^2+8*x-24)*z^3+(2*x^6+4*x^5+2*x^4+72*x^3-188*x^2+68*x-188)*y^2+(2*x^6+4*x^5+2*x^4+32*x^3-88*x^2+32*x-88)*y+(2*x^6+16*x^3-48*x^2+16*x-48),(-x^4-2*x^3+6*x^2-2*x+7)*y^4*z^3+(-2*x^5-2*x^3+17*x^2+17)*y^3*z^3+(2*x^5+2*x^3+17*x^2+17)*y^2*z^3+(-2*x^4-4*x^3+12*x^2-4*x+14)*y^4+(2*x^7+x^6+2*x^5+x^4+8*x^2+8)*y*z^3+(-4*x^5-4*x^3+34*x^2+34)*y^3+(x^8+x^6+4*x^2+4)*z^3+(4*x^5+4*x^3+34*x^2+34)*y^2+(4*x^7+2*x^6+4*x^5+2*x^4+16*x^2+16)*y+(2*x^8+2*x^6+8*x^2+8),186934*y^11+(373868*x+657746)*y^10+(1315492*x)*y^9+(-1961094*x^2+373868*x-2521896)*y^8+(2164003*x^3-13508819*x^2+2357891*x-15668991)*y^7+(3191651*x^4+12692312*x^3-41591172*x^2+8745836*x-45440569)*y^6+(4992069*x^4+7601010*x^3-39932388*x^2+6479406*x-44550589)*y^5+(-4829714*x^6-14503910*x^5+162355*x^4-3735481*x^3+23718607*x^2+7569689*x+20602832)*y^4+(-3955570*x^7-11243447*x^6-13225995*x^5-7915191*x^4-17259457*x^3+105409836*x^2-5358048*x+104054818)*y^3+(1938121*x^8-2761877*x^7+3067434*x^6-15940360*x^5-3331071*x^4-30639129*x^3+111837388*x^2-16712910*x+116297772)*y^2+(1957953*x^9+5830067*x^8-1687986*x^7+685834*x^6-6085827*x^5-7836493*x^4-10857248*x^3+53465088*x^2-5786376*x+55783480)*y+(4094991*x^9-3870465*x^8+4094991*x^7-4410405*x^6-680004*x^5-4140776*x^4-5797484*x^3+25290864*x^2-5117480*x+27576208),-36246*y^11+(-72492*x+10566)*y^10+(1008824*x^2+21132*x+1008824)*y^9+(7051342*x^2-72492*x+7160080)*y^8+(-2564507*x^3+23258019*x^2-2325899*x+23262567)*y^7+(2543821*x^4-1573272*x^3+29278420*x^2-1636668*x+26724033)*y^6+(1494915*x^4-3092562*x^3+16704756*x^2-2875086*x+15137349)*y^5+(1250642*x^6-51310010*x^5+2745557*x^4-49210335*x^3+70704745*x^2+1891295*x+69122224)*y^4+(-5963966*x^7-294209*x^6-138241245*x^5+5497175*x^4-130061607*x^3+219444244*x^2+2257936*x+213684558)*y^3+(-3226833*x^8-5229683*x^7-2000226*x^6-143064056*x^5+8696143*x^4-134102463*x^3+237420564*x^2+3586926*x+229951028)*y^2+(-122425*x^9-2308779*x^8-3424782*x^7-2393178*x^6-66219557*x^5+3530485*x^4-61202592*x^3+112472704*x^2+1756872*x+108930312)*y+(122425*x^9-1712391*x^8+122425*x^7-779091*x^6-32391900*x^5+3031112*x^4-31709620*x^3+60525584*x^2+682280*x+58406640),y^10+(x^2+2*x+1)*y^9+(2*x^3+x^2+2*x+1)*y^8+(x^2+2*x-2)*y^7+(-x^4+2*x^3-6*x^2-4*x-6)*y^6+(-6*x^3-6*x^2-6*x-6)*y^5+(6*x^6-52*x^5+6*x^4-64*x^3+98*x^2-18*x+100)*y^4+(16*x^6-166*x^5+19*x^4-204*x^3+340*x^2-34*x+340)*y^3+(19*x^6-184*x^5+19*x^4-218*x^3+376*x^2-34*x+376)*y^2+(10*x^6-84*x^5+10*x^4-104*x^3+176*x^2-16*x+176)*y+(6*x^6-48*x^5+4*x^4-56*x^3+96*x^2-8*x+96),-57*y^11+(-114*x-266)*y^10+(397*x^2-532*x+397)*y^9+(3444*x^2-114*x+3615)*y^8+(59*x^4-40*x^3+11371*x^2-230*x+12167)*y^7+(1672*x^4+104*x^3+16140*x^2+1700*x+14734)*y^6+(870*x^4+108*x^3+9927*x^2+450*x+8943)*y^5+(-114*x^6-18814*x^5+579*x^4-18358*x^3+23774*x^2+1824*x+22378)*y^4+(-3008*x^7-1029*x^6-50876*x^5+841*x^4-46014*x^3+70812*x^2+790*x+68144)*y^3+(-1504*x^8-2704*x^7-2666*x^6-52212*x^5+2506*x^4-47400*x^3+76810*x^2+1880*x+73142)*y^2+(-1352*x^8-1716*x^7-2476*x^6-24412*x^5+686*x^4-20744*x^3+36456*x^2+888*x+34760)*y+(-858*x^8-1086*x^6-11120*x^5+1376*x^4-10672*x^3+19816*x^2+448*x+18744),-19*y^11+(228*x+399)*y^10+(60*x^2+798*x-472)*y^9+(-7161*x^2-38*x-7104)*y^8+(-3765*x^4+136*x^3-29910*x^2+250*x-27855)*y^7+(-13851*x^4-3918*x^3-49290*x^2-6578*x-34242)*y^6+(-14928*x^4-4038*x^3-40455*x^2-3924*x-25565)*y^5+(1596*x^7-10944*x^6+33750*x^5-17769*x^4+49596*x^3-39708*x^2+15504*x-30546)*y^4+(13632*x^7-31507*x^6+68068*x^5-32146*x^4+125166*x^3-50624*x^2+73124*x-49852)*y^3+(4688*x^8+14886*x^7-30011*x^6+65056*x^5-34615*x^4+127644*x^3-39310*x^2+77398*x-39394)*y^2+(4916*x^8+11580*x^7-8180*x^6+32248*x^5-13930*x^4+55208*x^3-20104*x^2+36136*x-20296)*y+(4460*x^8+1596*x^7-5458*x^6+8016*x^5-10956*x^4+26496*x^3-8216*x^2+19544*x-7976),-y^11-3*y^10+(-6*x-4)*y^9+(-45*x^2-2*x-42)*y^8+(-33*x^4+16*x^3-186*x^2+10*x-147)*y^7+(-99*x^4-18*x^3-294*x^2-2*x-180)*y^6+(-114*x^4-6*x^3-243*x^2-131)*y^5+(24*x^7-90*x^6-18*x^5-153*x^4+84*x^3+216*x^2+144*x+282)*y^4+(6*x^8+108*x^7-253*x^6-416*x^5-292*x^4+42*x^3+1312*x^2+560*x+1328)*y^3+(38*x^8+114*x^7-257*x^6-536*x^5-295*x^4-48*x^3+1586*x^2+598*x+1586)*y^2+(38*x^8+84*x^7-86*x^6-248*x^5-130*x^4-40*x^3+728*x^2+280*x+728)*y+(32*x^8+12*x^7-58*x^6-192*x^5-84*x^4-48*x^3+424*x^2+152*x+424),5947*y^11+(3594*x+25542)*y^10+(-2055*x^2+51084*x+14545)*y^9+(133266*x^2+11894*x+115425)*y^8+(135153*x^4-141658*x^3+611433*x^2-101356*x+410307)*y^7+(360408*x^4-7170*x^3+888960*x^2-152122*x+453210)*y^6+(435750*x^4-113862*x^3+785133*x^2-149544*x+361277)*y^5+(-99600*x^7+579630*x^6-399678*x^5+809121*x^4-1148226*x^3+149988*x^2-994212*x-60378)*y^4+(-410850*x^7+1570921*x^6+213428*x^5+1747147*x^4-2609916*x^3-1894420*x^2-3156926*x-1960820)*y^3+(12450*x^9-120350*x^8-423300*x^7+1647974*x^6+568322*x^5+1768324*x^4-2354652*x^3-2758574*x^2-3334936*x-2758574)*y^2+(12450*x^9-120350*x^8-298800*x^7+661346*x^6+279518*x^5+803002*x^4-1078016*x^3-1224632*x^2-1566616*x-1224632)*y+(12450*x^9-120350*x^8-37350*x^7+388174*x^6+342960*x^5+457440*x^4-460704*x^3-808792*x^2-836864*x-808792),311772900*y^12+3625243909*y^11+(3040922868*x+11980368699)*y^10+(-4992951060*x^2+22090099998*x+2490860140)*y^9+(-16100952873*x^2+7250487818*x-26041365900)*y^8+(24248131491*x^4-26184435076*x^3-71161840674*x^2-13217103682*x-126557192271)*y^7+(-3221395299*x^4-13665193290*x^3-128729184930*x^2-75725928334*x-160874910630)*y^6+(16327353300*x^4-41317724514*x^3-122864438799*x^2-63069187968*x-134747260381)*y^5+(-25261174500*x^7+145092073860*x^6+477739364334*x^5+139197381687*x^4+250051971828*x^3-913160504064*x^2-313137021264*x-897686732466)*y^4+(-15340914900*x^7+378201132937*x^6+1591708892516*x^5+434874501934*x^4+850325396898*x^3-2933446870240*x^2-725172905372*x-2941082148140)*y^3+(4053993900*x^9+6209902300*x^8-18303703650*x^7+421097893253*x^6+1771150812884*x^5+426948679453*x^4+1030152001956*x^3-3257008545878*x^2-748855532842*x-3267198596978)*y^2+(4053993900*x^9+6209902300*x^8+4621066500*x^7+213861048812*x^6+846251507396*x^5+222358557694*x^4+444432745048*x^3-1517331710504*x^2-357071489752*x-1522451349704)*y+(4053993900*x^9+6209902300*x^8-6238296600*x^7+120821635078*x^6+434540772720*x^5+96098816580*x^4+254698684512*x^3-839002636024*x^2-181715248808*x-841956274024),y^10*z^3+(2*x+6)*y^9*z^3+(12*x-42)*y^8*z^3+2*y^10+(-22*x-9)*y^7*z^3+(4*x+12)*y^9+(-6*x-127)*y^6*z^3+(24*x-84)*y^8+(-96*x+36)*y^5*z^3+(-44*x-18)*y^7+(104*x^5-788*x^4-1636*x^3+7906*x^2-1734*x+8624)*y^4*z^3+(-12*x-254)*y^6+(-68*x^6+62*x^5-1979*x^4-5110*x^3+27480*x^2-5228*x+29520)*y^3*z^3+(-192*x+72)*y^5+(-60*x^7-59*x^6+56*x^5-2102*x^4-5574*x^3+31079*x^2-5606*x+33128)*y^2*z^3+(208*x^5-1576*x^4-3272*x^3+15812*x^2-3468*x+17248)*y^4+(-60*x^7-62*x^6-36*x^5-948*x^4-2624*x^3+14428*x^2-2632*x+15392)*y*z^3+(-136*x^6+124*x^5-3958*x^4-10220*x^3+54960*x^2-10456*x+59040)*y^3+(-60*x^7+12*x^6-480*x^4-1400*x^3+8060*x^2-1400*x+8544)*z^3+(-120*x^7-118*x^6+112*x^5-4204*x^4-11148*x^3+62158*x^2-11212*x+66256)*y^2+(-120*x^7-124*x^6-72*x^5-1896*x^4-5248*x^3+28856*x^2-5264*x+30784)*y+(-120*x^7+24*x^6-960*x^4-2800*x^3+16120*x^2-2800*x+17088),19*y^11*z^3+190*y^10*z^3+(152*x+130)*y^9*z^3+38*y^11+(62*x+261)*y^8*z^3+380*y^10+(152*x-159)*y^7*z^3+(304*x+260)*y^9+(-394*x-112)*y^6*z^3+(124*x+522)*y^8+(-186*x-166)*y^5*z^3+(304*x-318)*y^7+(6214*x^5-7885*x^4+32366*x^3-97758*x^2+25696*x-89976)*y^4*z^3+(-788*x-224)*y^6+(1376*x^7+1467*x^6+13030*x^5-23788*x^4+125210*x^3-383027*x^2+113674*x-357596)*y^3*z^3+(-372*x-332)*y^5+(836*x^8+1214*x^7+2744*x^6+13404*x^5-27106*x^4+151042*x^3-456290*x^2+138976*x-427390)*y^2*z^3+(12428*x^5-15770*x^4+64732*x^3-195516*x^2+51392*x-179952)*y^4+(836*x^8+1328*x^7+2174*x^6+6296*x^5-11994*x^4+67424*x^3-208196*x^2+62760*x-194792)*y*z^3+(2752*x^7+2934*x^6+26060*x^5-47576*x^4+250420*x^3-766054*x^2+227348*x-715192)*y^3+(836*x^8-276*x^7+1334*x^6+1952*x^5-7152*x^4+39896*x^3-121944*x^2+37792*x-114488)*z^3+(1672*x^8+2428*x^7+5488*x^6+26808*x^5-54212*x^4+302084*x^3-912580*x^2+277952*x-854780)*y^2+(1672*x^8+2656*x^7+4348*x^6+12592*x^5-23988*x^4+134848*x^3-416392*x^2+125520*x-389584)*y+(1672*x^8-552*x^7+2668*x^6+3904*x^5-14304*x^4+79792*x^3-243888*x^2+75584*x-228976);
6std(I);
7tst_status(1);$
8
Note: See TracBrowser for help on using the repository browser.