id summary reporter owner description type status priority milestone component version resolution keywords cc 378 Problem with absPrimdecGTZ / factorize wishcow@… mlee "I am running the following program: {{{ LIB ""primdec.lib""; ring r = 0,(x,y,z,t),lp; poly pi = x3+y3+z3+t3; poly pii = 413064x2y+196884xy2-267330y3+689241x2z+622944xyz+146146y2z+532287xz2+236572yz2-161658z3+98463x2t+88992xyt+20878y2t+152082xzt+67592yzt+59143z2t+10863xt2+4828yt2+8449zt2-299256t3; poly piii = 153301662853724xy2z+54481909356497xz2t+52901755839996yz2t+21900237550532xy2t-6170731609350x2zt+32639293659476y2zt+69385997415952xyzt+4956142672568xyt2+7783129908071xzt2+35804895986328t4+242850990955832xyz2+114237527808166y2z2+284927741041293xz3+265745547048580yz3+65382863880499z3t-440766543525x2t2+2331378118534y2t2+6342758979494z2t2+158173911109851xt3+142667992645324yt3+251087326117117zt3+150422697305136y4+302282452165890z4+190197752022336xy3+42757326336054y3t+7557393691428yzt2+299301284352378y3z-21597560632725x2z2; poly piiii = -728804503309947649754023805076xy2z2+176775418193568810812926677948y3zt-208229858088556471358292515736xy2zt-703911882821589133068657203784xyz2t+21063948569209055390882495592t5-281050214429336843329675703706y2z2t-92797204257820111734580084161z3t2+277264810448781101526532312642y2t3-1364902056770038158227041977768xyz3-1021641497001103276104534262260xz3t-592166355139619097825651068552yz3t-14873561292039747954163751124xy2t2-105860061165580339921058386008yz2t2-135877733947441553951937420675x2zt2-40150030632762406189953671958y2zt2-238646221324730659908697262922xz2t2-103270098727167346137858474899z4t+12626815585254915058066191282y3t2+272770486937332477891874782056xyt3+621557872712075704294399585068xzt3-697151065155574041636512907032yzt3+226983504681996941465502854400y5+465910475688940136086826049225x2t3-951144137632090877663561944725x2z2t-100558840403084161866951029112xyzt2+1017489919553909254339206414171z2t3+91229147339732556326839708713xt4-98512804602167920846837982780yt4+294197967571910848814543706391zt4+475678187072534241219879230202z5-901421490210913256121841265808y4z+618713963677490837845243372818y3z2-1746955477169393742559011944625x2z3-376607116999063799281284630674y2z3-1304658056551821764968656894231xz4-1551592987420615356713627022668yz4-128774498601559036588834466544y4t; ideal i = pi,pii,piii,piiii; def S = absPrimdecGTZ(i); }}} And it is returning // ** problem with factorize The ideal represents a curve which Magma says is NOT absolutely irreducible, and yet Singular returns only one component. " bug closed major 3-1-4 and higher dontKnow 3-1-3 fixed absPrimdecGTZ