Closed sohraa3 closed 6 years ago
It seems that hakaru can not evaluate exponents with a negative base. (-1.0)**3 gives me expected prob, found real
(-1.0)**3
expected prob, found real
This is badly documented. ** is 'real powering' for the function of type prob -> real -> prob while ^ is 'nat poweringof typereal -> nat -> real`. You want the latter.
**
prob -> real -> prob
^
of type
It seems that hakaru can not evaluate exponents with a negative base.
(-1.0)**3
gives meexpected prob, found real