If true, the state passed to the fn returned by Legendre-transform
is
checked for correctness. If false
errors may occur. See the code body for
more detail.
Defaults to false
.
If true, the state passed to the fn returned by [[Legendre-transform]] is checked for correctness. If `false` errors may occur. See the code body for more detail. Defaults to `false`.
(->H-state t q p)
Given a time t
, coordinate tuple (or scalar) q
and momentum tuple (or
scalar) p
, returns a 'Hamiltonian state tuple', i.e., the state expected by a
Hamiltonian.
Given a time `t`, coordinate tuple (or scalar) `q` and momentum tuple (or scalar) `p`, returns a 'Hamiltonian state tuple', i.e., the state expected by a Hamiltonian.
(compatible-H-state? s)
Returns true if s
is compatible for contraction with a proper H-state, false
otherwise.
Returns true if `s` is compatible for contraction with a proper H-state, false otherwise.
(F->CH F)
A transformation of configuration coordinates F to a procedure implementing a transformation of phase-space coordinates (p. 320)
A transformation of configuration coordinates F to a procedure implementing a transformation of phase-space coordinates (p. 320)
(flow-derivative H)
the flow derivative generalizes the Lie derivative to allow for time dependent H and F --- computes the 'time' derivative of F along the flow specified by H
the flow derivative generalizes the Lie derivative to allow for time dependent H and F --- computes the 'time' derivative of F along the flow specified by H
(flow-transform H delta-t)
The generalization of Lie-transform to include time dependence.
The generalization of Lie-transform to include time dependence.
(H-state? s)
Returns true if the supplied state is
of type emmy.structure/up
contains three elements of time
, coordinate
and momentum
of either of
the following type shapes:
(up <number> <number> <number>)
(up <number> (up <number>*) (down <number>*))
If structural, the dimension of the coordinate and momentum tuples must match.
Returns true if the supplied state is - of type [[emmy.structure/up]] - contains three elements of `time`, `coordinate` and `momentum` of either of the following type shapes: ``` (up <number> <number> <number>) (up <number> (up <number>*) (down <number>*)) ``` If structural, the dimension of the coordinate and momentum tuples must match.
(Hamiltonian n)
Returns function signature for a Hamiltonian with n degrees of freedom (or an unrestricted number if n is not given).
Useful for constructing Hamiltonian literal functions.
Returns function signature for a Hamiltonian with n degrees of freedom (or an unrestricted number if n is not given). Useful for constructing Hamiltonian literal functions.
(iterated-map f n)
f is a function of (x y continue fail), which calls continue with the values of x' y' that follow x y in the mapping.
Returns a map of the same shape that iterates the iterated map n times before invoking the continuation, or invokes the fail continuation if the inner map fails.
f is a function of (x y continue fail), which calls continue with the values of x' y' that follow x y in the mapping. Returns a map of the same shape that iterates the iterated map n times before invoking the continuation, or invokes the fail continuation if the inner map fails.
(Lie-transform H t)
p. 428, the Lie transform is just the time-advance operator using the Lie derivative (see Hamiltonian.scm).
p. 428, the Lie transform is just the time-advance operator using the Lie derivative (see Hamiltonian.scm).
(momentum H-state)
Returns the momentum element of a local Hamiltonian state tuple (by convention, the third element).
Returns the momentum element of a local Hamiltonian state tuple (by convention, the third element).
Alias for Hamiltonian->state-derivative
, for compatibility with
1st edition of SICM.
Alias for [[Hamiltonian->state-derivative]], for compatibility with 1st edition of SICM.
(qp-canonical? C H)
Tests that K yields a canonical transformation if the C is symplectic. (The qp-canonical? code is really a symplectic test without factoring out the Hamiltonian.)
Tests that K yields a canonical transformation if the C is symplectic. (The qp-canonical? code is really a symplectic test without factoring out the Hamiltonian.)
(state->qp s)
Given a hamiltonian state, returns a emmy.structure/up
containing the
coordinate and momentum components.
Given a hamiltonian state, returns a [[emmy.structure/up]] containing the coordinate and momentum components.
(symplectic-unit n)
p. 334 (used, but not defined there)
p. 334 (used, but not defined there)
(symplectic? C)
Symplectic test in terms of matrices
Symplectic test in terms of matrices
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close