module Graphics.Implicit.Export.Symbolic.Rebound2 (rebound2) where
import Graphics.Implicit.Definitions (BoxedObj2, ℝ2)
import Prelude ((+), (-))
import Linear ((^/))
rebound2 :: BoxedObj2 -> BoxedObj2
rebound2 :: BoxedObj2 -> BoxedObj2
rebound2 (Obj2
obj, (V2 ℝ
a,V2 ℝ
b)) =
let
d :: ℝ2
d :: V2 ℝ
d = (V2 ℝ
b forall a. Num a => a -> a -> a
- V2 ℝ
a) forall (f :: * -> *) a.
(Functor f, Fractional a) =>
f a -> a -> f a
^/ ℝ
10
in
(Obj2
obj, (V2 ℝ
a forall a. Num a => a -> a -> a
- V2 ℝ
d, V2 ℝ
b forall a. Num a => a -> a -> a
+ V2 ℝ
d))