如何簡化基本的算術表達式? 例如 module ExprOps where
simplify :: Expr -> Expr
simplify (Plus(Var"x") (Const 0)) = Var "x"
我該怎麼辦? module Expr where
-- Variables are named by strings, assumed to be identifiers.
我需要在我的應用程序中求解一些數學方程。這裏是這樣的方程的一個典型的例子: a + b * c - d/e = a
附加規則: B%10 = 0 B> = 0 b < = 100 每個數必須是整數 ... 我想得到a,b,c,d和e可能的解決方案集。 是否有任何圖書館那裏,無論是開源或商業,我可以用它來解決這樣一個方程式?如果是,他們提供什麼樣的結果?