From 8773510679c1c97738d76c62590ce7d96238b15f Mon Sep 17 00:00:00 2001 From: Jeongseop Lee Date: Thu, 18 Jan 2024 00:27:46 +0900 Subject: [PATCH] Update Algebra.fs --- Algebra.fs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Algebra.fs b/Algebra.fs index 11a2aab..539f526 100644 --- a/Algebra.fs +++ b/Algebra.fs @@ -31,7 +31,7 @@ let rec definite (x: item) : bool = | Expr (opr: operation) -> match opr with | OprAdd (y, z) | OprSub (y, z) | OprMul (y, z) | OprDiv (y, z) | OprEtc_Binary (_, y, z) -> definite y && definite z - | OprSqr y | OprSqt y | OprNeg y | OprPow (y, _) -> definite y | OprEtc_Unary (_, y) -> definite y + | OprSqr y | OprSqt y | OprNeg y | OprPow (y, _) | OprEtc_Unary (_, y) -> definite y | OprEtc_Etc (_, y) -> List.forall definite y let comprehensive_numSanitaize (n: num) : num = @@ -71,4 +71,4 @@ type nonpolynomial_func = type operation_func = // note that indef succeeds as variables | Poly of polynomial_func | NonPoly of nonpolynomial_func -*) \ No newline at end of file +*)