((~) * (Groundfield a) (Groundfield b), InnerProductSpace a, InnerProductSpace b) => InnerProductSpace (a, b) Source # | |
|
((~) * (Groundfield a) (Groundfield b), VectorSpace a, VectorSpace b) => VectorSpace (a, b) Source # | |
|
((~) * (Groundring a) (Groundring b), RModule a, RModule b) => RModule (a, b) Source # | |
Methods zeroVector :: (a, b) Source # (*^) :: Groundring (a, b) -> (a, b) -> (a, b) Source # (^*) :: (a, b) -> Groundring (a, b) -> (a, b) Source # negateVector :: (a, b) -> (a, b) Source # (^+^) :: (a, b) -> (a, b) -> (a, b) Source # (^-^) :: (a, b) -> (a, b) -> (a, b) Source # |
Num a => InnerProductSpace (a, a, a) Source # | |
|
Fractional a => VectorSpace (a, a, a) Source # | |
|
Num a => RModule (a, a, a) Source # | |
Methods zeroVector :: (a, a, a) Source # (*^) :: Groundring (a, a, a) -> (a, a, a) -> (a, a, a) Source # (^*) :: (a, a, a) -> Groundring (a, a, a) -> (a, a, a) Source # negateVector :: (a, a, a) -> (a, a, a) Source # (^+^) :: (a, a, a) -> (a, a, a) -> (a, a, a) Source # (^-^) :: (a, a, a) -> (a, a, a) -> (a, a, a) Source # |
Num a => InnerProductSpace (a, a, a, a) Source # | |
|
Fractional a => VectorSpace (a, a, a, a) Source # | |
|
Num a => RModule (a, a, a, a) Source # | |
Methods zeroVector :: (a, a, a, a) Source # (*^) :: Groundring (a, a, a, a) -> (a, a, a, a) -> (a, a, a, a) Source # (^*) :: (a, a, a, a) -> Groundring (a, a, a, a) -> (a, a, a, a) Source # negateVector :: (a, a, a, a) -> (a, a, a, a) Source # (^+^) :: (a, a, a, a) -> (a, a, a, a) -> (a, a, a, a) Source # (^-^) :: (a, a, a, a) -> (a, a, a, a) -> (a, a, a, a) Source # |
Num a => InnerProductSpace (a, a, a, a, a) Source # | |
Methods dot :: (a, a, a, a, a) -> (a, a, a, a, a) -> Groundfield (a, a, a, a, a) Source # |
Fractional a => VectorSpace (a, a, a, a, a) Source # | |
Methods (^/) :: (a, a, a, a, a) -> Groundfield (a, a, a, a, a) -> (a, a, a, a, a) Source # |
Num a => RModule (a, a, a, a, a) Source # | |
Methods zeroVector :: (a, a, a, a, a) Source # (*^) :: Groundring (a, a, a, a, a) -> (a, a, a, a, a) -> (a, a, a, a, a) Source # (^*) :: (a, a, a, a, a) -> Groundring (a, a, a, a, a) -> (a, a, a, a, a) Source # negateVector :: (a, a, a, a, a) -> (a, a, a, a, a) Source # (^+^) :: (a, a, a, a, a) -> (a, a, a, a, a) -> (a, a, a, a, a) Source # (^-^) :: (a, a, a, a, a) -> (a, a, a, a, a) -> (a, a, a, a, a) Source # |