ekmett/propagators
1
1
Fork 0
mirror of https://github.com/ekmett/propagators.git synced 2024-09-11 05:15:41 +03:00
Code Issues Projects Releases Wiki Activity

better csqrt for propagated intervals

Browse Source
This commit is contained in:
Edward Kmett 2015-09-20 16:18:08 -04:00
parent 82b4c53e2a
commit eb6d1882ad
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Data/Propagator/Num.hs
View File

@ -179,6 +179,12 @@ instance (PropagatedInterval a, RealFloat a) => PropagatedFloating (Interval a)
lift1 exp x y
lift1 log y x
csqrt x y = do
write x (0...infinity)
write y (0...infinity)
lift1 sqrt x y
lift1 (\a -> a*a) y x
csin x y = do
write y (-1...1)
lift1 sin x y