abides-0.0.1: src/Test/Abides/Data/DivisionRing.hs

module Test.Abides.Data.DivisionRing where


inverse :: Fractional a => Eq a => a -> Bool
inverse x = if x == 0 then True else (x * recip x) == (recip x * x) && (x * recip x) == 1