Update Algebra.fs

Wanderkind · Jan 17, 2024 · 8773510 · 8773510
1 parent 68ea064
commit 8773510
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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
-*)
+*)