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));
> (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?