From 0cfdbb7ab4de0a2b1d5731305b14617c46c27222 Mon Sep 17 00:00:00 2001 From: Francis Russell Date: Fri, 12 Apr 2013 16:40:20 +0100 Subject: [PATCH] Add Fractional instance for Expr. --- LTA/Symbolic.hs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/LTA/Symbolic.hs b/LTA/Symbolic.hs index a46846a..f29070f 100644 --- a/LTA/Symbolic.hs +++ b/LTA/Symbolic.hs @@ -184,3 +184,7 @@ instance Num Expr where fromInteger = Literal . fromInteger negate a = simplify $ Sum $ empty `addPair` (a, -1) signum = UnaryFunction Signum + +instance Fractional Expr where + (/) a b = simplify $ Product $ empty `addPair` (a, 1) `addPair` (b, -1) + fromRational = Literal . RationalLiteral -- 2.47.3