sicmutils.calculus.map — net.littleredcomputer/sicmutils 0.12.0

basis->basis-over-map clj

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

differential clj

(differential mu:N->M)

FDG p.72

form-field->form-field-over-map clj

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

literal-manifold-map clj

(literal-manifold-map name source target)

pullback clj

(pullback mu:N->M)

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

pullback-form clj

(pullback-form mu:N->M)

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

pullback-function clj

(pullback-function mu:N->M)

pullback-vector-field clj

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

pushforward-vector clj

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

vector-field->vector-field-over-map clj

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

FDG p.72