computational-algebra-0.5.0.0: Well-kinded computational algebra library, currently supporting Groebner basis.
Algebra.Normed
Synopsis
class Ord (Norm a) => Normed a where Source #
Additional types for normed types.
Minimal complete definition
norm, liftNorm
Associated Types
type Norm a Source #
Methods
norm :: a -> Norm a Source #
liftNorm :: Norm a -> a Source #
Instances
type Norm Double :: * Source #
norm :: Double -> Norm Double Source #
liftNorm :: Norm Double -> Double Source #
type Norm Int :: * Source #
norm :: Int -> Norm Int Source #
liftNorm :: Norm Int -> Int Source #
type Norm Integer :: * Source #
norm :: Integer -> Norm Integer Source #
liftNorm :: Norm Integer -> Integer Source #
type Norm (Fraction d) :: * Source #
norm :: Fraction d -> Norm (Fraction d) Source #
liftNorm :: Norm (Fraction d) -> Fraction d Source #
type Norm (Scalar r) :: * Source #
norm :: Scalar r -> Norm (Scalar r) Source #
liftNorm :: Norm (Scalar r) -> Scalar r Source #
type Norm (F k p) :: * Source #
norm :: F k p -> Norm (F k p) Source #
liftNorm :: Norm (F k p) -> F k p Source #