c++ - Eigen 可以使用符号算术吗？

Question

在我使用 Eigen 时，我被它优秀的库所吸引，尤其是与矩阵计算相关的函数。

但是，最近想在矩阵中使用符号运算来进行计算，就像在matlab中可以实现的一样。通过我的搜索，我发现C++有像SymEngine这样的框架，可以提供符号运算，但似乎并没有与Eigen耦合来实现矩阵中的符号运算。

想请问大家，有没有遇到过这种问题，或者可以提供相应的解决方案吗？还是不基于这两个框架？

谢谢！</p>

Answer 1

是的，Eigen 和 SymEngine 一起使用没有问题。

我已经做到了——它起作用了，但请注意，随着 SymEngine 表达式的大型计算变得缓慢，可能会慢得令人望而却步。

无论如何，Eigen 是一个模板库。您所要做的就是使用 SymEngine 表达式作为特征矩阵的类型参数，例如

using number = SymEngine::Expression;
using matrix = Eigen::Matrix<number, 3, 3>;