Module

Data.VectorField

#VectorField 

class (Field k, Group (f k), Commutative (f k)) <= VectorField f k  where

Members

  • scalarMul :: k -> f k -> f k
    • ∀v in V: one * v == v
    • ∀a b in K, v in V: a * (b .* v) = (a * b) .* v
    • ∀a b in K, v in V:
      • a .* (u + v) = a .* u + a .* v
      • (a + b) .* v = a .* v + b .* v

#flipScalarMul 

flipScalarMul :: forall f k. VectorField f k => f k -> k -> f k

#(.*)

Operator alias for Data.VectorField.scalarMul (right-associative / precedence 8)

#(*.)

Operator alias for Data.VectorField.flipScalarMul (left-associative / precedence 8)

Modules