- norm_p :: (Integral c, RealFrac b) => c -> a -> b
- norm_infty :: RealFrac b => a -> b
+ norm_p :: (ToInteger.C c, Algebraic.C b, Absolute.C b) => c -> a -> b
+ norm_infty :: (RealField.C b) => a -> b
+
+ -- | The "usual" norm. Defaults to the Euclidean norm.
+ norm :: (Algebraic.C b, Absolute.C b) => a -> b
+ norm = norm_p (2 :: Integer)