Maxima是否支持微积分基本定理对应的积分化简功能？

Maxima完全支持微积分基本定理的相关行为，默认输出未化简是因为内置积分策略未自动触发定理应用，通过调整设置或修改写法即可得到期望结果：

不定积分得到x+C的方法 #

方法1：启用微积分基本定理自动应用 #

在代码前添加设置选项，让Maxima自动化简导数的积分：

integ_use_fundamental_theorem: true$
depends(x,t)$
integrate(diff(x,t),t);

执行后会输出 x + %c（%c为Maxima默认表示的积分常数，不依赖于t）。

方法2：显式定义x为t的函数 #

直接将x声明为t的函数，无需额外设置即可触发化简：

integrate(diff(x(t),t),t);

输出结果同样为 x(t) + %c。

定积分得到x(t1)-x(t0)的方法 #

方法1：启用选项后直接计算 #

先开启自动应用定理的设置，再计算定积分：

integ_use_fundamental_theorem: true$
depends(x,t)$
integrate(diff(x,t),t, t0, t1);

执行后输出 x(t1) - x(t0)。

方法2：显式使用函数写法计算 #

无需设置选项，直接用函数形式计算定积分：

integrate(diff(x(t),t),t, t0, t1);

同样会得到 x(t1) - x(t0)。

内容的提问来源于stack exchange，提问作者Nidish Narayanaa