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