Home
last modified time | relevance | path

Searched refs:revT (Results 1 – 5 of 5) sorted by relevance

/dports/math/casadi/casadi-3.5.5/casadi/core/
H A Ddple.cpp288 Function revT = Function("revT", {A}, {diagcat(retT)}); in get_reverse() local
299 {2*revT(mtimes(std::vector<MX>{rev(P)[0], A_rev, Vbar_rev}))[0]}); in get_reverse()
311 MX A_rev = revT(A)[0]; in get_reverse()
/dports/devel/stack/stack-2.7.3/_cabal_deps/pantry-0.5.2.1/src/Pantry/
H A DTypes.hs785 Just ("@rev", revT) ->
786 case decimal revT of
/dports/math/spot/spot-2.10.2/bench/stutter/
H A Dstutter.ipynb167 …Pjx7DOQLl40l65l9kAKCCj9ApK9kGMhPLL8EYa2H8p7Q96jukf1q68ZVoOo\njVFYFlvY98M+6revT+CoQPzv9aeWV60Sf/bJr…
/dports/math/py-spot/spot-2.10.2/bench/stutter/
H A Dstutter.ipynb167 …Pjx7DOQLl40l65l9kAKCCj9ApK9kGMhPLL8EYa2H8p7Q96jukf1q68ZVoOo\njVFYFlvY98M+6revT+CoQPzv9aeWV60Sf/bJr…
/dports/math/py-heyoka/heyoka.py-0.16.0/doc/notebooks/
H A DThe Maxwell-Boltzmann distribution.ipynb66020 "v7JY+9ZNsWl+X1zfOwLly3giPj5edFK2U6pUKTRt2pSLX0QaIo+9A26EG+HtZ+DiExns8+b/revT\\\n",