I came across a difficulty I cannot overcome:

Basically, I want to make SWP to use the fundamental theorem of calculus:

\int_a^b f(x)dx = F(b)-F(a)

Unfortunately, my attempts to

either (i) define f(x) as a generic function and then define its antiderivative, F(x)= \int f(x)dx
or (ii) define F(x) as a generic function and then define its derivative f(x)= dF/dx

did not give the desired result. That is evaluation of \int_a^b f(x)dx does not lead to F(b)-F(a).

I wonder if there is a way to accomplish it or it has not been implemented yet?

I am not an expert when it comes to effectively using the CAS in SWP/SN but I have found that with some work I can get most things done. I worked on your problem some and found that if I first define f(x), which can be most any reasonable function, and then define F(x) in the way you suggested all seems to work. Now, I know you will want to change f(x). Doing so does not present a problem, I tried several functions and F(x) updated correctly.

Ameny IV


http://archives.math.utk.edu/visual.calculus/4/antider.1/