select rat[a,x,y]/{y*x==x*y+a}$

k := y^3+x^2*y+x*y$

h := x^2+x$

statgb := 3$
standard(leftideal(k,h))$
standard(rightideal(k,h))$
standard(ideal(k,h))$