X-Git-Url: http://gitweb.michael.orlitzky.com/?p=numerical-analysis.git;a=blobdiff_plain;f=src%2FNormed.hs;h=f339ebfd6757a86123f8111c4cb1bb7f5ef35534;hp=8b4829538b8a8064bafa15928c86641280f1dfd5;hb=0a80879b886f592d663ace50eb78fa002facc1a3;hpb=af25e6f32f6787a747be63093adc10915ad60068 diff --git a/src/Normed.hs b/src/Normed.hs index 8b48295..f339ebf 100644 --- a/src/Normed.hs +++ b/src/Normed.hs @@ -15,10 +15,6 @@ import qualified Algebra.Algebraic as Algebraic import qualified Algebra.RealField as RealField 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