ann-t-f

ann-t-f returns the annihilating ideal of delta(t-f(x))
Example: [(x^3-y^2) [(t) (x) (y)]] ann-t-f