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 ::