X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=src%2FNormed.hs;h=f339ebfd6757a86123f8111c4cb1bb7f5ef35534;hb=0a80879b886f592d663ace50eb78fa002facc1a3;hp=3752edc04b9fef7fa04f3ec5fd9a074d5789a0bb;hpb=bb7f6082639f8589a851487c02ab396f7f91b927;p=numerical-analysis.git

diff --git a/src/Normed.hs b/src/Normed.hs
index 3752edc..f339ebf 100644
--- 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.RealRing as RealRing
 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