Opened 11 years ago

Closed 11 years ago

#378 closed bug (fixed)

Problem with absPrimdecGTZ / factorize

Reported by: wishcow@… Owned by: mlee
Priority: major Milestone: 3-1-4 and higher
Component: dontKnow Version: 3-1-3
Keywords: absPrimdecGTZ Cc:

Description

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.

Change History (2)

comment:1 Changed 11 years ago by mlee

Owner: changed from somebody to mlee

Using svn revision 14408 this bug does not show, so updating to the latest Singular version 3-1-3-3, should solve your problem.

comment:2 Changed 11 years ago by mlee

Resolution: → fixed
Status: new → closed
Note: See TracTickets for help on using tickets.