On 12/18/11, Barton Willis <willisb at unk.edu> wrote:
> Oh, I thought the calls to make-global-assumptions, assume, and
> with-new-context in $defint
> did sometime useful--apparently not always:
Maybe they do, maybe they don't, but in any event only the outer
call to integrate could make assumptions about x for the benefit
of the inner call, and by then it's too late, right?
best
Robert Dodier