Remove old comment from Normed.

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

diff --git a/src/Normed.hs b/src/Normed.hs
index 3752edc04b9fef7fa04f3ec5fd9a074d5789a0bb..f339ebfd6757a86123f8111c4cb1bb7f5ef35534 100644 (file)
--- a/src/Normed.hs
+++ b/src/Normed.hs
@@ -13,13 +13,8 @@ import Algebra.Absolute (abs)
 import qualified Algebra.Absolute as Absolute
 import qualified Algebra.Algebraic as Algebraic
 import qualified Algebra.RealField as RealField
 import qualified Algebra.Absolute as Absolute
 import qualified Algebra.Algebraic as Algebraic
 import qualified Algebra.RealField as RealField

-import qualified Algebra.RealRing as RealRing

 import qualified Algebra.ToInteger as ToInteger
 
 import qualified Algebra.ToInteger as ToInteger
 

--- Since the norm is defined on a vector space, we should be able to
--- add and subtract anything on which a norm is defined. Of course
--- 'Num' is a bad choice here, but we really prefer to use the normal
--- addition and subtraction operators.

 class Normed a where
   norm_p :: (ToInteger.C c, Algebraic.C b, Absolute.C b) => c -> a -> b
   norm_infty :: (RealField.C b) => a -> b
 class Normed a where
   norm_p :: (ToInteger.C c, Algebraic.C b, Absolute.C b) => c -> a -> b
   norm_infty :: (RealField.C b) => a -> b