好吧,我就是想标题党一回
最新的代码修改版参见 issue 区,感谢 @asdasd1dsadsa 提供的框符的代码。
https://github.com/RuleBasedIntegration/Rubi/issues/34github.com最新的效果如图:
![969d7cf30a4e71eafd4758f24dc5c734.png](https://i-blog.csdnimg.cn/blog_migrate/e5a18af0bc20fdeca3e10927b69e62ab.jpeg)
简单做了个项目,求个 star ~https://github.com/wuyudi/IntWithStepsOfTeXFormgithub.com
涉及工具:Mathematica,Rubi 库
wydi:Mathematica 的积分库 Rubizhuanlan.zhihu.com用 Rubi 做了一阵子题,发现每次一行行复制的行为太 naive 了。就想着自己做个工具来自动化。
花了一阵子查手册,解决各种问题,最终成品如下
更好用的修改版在文末。
<<
没有整理,全程后缀式,想到啥写啥。
使用效果如图。
以
IntWithStepsOfTeXForm[Int[x^3 E^x, x]]// Print
可以直接生成过程。
常用的换元也有
IntWithStepsOfTeXForm[Int[Sqrt[x]/(1 + Sqrt[x]), x]] // Print
如果要在 Mathematica 里显示,导入 MaTeX 包就行。
wydi:Mathematica 内显示 TeXzhuanlan.zhihu.com![7572875f0f313127ee59b810e47f3ad5.png](https://i-blog.csdnimg.cn/blog_migrate/81efb4bfd138362c098a3cb87f00ccb0.png)
Alpha 自带的不能给出有特殊函数的过程,这个也可以。
IntWithStepsOfTeXForm[Int[Sin[x]*Cos[x]/x, x]]//Print
过程仅限于 6700 多条规则 [1]里有匹配的。
在 MSE 上收到了一个建议[2]。更改了输入方式。
IntWithStepsOfTeXForm
使用体验更像原生的了。
![8f702f1ba4abe8e6a9de888612e49751.png](https://i-blog.csdnimg.cn/blog_migrate/a791a571cb6ed7bcaeec17ff94d1dca8.png)
参考
- ^数字出处 https://rulebasedintegration.org/
- ^https://mathematica.stackexchange.com/questions/221547/problem-calling-function-defined-with-holdfirst