mayr has difficult groebner basis examples.