Maple 9.52 outputs 0 to the expression, specified in the title:

> int(Dirac(x)*Heaviside(x+c), x=a..b);
0

while the answer I expect should be: Heaviside(c) if 0 belongs to [a..b], and 0 if [a..b] does not contain 0. In other words, it should be Heaviside(c)*(Heaviside(b)-Heaviside(a)).

Is my expectation correct? If it is, how to force Maple to provide the correct output?

Thanks in advance,
Anton Travleev.

Please Wait...