Date: Apr 13, 2013 12:02 PM
Author: Waldek Hebisch
Subject: Delta functions.

Using delta functions can lead to problems with zero divisors.
For example in Maple I get:

> (x - 4)*Dirac(x - 4);
(x - 4) Dirac(x - 4)

> simplify((x - 4)*Dirac(x - 4));
0

> (x - 4)*Dirac(x - 4)/(x-4);
Dirac(x - 4)

which is clearly inconsistent. I wonder I there is any theory
how to avoid such problems? I mean, what CAS can do to
protect users from wrong results?


--
Waldek Hebisch
hebisch@math.uni.wroc.pl