Algebra.Module · numeric-prelude-0.4.4

classclass (C a, C v) => C a v where

A Module over a ring satisfies:

  a *> (b + c) === a *> b + a *> c
  (a * b) *> c === a *> (b *> c)
  (a + b) *> c === a *> c + b *> c

Methods

(*>) :: a -> v -> vinfixr 7
scale a vector by a scalar

Instances28C, …

C Integer IntegerDefined in numeric-prelude-0.4.4 · Algebra.Module
C Int16 Int16Defined in numeric-prelude-0.4.4 · Algebra.Module
C Int32 Int32Defined in numeric-prelude-0.4.4 · Algebra.Module
C Int64 Int64Defined in numeric-prelude-0.4.4 · Algebra.Module
C Int8 Int8Defined in numeric-prelude-0.4.4 · Algebra.Module
C Double DoubleDefined in numeric-prelude-0.4.4 · Algebra.Module
C Float FloatDefined in numeric-prelude-0.4.4 · Algebra.Module
C Int IntDefined in numeric-prelude-0.4.4 · Algebra.Module
C T TDefined in numeric-prelude-0.4.4 · Number.GaloisField2p32m5
C a b => C a (T b)Defined in numeric-prelude-0.4.4 · MathObj.LaurentPolynomial
C a b => C a (T b)Defined in numeric-prelude-0.4.4 · MathObj.Matrix
C a b => C a (T b)Defined in numeric-prelude-0.4.4 · MathObj.Polynomial
C a b => C a (T b)Defined in numeric-prelude-0.4.4 · MathObj.PowerSeries
C a b => C a (T b)Defined in numeric-prelude-0.4.4 · Number.Complex
The (*>) method can't replace scale because it requires the Algebra.Module constraint
C a b => C a (T b)Defined in numeric-prelude-0.4.4 · Number.Quaternion
The (*>) method can't replace scale because it requires the Algebra.Module constraint
C a v => C a [v]Defined in numeric-prelude-0.4.4 · Algebra.Module
C a => C Integer (T a)Defined in numeric-prelude-0.4.4 · Algebra.Module
(C a b, RealFloat b) => C a (Complex b)Defined in numeric-prelude-0.4.4 · Algebra.Module
(C a v, C v) => C a (T v)Defined in numeric-prelude-0.4.4 · MathObj.PowerSum
C a v => C a (T b v)Defined in numeric-prelude-0.4.4 · Number.SI
C a v => C a (c -> v)Defined in numeric-prelude-0.4.4 · Algebra.Module
(Ord i, Eq a, Eq v, C a v) => C a (Map i v)Defined in numeric-prelude-0.4.4 · MathObj.DiscreteMap · orphan
(Ord i, C a v) => C a (T i v)Defined in numeric-prelude-0.4.4 · Number.Physical
(C u, C a b) => C a (T u b)Defined in numeric-prelude-0.4.4 · Number.DimensionTerm
(C a b0, C a b1) => C a (b0, b1)Defined in numeric-prelude-0.4.4 · Algebra.Module
(C a b0, C a b1, C a b2) => C a (b0, b1, b2)Defined in numeric-prelude-0.4.4 · Algebra.Module
C a v => C (T a) (T v)Defined in numeric-prelude-0.4.4 · MathObj.Wrapper.NumericPrelude
C a => C (T a) (T a)Defined in numeric-prelude-0.4.4 · Algebra.Module