On 04/13/2013 12:02 PM, Waldek Hebisch wrote: > Using delta functions can lead to problems with zero divisors. ... > 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?
The conservative approach is to disable simplifications where the CAS is unsure of their correctness. Inside an integral, it can be evaluated appropriately. Elsewhere, it should probably be preserved as-is.