Opened 9 years ago

Closed 8 years ago

#488 closed bug (fixed)

minAssGTZ fails with minpoly

Reported by: anonymous Owned by: pfister
Priority: minor Milestone: 3-2-0 and higher
Component: dontKnow Version: 3-1-4
Keywords: Cc:

Description

When minAssGTZ is used on the trivial 1-ideal it does not work if the ring has a minpoly defined.

ring r1=(0,a),(x,y,z),dp; ideal i1=1; ideal i2=xy,z3; minAssGTZ(i2);

[1]:

_[1]=z _[2]=y

[2]:

_[1]=z _[2]=x

minAssGTZ(i1);

[1]:

_[1]=1

ring r2=(0,a),(x,y,z),dp; minpoly=a2-2; ideal i1=1; ideal i2=xy,z3; minAssGTZ(i2);

[1]:

_[1]=z _[2]=y

[2]:

_[1]=z _[2]=x

minAssGTZ(i1);

? wrong range[2] in ideal/module(1) ? error occurred in or before primdec.lib::algeDeco line 2659: K=K[2..size(K)]; ? leaving primdec.lib::algeDeco

[1]:

_[1]=0 _[2]=0

Change History (2)

comment:1 Changed 9 years ago by barakat

Owner: changed from somebody to pfister

comment:2 Changed 8 years ago by hannes

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.