Usage

命令行语法为

solve <type> <B> <A> [<limit=64>]

• <type> 是用于指定类型的字符串；
• <B> 是指定无理数的系数，要求为整数；
• <A> 是常数项系数，要求为整数；
• <limit> 指定尝试构造积分 <limit> 次时停止。

---

输出设计上可以被 Python 的 sympy 解析，如果你希望得到 Latex 版本，可以使用 Python 转换，例如：

import sympy
print(sympy.latex(sympy.sympify(input()).simplify()))

项目编写了一个配套的 Python 转换脚本，可以使用以下脚本直接得到 Latex 输出（需要安装 sympy 依赖）。

solve <args...> | python format_output.py

对于 Python 和 sympy 的安装，在此不作介绍。