Opened 12 years ago

Closed 11 years ago

#308 closed bug (wontfix)

very slow multiplication/division in rational function field

Reported by: seelisch on behalf of Albert Heinle Owned by: somebody
Priority: minor Milestone: 3-1-4 and higher
Component: singular-kernel Version: 3-1-2
Keywords: rational function field Cc: albert.heinle@…

Description (last modified by Oleksandr )

The following takes very long in SINGULAR 3-1-2:

ring R = (0,q),(theta),dp;
poly entry = theta17+(-q15-2*q14-3*q13-4*q12-5*q11-6*q10-7*q9-8*q8-9*q7-10*q6-11*q5-12*q4-13*q3-14*q2-15*q-16)*theta16+(q29+3*q28+7*q27+13*q26+22*q25+34*q24+50*q23+70*q22+95*q21+125*q20+161*q19+203*q18+252*q17+308*q16+372*q15+428*q14+476*q13+515*q12+545*q11+565*q10+575*q9+574*q8+562*q7+538*q6+502*q5+453*q4+391*q3+315*q2+225*q+120)*theta15+(-q42-4*q41-11*q40-25*q39-50*q38-91*q37-155*q36-250*q35-386*q34-575*q33-831*q32-1170*q31-1611*q30-2175*q29-2871*q28-3710*q27-4690*q26-5810*q25-7056*q24-8414*q23-9856*q22-11354*q21-12865*q20-14345*q19-15735*q18-16974*q17-17985*q16-18689*q15-18990*q14-18909*q13-18465*q12-17689*q11-16610*q10-15270*q9-13709*q8-11980*q7-10135*q6-8239*q5-6356*q4-4564*q3-2940*q2-1575*q-560)*theta14+(q54+5*q53+16*q52+41*q51+92*q50+187*q49+353*q48+628*q47+1065*q46+1735*q45+2732*q44+4177*q43+6225*q42+9056*q41+12882*q40+17939*q39+24481*q38+32771*q37+43075*q36+55639*q35+70682*q34+88372*q33+108804*q32+131974*q31+157756*q30+185860*q29+215806*q28+246985*q27+278631*q26+309893*q25+339819*q24+367427*q23+391701*q22+411675*q21+426428*q20+435181*q19+437306*q18+432423*q17+420422*q16+401575*q15+376559*q14+346582*q13+312861*q12+276645*q11+239149*q10+201578*q9+165048*q8+130611*q7+99177*q6+71526*q5+48230*q4+29666*q3+15925*q2+6825*q+1820)*theta13+(-q65-6*q64-22*q63-63*q62-155*q61-343*q60-701*q59-1345*q58-2451*q57-4278*q56-7198*q55-11733*q54-18589*q53-28699*q52-43265*q51-63799*q50-92152*q49-130543*q48-181565*q47-248179*q46-333673*q45-441596*q44-575643*q43-739501*q42-936619*q41-1170014*q40-1441997*q39-1753919*q38-2105911*q37-2496652*q36-2923127*q35-3380499*q34-3861979*q33-4358819*q32-4860402*q31-5354477*q30-5827501*q29-6265239*q28-6653507*q27-6978743*q26-7228746*q25-7393190*q24-7464241*q23-7436963*q22-7309763*q21-7084549*q20-6766941*q19-6366119*q18-5894636*q17-5367870*q16-4803365*q15-4219710*q14-3635296*q13-3066522*q12-2527597*q11-2030222*q10-1583491*q9-1193660*q8-864214*q7-595790*q6-386386*q5-231504*q4-124579*q3-57330*q2-20475*q-4368)*theta12+(q75+7*q74+29*q73+92*q72+247*q71+590*q70+1292*q69+2643*q68+5116*q67+9457*q66+16810*q65+28874*q64+48105*q63+77963*q62+123209*q61+190245*q60+287494*q59+425804*q58+618866*q57+883609*q56+1240541*q55+1713978*q54+2332107*q53+3126867*q52+4133571*q51+5390227*q50+6936520*q49+8812464*q48+11056669*q47+13704280*q46+16784594*q45+20318470*q44+24315607*q43+28771888*q42+33666946*q41+38962309*q40+44600023*q39+50502149*q38+56571139*q37+62691244*q36+68730935*q35+74546533*q34+79986722*q33+84898120*q32+89131550*q31+92548805*q30+95029441*q29+96477351*q28+96826185*q27+96043174*q26+94131647*q25+91131660*q24+87119171*q23+82203392*q22+76522667*q21+70238707*q20+63529796*q19+56582713*q18+49584249*q17+42712395*q16+36128059*q15+29967652*q14+24337808*q13+19312634*q12+14935096*q11+11218988*q10+8151858*q9+5698407*q8+3804801*q7+2403115*q6+1416415*q5+763763*q4+365365*q3+147147*q2+45045*q+8008)*theta11+(-q84-8*q83-37*q82-129*q81-376*q80-966*q79-2258*q78-4902*q77-10025*q76-19511*q75-36402*q74-65457*q73-113910*q72-192472*q71-316620*q70-508215*q69-797473*q68-1225306*q67-1846017*q66-2730299*q65-3968427*q64-5673536*q63-7984777*q62-11070116*q61-15128465*q60-20390819*q59-27120017*q58-35608761*q57-46175479*q56-59157726*q55-74902862*q54-93755945*q53-116044932*q52-142063382*q51-172051120*q50-206173563*q49-244500607*q48-286986083*q47-333449096*q46-383558571*q45-436822461*q44-492582939*q43-550018832*q42-608156141*q41-665887167*q40-721997807*q39-775202852*q38-824187996*q37-867657138*q36-904382945*q35-933258541*q34-953347368*q33-963928871*q32-964536834*q31-954987850*q30-935397536*q29-906183073*q28-868050862*q27-821970338*q26-769135827*q25-710918057*q24-648808233*q23-584357073*q22-519112032*q21-454555728*q20-392049009*q19-332781273*q18-277731388*q17-227641117*q16-183002853*q15-144062127*q14-110834647*q13-83135184*q12-60614741*q11-42799119*q10-29127956*q9-18992545*q8-11771474*q7-6862141*q6-3707704*q5-1817816*q4-782782*q3-280280*q2-75075*q-11440)*theta10+(q92+9*q91+46*q90+175*q89+551*q88+1517*q87+3775*q86+8677*q85+18703*q84+38212*q83+74581*q82+139877*q81+253243*q80+444211*q79+757189*q78+1257386*q77+2038445*q76+3232029*q75+5019547*q74+7646140*q73+11436924*q72+16815312*q71+24323016*q70+34641066*q69+48610873*q68+67254061*q67+91789450*q66+123645277*q65+164464508*q64+216101017*q63+280604281*q62+360190441*q61+457197865*q60+574025922*q59+713056365*q58+876557703*q57+1066573992*q56+1284800887*q55+1532453056*q54+1810128450*q53+2117675954*q52+2454073820*q51+2817326941*q50+3204391243*q49+3611133043*q48+4032330356*q47+4461721846*q46+4892107024*q45+5315498836*q44+5723326840*q43+6106686025*q42+6456623000*q41+6764448368*q40+7022061523*q39+7222273135*q38+7359108966*q37+7428079054*q36+7426396980*q35+7353135921*q34+7209310506*q33+6997877688*q32+6723653256*q31+6393146079*q30+6014316858*q29+5596273275*q28+5148917160*q27+4682563401*q26+4207550601*q25+3733862769*q24+3270780702*q23+2826579105*q22+2408283186*q21+2021494926*q20+1670295297*q19+1357224099*q18+1083335088*q17+848318658*q16+650680536*q15+487961232*q14+356978589*q13+254074425*q12+175348338*q11+116865243*q10+74831757*q9+45737406*q8+26458575*q7+14324310*q6+7145853*q5+3212352*q4+1257828*q3+405405*q2+96525*q+12870)*theta9+(-q99-10*q98-56*q97-231*q96-782*q95-2299*q94-6074*q93-14751*q92-33445*q91-71586*q90-145843*q89-284605*q88-534639*q87-970707*q86-1709091*q85-2926134*q84-4883022*q83-7958118*q82-12688161*q81-19819543*q80-30370620*q79-45705588*q78-67619803*q77-98435565*q76-141106293*q75-199325748*q74-277637550*q73-381538692*q72-517569184*q71-693378528*q70-917758545*q69-1200631327*q68-1552980935*q67-1986718008*q66-2514467898*q65-3149275373*q64-3904222333*q63-4791959202*q62-5824155954*q61-7010884530*q60-8359950639*q59-9876199091*q58-11560822647*q57-13410709233*q56-15417866033*q55-17568960466*q54-19845017463*q53-22221309147*q52-24667467342*q51-27147841107*q50-29622110916*q49-32046158421*q48-34373176970*q47-36554993654*q46-38543559373*q45-40292550458*q44-41759014716*q43-42904987186*q42-43698997388*q41-44117391022*q40-44145394986*q39-43777865188*q38-43019670206*q37-41885681598*q36-40400361216*q35-38596956954*q34-36516339240*q33-34205530818*q32-31715999202*q31-29101795368*q30-26417630514*q29-23716985664*q28-21050345182*q27-18463636290*q26-15996940992*q25-13683529134*q24-11549242308*q23-9612238032*q22-7883084208*q21-6365175366*q20-5055425826*q19-3945181834*q18-3021285630*q17-2267219328*q16-1664257320*q15-1192561524*q14-832164102*q13-563796684*q12-369542514*q11-233304720*q10-141098386*q9-81180528*q8-44038137*q7-22259094*q6-10314447*q5-4281420*q4-1537107*q3-450450*q2-96525*q-11440)*theta8+(q105+11*q104+67*q103+298*q102+1080*q101+3379*q100+9453*q99+24196*q98+57569*q97+128787*q96+273231*q95+553438*q94+1075997*q93+2016735*q92+3657192*q91+6436037*q90+11019717*q89+18397189*q88+30003973*q87+47880870*q86+74872383*q85+114869036*q84+173096283*q83+256450472*q82+373879259*q81+536799939*q80+759544391*q79+1059813880*q78+1459121011*q77+1983190069*q76+2662281192*q75+3531398853*q74+4630341477*q73+6003547268*q72+7699692101*q71+9770999253*q70+12272228155*q69+15259320516*q68+18787697047*q67+22910216326*q66+27674828551*q65+33121980096*q64+39281848637*q63+46171511745*q62+53792172793*q61+62126584715*q60+71136823074*q59+80762563409*q58+90920012755*q57+101501630586*q56+112376750037*q55+123393176185*q54+134379795971*q53+145150185558*q52+155507148257*q51+165248062169*q50+174170864688*q49+182080454274*q48+188795252141*q47+194153640367*q46+198019981033*q45+200289925212*q44+200894741748*q43+199804433264*q42+197029459520*q41+192620953188*q40+186669386562*q39+179301725204*q38+170677181240*q37+160981751274*q36+150421786460*q35+139216891710*q34+127592483930*q33+115772353582*q32+103971568098*q31+92390030732*q30+81206964790*q29+70576534794*q28+60624746714*q27+51447694586*q26+43111145244*q25+35651383472*q24+29077179220*q23+23372689230*q22+18501069995*q21+14408558395*q20+11028771237*q19+8286985223*q18+6104182964*q17+4400686554*q16+3099245270*q15+2127493720*q14+1419747120*q13+918147362*q12+573212794*q11+343872738*q10+197084030*q9+107132168*q8+54719808*q7+25940200*q6+11223212*q5+4327323*q4+1434433*q3+385385*q2+75075*q+8008)*theta7+(-q110-12*q109-79*q108-377*q107-1457*q106-4836*q105-14282*q104-38408*q103-95585*q102-222755*q101-490512*q100-1027858*q99-2061348*q98-3974921*q97-7398548*q96-13335851*q95-23342939*q94-39772696*q93-66100395*q92-107347509*q91-170620609*q90-265780891*q89-406256761*q88-610006662*q87-900631638*q86-1308626820*q85-1872748088*q84-2641454830*q83-3674372459*q82-5043699859*q81-6835468267*q80-9150540598*q79-12105225506*q78-15831370284*q77-20475792894*q76-26198917672*q75-33172493074*q74-41576294268*q73-51593749027*q72-63406472134*q71-77187750422*q70-93095085649*q69-111261972846*q68-131789163843*q67-154735735031*q66-180110340164*q65-207863078032*q64-237878436148*q63-269969780853*q62-303875847919*q61-339259643405*q60-375710091709*q59-412746667621*q58-449827124838*q57-486358289884*q56-521709734617*q55-555229980825*q54-586264736452*q53-614176524327*q52-638364950461*q51-658286778382*q50-673474935703*q49-683555584035*q48-688262435939*q47-687447601958*q46-681088393321*q45-669289685002*q44-652281650056*q43-630412897910*q42-604139273828*q41-574008790372*q40-540643351434*q39-504718083850*q38-466939201686*q37-428021387818*q36-388665682772*q35-349538822179*q34-311254865006*q33-274359811613*q32-239319732987*q31-206512732148*q30-176224848533*q29-148649810169*q28-123892349306*q27-101974636229*q26-82845261439*q25-66390113996*q24-52444464455*q23-40805563557*q22-31245109466*q21-23521011382*q20-17387978784*q19-12606585145*q18-8950583389*q17-6212378502*q16-4206681655*q15-2772472065*q14-1773471986*q13-1097393517*q12-654242447*q11-373966384*q10-203716799*q9-104963287*q8-50659180*q7-22613305*q6-9176167*q5-3303300*q4-1017016*q3-252252*q2-45045*q-4368)*theta6+(q114+13*q113+92*q112+469*q111+1926*q110+6756*q109+20972*q108+58978*q107+152775*q106+369050*q105+839288*q104+1810449*q103+3726832*q102+7357527*q101+13988283*q100+25701547*q99+45773588*q98+79222619*q97+133546121*q96+219688458*q95+353280515*q94+556190572*q93+858418990*q92+1300357646*q91+1935417677*q90+2833005498*q89+4081797160*q88+5793225338*q87+8105052608*q86+11184860904*q85+15233242543*q84+20486436025*q83+27218113560*q82+35740000941*q81+46400998184*q80+59584475380*q79+75703446044*q78+95193372588*q77+118502436837*q76+146079212557*q75+178357804753*q74+215740667987*q73+258579477117*q72+307154590636*q71+361653809467*q70+422151281668*q69+488587524562*q68+560751619043*q67+638266666013*q66+720579573693*q65+806956161270*q64+896482416756*q63+988072536828*q62+1080484109735*q61+1172340489345*q60+1262160063390*q59+1348391759522*q58+1429455778912*q57+1503788220123*q56+1569887977111*q55+1626364084113*q54+1671981553512*q53+1705703722632*q52+1726729198623*q51+1734521667786*q50+1728831111168*q49+1709705329909*q48+1677491113716*q47+1632824861010*q46+1576612953462*q45+1510002672602*q44+1434344893769*q43+1351150176624*q42+1262040169393*q41+1168696438727*q40+1072808918138*q39+976026132162*q38+879909204828*q37+785891410576*q36+695244690346*q35+609054157073*q34+528201178547*q33+453355178523*q32+384973865967*q31+323311212357*q30+268432169189*q29+220232868421*q28+178464887323*q27+142762089447*q26+112668572043*q25+87666348585*q24+67201559745*q23+50708221257*q22+37628764983*q21+27430891847*q20+19620514504*q19+13750807706*q18+9427591898*q17+6311440762*q16+4117020228*q15+2610233212*q14+1603763552*q13+951590329*q12+542988511*q11+296453834*q10+153899291*q9+75376496*q8+34484437*q7+14545453*q6+5557552*q5+1876238*q4+539266*q3+124215*q2+20475*q+1820)*theta5+(-q117-14*q116-106*q115-575*q114-2496*q113-9192*q112-29769*q111-86862*q110-232352*q109-577237*q108-1345280*q107-2964694*q106-6218071*q105-12478024*q104-24064445*q103-44768554*q102-80598456*q101-140809905*q100-239293294*q99-396392192*q98-641228471*q97-1014602512*q96-1572522451*q95-2390392393*q94-3567854826*q93-5234236531*q92-7554490334*q91-10735458285*q90-15032207608*q89-20754112592*q88-28270278236*q87-38013830749*q86-50484542623*q85-66249223101*q84-85939295631*q83-110245008968*q82-139905793448*q81-175696382307*q80-218408471011*q79-268827883672*q78-327707449671*q77-395736057018*q76-473504629765*q75-561470059952*q74-659918392736*q73-768928797683*q72-888340040490*q71-1017721279436*q70-1156349033848*q69-1303192095883*q68-1456905975122*q67-1615838177110*q66-1778045228075*q65-1941321881690*q64-2103242399767*q63-2261213213104*q62-2412535672007*q61-2554477022053*q60-2684347224260*q59-2799578813532*q58-2897806685056*q57-2976944539523*q56-3035254721183*q55-3071408355156*q54-3084533029299*q53-3074245758101*q52-3040669588583*q51-2984432929416*q50-2906651466023*q49-2808893323361*q48-2693128909640*q47-2561667574760*q46-2417083807115*q45-2262136138608*q44-2099682206060*q43-1932593513922*q42-1763673355846*q41-1595581090061*q40-1430765545095*q39-1271409786637*q38-1119388838595*q37-976241261398*q36-843154789753*q35-720965560845*q34-610169859179*q33-510946796821*q32-423189960892*q31-346545808032*q30-280456472902*q29-224204680080*q28-176958593014*q27-137814680334*q26-105837004252*q25-80091710806*q24-59675899582*q23-43740445029*q22-31506709211*q21-22277407599*q20-15442151129*q19-10478380611*q18-6948530664*q17-4494312038*q16-2828990461*q15-1728477668*q14-1021949004*q13-582575810*q12-318823114*q11-166625848*q10-82629352*q9-38568972*q8-16773120*q7-6706050*q6-2420964*q5-769496*q4-207389*q3-44590*q2-6825*q-560)*theta4+(q119+15*q118+121*q117+692*q116+3136*q115+11960*q114+39853*q113+119021*q112+324469*q111+818608*q110+1931746*q109+4299910*q108+9090121*q107+18353593*q106+35558983*q105+66370113*q104+119744513*q103+209439344*q102+356018067*q101+589452669*q100+952410212*q99+1504296795*q98+2326104760*q97+3526068612*q96+5246080850*q95+7668750896*q94+11024909967*q93+15601274876*q92+21747888690*q91+29884861708*q90+40507849459*q89+54191633482*q88+71591124221*q87+93439092109*q86+120539960778*q85+153759071799*q84+194006957680*q83+242218340335*q82+299325803637*q81+366228364763*q80+443755479465*q79+532627346793*q78+633412711280*q77+746485674616*q76+871983302274*q75+1009766021123*q74+1159382930867*q73+1320044177277*q72+1490602445312*q71+1669545418046*q70+1855000712658*q69+2044754355265*q68+2236283307760*q67+2426801935374*q66+2613321633418*q65+2792722150781*q64+2961832494671*q63+3117518715055*q62+3256775385842*q61+3376817256340*q60+3475167367466*q59+3549737930366*q58+3598900457938*q57+3621542018424*q56+3617105029495*q55+3585608705050*q54+3527651069853*q53+3444391326416*q52+3337513246817*q51+3209171120352*q50+3061920568442*q49+2898637197953*q48+2722426567254*q47+2536529259766*q46+2344224982535*q45+2148739529673*q44+1953158181630*q43+1760348671733*q42+1572896271477*q41+1393052863345*q40+1222701126910*q39+1063334204889*q38+916050483828*q37+781562458519*q36+660218083241*q35+552032571637*q34+456728306449*q33+373780366678*q32+302465169735*q31+241909847846*q30+191140212177*q29+149125480301*q28+114818324960*q27+87189215772*q26+65254442815*q25+48097606920*q24+34884715247*q23+24873316659*q22+17416339482*q21+11961450014*q20+8046834503*q19+5294325768*q18+3400757398*q17+2128345318*q16+1294781596*q15+763591975*q14+435169111*q13+238758463*q12+125551459*q11+62936621*q10+29876893*q9+13321355*q8+5520901*q7+2098067*q6+717871*q5+215565*q4+54691*q3+11025*q2+1575*q+120)*theta3+(-q120-16*q119-134*q118-784*q117-3602*q116-13843*q115-46286*q114-138283*q113-376259*q112-945827*q111-2220933*q110-4914174*q109-10318553*q108-20680144*q107-39750869*q106-73579984*q105-131610793*q104-228154162*q103-384310996*q102-630410278*q101-1009015895*q100-1578532849*q99-2417410542*q98-3628897233*q97-5346245930*q96-7738209354*q95-11014592780*q94-15431562271*q93-21296336917*q92-28970832923*q91-38873781118*q90-51480814244*q89-67322022502*q88-86976510707*q87-111063562039*q86-140230123797*q85-175134479331*q84-216426154185*q83-264722317163*q82-320581169273*q81-384473053329*q80-456750250207*q79-537616638714*q78-627098568602*q77-725018414915*q76-830972332853*q75-944313704873*q74-1064143659019*q73-1189309837532*q72-1318414311129*q71-1449831176128*q70-1581733953526*q69-1712132450851*q68-1838918272730*q67-1959917700931*q66-2072950236513*q65-2175890732337*q64-2266732767744*q63-2343650748669*q62-2405058170088*q61-2449659560856*q60-2476493843437*q59-2484967174656*q58-2474873772785*q57-2446403758673*q56-2400137616515*q55-2337027481818*q54-2258366057059*q53-2165744506758*q52-2061001163040*q51-1946163254505*q50-1823384135692*q49-1694878629195*q48-1562859093097*q47-1429474696453*q46-1296756136371*q45-1166567679850*q44-1040567985354*q43-920180680239*q42-806575169521*q41-700657657865*q40-603071906907*q39-514208847321*q38-434223837763*q37-363060123557*q36-300476903127*q35-246080359923*q34-199356056374*q33-159701203700*q32-126455502830*q31-98929480219*q30-76429499829*q29-58278900847*q28-43834973084*q27-32501723962*q26-23738601098*q25-17065504721*q24-12064550062*q23-8379120417*q22-5710788839*q21-3814684934*q20-2493849460*q19-1593060962*q18-992543577*q17-601881264*q16-354378149*q15-202023344*q14-111145993*q13-58785390*q12-29753317*q11-14331491*q10-6525379*q9-2785083*q8-1102494*q7-399235*q6-129826*q5-36944*q4-8854*q3-1680*q2-225*q-16)*theta2+(q120+15*q119+119*q118+664*q117+2924*q116+10813*q115+34900*q114+100913*q113+266338*q112+650658*q111+1487262*q110+3208036*q109+6574987*q108+12876702*q107+24210652*q106+43874857*q105+76893687*q104+130701986*q103+216008661*q102+347854815*q101+546871981*q100+840732790*q99+1265769513*q98+1868715733*q97+2708503701*q96+3858025899*q95+5405745562*q94+7457019331*q93+10134977992*q92+13580800674*q91+17953216130*q90+23427073737*q89+30190848078*q88+38442975195*q87+48386965771*q86+60225299589*q85+74152174574*q84+90345259476*q83+108956677797*q82+130103527156*q81+153858307693*q80+180239689955*q79+209204091832*q78+240638550997*q77+274355370450*q76+310088978041*q75+347495375766*q74+386154462530*q73+425575398166*q72+465205041801*q71+504439350762*q70+542637474944*q69+579138134521*q68+613277734909*q67+644409560477*q66+671923305201*q65+695264150336*q64+713950590364*q63+727590240796*q62+735892934219*q61+738680521142*q60+735892934219*q59+727590240796*q58+713950590364*q57+695264150336*q56+671923305201*q55+644409560477*q54+613277734909*q53+579138134521*q52+542637474944*q51+504439350762*q50+465205041801*q49+425575398166*q48+386154462530*q47+347495375766*q46+310088978041*q45+274355370450*q44+240638550997*q43+209204091832*q42+180239689955*q41+153858307693*q40+130103527156*q39+108956677797*q38+90345259476*q37+74152174574*q36+60225299589*q35+48386965771*q34+38442975195*q33+30190848078*q32+23427073737*q31+17953216130*q30+13580800674*q29+10134977992*q28+7457019331*q27+5405745562*q26+3858025899*q25+2708503701*q24+1868715733*q23+1265769513*q22+840732790*q21+546871981*q20+347854815*q19+216008661*q18+130701986*q17+76893687*q16+43874857*q15+24210652*q14+12876702*q13+6574987*q12+3208036*q11+1487262*q10+650658*q9+266338*q8+100913*q7+34900*q6+10813*q5+2924*q4+664*q3+119*q2+15*q+1)*theta
;
poly factor = 1 / (q^(66));
factor*entry;

Change History (6)

comment:1 Changed 12 years ago by seelisch

Owner: changed from somebody to seelisch

comment:2 Changed 12 years ago by seelisch

Owner: changed from seelisch to somebody

I set this ticket to "somebody" for the next meeting. Afterwards, it may be closed (although there are some issues which the team has to take care of in the further development in Spielwiese!).

1) I ran the above pathological example in the current SINGULAR svn trunk version on my PC (Intel i7, 2.8 GHz, 16 GB, Ubuntu 10.04) and it takes 63 sec to compute the product (factor*entry) and print it to the SINGULAR console. I gathered more detailed information inside the procedure iparith.cc:jjTIMES_P:

21 sec for pMult, 21 sec for pNormalize, 21 sec for printing the result (which calls pNormalize again).

In the svn trunk version, there does not seem to be a means to "remember" whether a polynomial over Q has already been normalized or not.

2) I re-implemented algebraic and transcendental field extensions (over arbitrary fields, i.e., allowing for extensions towers now) in the Spielwiese. There are now two implementations; one for algebraic extensions (in one variable with a min poly), and one for rational functions fields in numerous variables. (In svn trunk, there is basically just one implementation for both types with case differentiations in almost every procedure.) The new Spielwiese implementation of rational function fields has a heuristic cancellation strategy. The actual cancellation step is then done by 'factory'-calls.

3) I then ran the above example in Spielwiese and the result is now instantaneous (just run polys_test to verify this). Also, the result is the same as with the svn trunk version. (I compared using 'diff'.) Moreover, I tested with large random examples and the result was always instantaneous and looked plausible.

4) The entire Spielwiese code makes only 6 calls to p_Normalize (and only for polynomials over Q); all of them in transext.cc:handleNestedFractionsOverQ.

5) I strongly recommend to re-think the use of p_Normalize at all. (It triggers the cancellation of rational coefficients.) The goal should be to entirely hide this issue from the user of the 'coeffs' module. Up to now, this is not the case, as I need to explicitely call p_Normalize for polys over Q in order to be able to compute correct gcd's of integer coefficients of such polys. (I need this to be able to remove nested fractions in elements of Q(t_1, ..., t_n), for some n.)

comment:3 Changed 12 years ago by burcin

This is probably related to #154.

comment:4 Changed 12 years ago by Oleksandr

Milestone: 3-1-3 and higher3-1-4 and higher

should be fixed via libpolys (Frank's rational function fields?) => postponed to Singular/libpolys

comment:5 Changed 11 years ago by Oleksandr

Description: modified (diff)

comment:6 Changed 11 years ago by steidel

Resolution: wontfix
Status: newclosed

Is already fixed in "Spielwiese", won't be fixed in classical SINGULAR.

Note: See TracTickets for help on using tickets.