emmy.sr.boost — org.mentat/emmy 0.31.0

extended-rotation clj/s

(extended-rotation R)

four-tuple->ct clj/s

(four-tuple->ct [ct])

four-tuple->space clj/s

(four-tuple->space [_ x y z])

general-boost clj/s

(general-boost beta)

general-boost2 clj/s

(general-boost2 direction v:c)

Takes a unit 3-vector direction (representing a direction) and a velocity v:c normalized by C.

make-four-tuple clj/s

(make-four-tuple ct [x y z])

proper-space-interval clj/s

(proper-space-interval four-tuple)

proper-time-interval clj/s

(proper-time-interval four-tuple)