开源三角方程简化器（最好是基于C的）？

Question

我在互联网上做了一些搜索，试图找到某种形式的示例代码，这将允许我简化三角方程。在我今年的数学课程中，我需要简化三角方程，我打算调整代码以使用我的TI-89 Titanium CAS，用于替换tCollect和tExpand函数（似乎不能按照我的意愿完成工作。

由于我无法真正找到关于这个问题的太多信息，我想知道是否有任何代码（最好是基于C语言）可以帮助我简化这些方程式。如果没有，那么我自己编写什么样的算法最好？

感谢。

Answer 1

一个非常强大的系统，似乎具有您需要的功能，是Maxima，一个开源计算机代数系统。以下联机帮助页描述了trigexapand和trigreduce，它们似乎与您正在寻找的大致相同。

http://maxima.sourceforge.net/docs/manual/en/maxima_15.html

这是在Lisp而不是C，但考虑到冒险：）

Answer 2

Eigenmath是一个方便的小型计算机代数系统。

您可能会在Eigenmath's source code中找到相关内容。

Answer 3

HP49 / 50系列计算器具有多种触发操作功能，可以比TI-89做得更好。 HP计算器的CAS是开源的，但是用不起眼的语言编写。你最好先查看那个用C ++编写的那个CAS编写的CAS：Giac/Xcas。