Module

Data.VectorField

Package
purescript-vectorfield
Repository
csicar/purescript-vectorfield

#VectorField Source

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 Source

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

#(.*) Source

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

#(*.) Source

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