[Jacal-discuss] [PATCH] Return novalue when definite integration fails

[Kris Katterjohn]

Hi,

When indefinite integration fails, novalue is returned.  However this is
not checked for when doing definite integration, so novalue can get
applied to the integration limit(s):


e0 : integrate(1/x,x);

;;; could-not-find-algebraic-anti-derivative
 non-decreasing-rxd 0 vs 0
e0 : integrate(1/x,x,1);

;;; could-not-find-algebraic-anti-derivative
 non-decreasing-rxd 0 vs 0
e0: ?(1)
e1 : integrate(1/x,x,1,2);

;;; could-not-find-algebraic-anti-derivative
 non-decreasing-rxd 0 vs 0
e1: - ?(1) + ?(2)


I've attached a patch to propagate the novalue instead of applying it to
the integration limit(s).

Cheers,
Kris Katterjohn

integrate-novalue.patch
Description: Text document