-import qualified Algebra.Absolute as Absolute
-import qualified Algebra.Algebraic as Algebraic
+import qualified Algebra.Absolute as Absolute ( C )
+import qualified Algebra.Algebraic as Algebraic ( C )
-import qualified Algebra.RealField as RealField
-import qualified Algebra.ToInteger as ToInteger
+import qualified Algebra.RealField as RealField ( C )
+import qualified Algebra.ToInteger as ToInteger ( C )
import qualified Algebra.ToRational as ToRational ( C )
import Data.Vector.Fixed ( S, Z )
import qualified Data.Vector.Fixed as V (
import qualified Algebra.ToRational as ToRational ( C )
import Data.Vector.Fixed ( S, Z )
import qualified Data.Vector.Fixed as V (
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
norm :: (Algebraic.C b, Absolute.C b) => a -> b
norm = norm_p (2 :: Integer)
norm :: (Algebraic.C b, Absolute.C b) => a -> b
norm = norm_p (2 :: Integer)