f g action p <poly> f,g,p Act f on g. The result is p. The homogenization variable h is put to 1. We can use diff0 only in the ring of differential operators. Example: [(x) ring_of_differential_operators 0] define_ring (Dx^2). (x^2). action ::