表達式編程

Question

我已經構建了一個完整的工作計算器，用於評估任何表達式並繪製它。我還構建了一個符號區分器，它可以正確區分公式w.r.t. x但是我有點失落了，因爲如何以編程方式簡化任何泛型方程式，因爲在那一刻答案出現了許多倍數的答案。我意識到一個* 1很容易簡化，但我需要一個全面的簡化來覆蓋任何情況。

Answer 1

我認爲簡化是一種歸一化的形式。也許你可能要實施的第一件事是多項式的簡化：

• 計算包含在所有
• 沒有變量定義的順序爲您的變量，除非X是唯一有效的變量爲您帶來任何的子表達式根據它們的變量
• 基於變量這個量級上，限定用於單項式的順序，這需要變量及其度考慮
• 階項用於在單項式
• 次項根據自己的單項
• 多項式識別重複的單項式，並結合他們的係數
• 刪除其變成零

如果你也想簡化包含函數的表達式的所有單項式，事情就會變得更加任意複雜。一般來說，我會嘗試定義一些方法來衡量一個術語的簡單性，即給定兩個術語，決定哪一個更簡單。然後你可以考慮規則並檢查你是否可以保證他們只會讓你的條款更簡單。您可能還想檢查終止（即，無論您的條款對於無數步驟而言都變得更簡單）和匯合（即，當有兩種可能的簡化時，您接下來要做哪一項並不重要，因爲最終結果將是相同的）。

您可能想要閱讀關於term rewriting,rewrite systems及相關主題的一些文獻。