f v n diff0 fn <poly> fn, v ; <integer> n ; <poly> fn fn = v^n f where v^n is the operator to take the n-th differential. We can use diff0 only in the ring of differential operators. Example: [(x) ring_of_differential_operators 0] define_ring (x^10-x). (Dx). 1 diff0 ::