We should implement the following and document it for (explicit?) Euclidean rings: ann(a) : return the annihilator ideal of a