emmy.calculus.map — org.mentat/emmy 0.31.0

Various definitions and utilities for working with maps between manifolds.

basis->basis-over-map clj/s

(basis->basis-over-map mu:N->M basis-on-M)

differential clj/s

Alias for differential-of-map.

differential-of-map clj/s

(differential-of-map mu:N->M)

Defined on FDG p.72.

form-field->form-field-over-map clj/s

(form-field->form-field-over-map mu:N->M)

literal-manifold-map clj/s

(literal-manifold-map name source target)

pullback clj/s

(pullback mu:N->M)

(pullback mu:N->M mu-inverse:M->N)

pullback-form clj/s

(pullback-form mu:N->M)

Returns a function which will pull a form back across a map (without needing its inverse)

pullback-function clj/s

(pullback-function mu:N->M)

pullback-vector-field clj/s

(pullback-vector-field mu:N->M mu-inverse:M->N)

pushforward-function clj/s

(pushforward-function mu-inverse:M->N)

pushforward-vector clj/s

(pushforward-vector mu:N->M mu-inverse:M->N)

vector-field->vector-field-over-map clj/s

(vector-field->vector-field-over-map mu:N->M)

Defined on FDG p.72.