Opened 8 years ago

Last modified 8 years ago

#654 new bug

result of std() not unique for ls ordering + redSB

Reported by: steenpass Owned by: hannes
Priority: minor Milestone: 4-1-0 and higher
Component: dontKnow Version: 4-0-1
Keywords: Cc: dkifle16@…

Description

This example was found by Dereje:

> ring r = (0,a), (x,y), ls;
> ideal I = x2 + ay, ay2 -(a+7)*x + 3y;
> option(redSB);
> ideal k = std(I);
> ideal j = std(k);
> k;
k[1]=3*y+(a)*y2
k[2]=x
> j;
j[1]=y
j[2]=x

This is not mathematically wrong, but confusing. k should be the same as j.

Change History (1)

comment:1 Changed 8 years ago by Oleksandr

Owner: changed from somebody to hannes

take out units

Note: See TracTickets for help on using tickets.