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

[steenpass]

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.

[Oleksandr]

take out units