Use RealField/RealRing where possible instead of their constituents.

[numerical-analysis.git] / src / BigFloat.hs

diff --git a/src/BigFloat.hs b/src/BigFloat.hs
index e23ebe6833bd674be0d5ea1f65dbfe540ec72baf..0bebab9659a2fd8ee22358a39c676661e2fba827 100644 (file)
--- a/src/BigFloat.hs
+++ b/src/BigFloat.hs
@@ -10,6 +10,8 @@ import NumericPrelude hiding (abs)
 import qualified Algebra.Absolute as Absolute
 import qualified Algebra.Additive as Additive
 import qualified Algebra.Field as Field
 import qualified Algebra.Absolute as Absolute
 import qualified Algebra.Additive as Additive
 import qualified Algebra.Field as Field

+import qualified Algebra.RealField as RealField
+import qualified Algebra.RealRing as RealRing

 import qualified Algebra.Ring as Ring
 import qualified Algebra.ToRational as ToRational
 import qualified Algebra.ZeroTestable as ZeroTestable
 import qualified Algebra.Ring as Ring
 import qualified Algebra.ToRational as ToRational
 import qualified Algebra.ZeroTestable as ZeroTestable


@@ -38,3 +40,8 @@ instance Epsilon e => ZeroTestable.C (BigFloat e) where
 
 instance Epsilon e => ToRational.C (BigFloat e) where
   toRational = fromRational . P.toRational
 
 instance Epsilon e => ToRational.C (BigFloat e) where
   toRational = fromRational . P.toRational

+
+instance Epsilon e => RealRing.C (BigFloat e) where
+  floor = fromInteger . P.floor
+
+instance Epsilon e => RealField.C (BigFloat e)