M -> ann(x)

i can find the grobner basis of kernel of ann(x) and need the final step to recover this basis to ideal

as i know, eliminate is not for all cases, what is the general practice to treat this case? i do not have a real example of this. Hope an example.

which book teach this to convert basis back to ideals, if have maple code will be more understandable