Opened 10 years ago

Last modified 10 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@…


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;
> j;

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

Change History (1)

comment:1 Changed 10 years ago by Oleksandr

Owner: changed from somebody to hannes

take out units

Note: See TracTickets for help on using tickets.