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