groebnerbasis {a+b+a b-1, a^3-c, b^3-d}