私は多項式のシステム、かなり単純な多項式式を持っていますが、手を最適化するにはかなり時間がかかります。式はセットにグループ化され、特定のセットにはいくつかの変数に共通の用語があります。
Mathematica、Matlab、または sympy など、複数の多項式を共通の項で最適化して演算数を最小限に抑えることができるコンピューター代数システムがあるかどうかを知りたいです。また、そのようなシステムが中間項の数を最小限に抑えてレジスタの数を減らすことができれば素晴らしいことです。
そのようなシステムが存在しない場合は、Python 記号代数 Sympy を使用して独自に作成します。このようなパッケージに取り組んでいる場合、または開発や使用に興味がある場合は、お知らせください。
ここに作成例があります
x0 = ((t - q*A)*x + B)*y
y0 = ((t - q*A)*y + B)*z
z0 = ((t - q*A)*z + B)*x
したがって、明らかに (t - qA) 項を因数分解できます。ここで、一般的な用語のさまざまな組み合わせで非常に多くの用語を作成すると、手作業で行うのが難しくなります。私が持っている方程式には最大 40 の項が含まれ、セットのサイズは約 20 です。
ありがとうございました