sicmutils.calculus.map — sicmutils 0.14.0

basis->basis-over-map clj/s

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

differential clj/s

(differential mu:N->M)

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-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)

FDG p.72