Data.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 :: forall k f. 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)