next up previous
: distraction : Macro Operators : denominator


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

Nobuki Takayama 平成22年2月8日