michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add asinh, acosh, atanh to interval

Browse source
This commit is contained in:
Soonho Kong 2013-08-14 14:52:02 -07:00
parent 43b25a0231
commit eaa531bc02
1 changed files with 35 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

38
src/interval/interval_def.h
View file

@ -1242,7 +1242,39 @@ template<typename T> void interval<T>::tanh () {
lean_assert(check_invariant());
return;
}
template<typename T> void interval<T>::asinh() { /* TODO */ lean_unreachable(); return; }
template<typename T> void interval<T>::acosh() { /* TODO */ lean_unreachable(); return; }
template<typename T> void interval<T>::atanh() { /* TODO */ lean_unreachable(); return; }
template<typename T> void interval<T>::asinh() {
if(lower_kind() == XN_NUMERAL) {
numeric_traits<T>::set_rounding(false);
numeric_traits<T>::asinh(m_lower);
}
if(upper_kind() == XN_NUMERAL) {
numeric_traits<T>::set_rounding(true);
numeric_traits<T>::asinh(m_upper);
}
lean_assert(check_invariant());
return;
}
template<typename T> void interval<T>::acosh() {
lean_assert(lower_kind() == XN_NUMERAL && m_lower >= 1.0);
numeric_traits<T>::set_rounding(false);
numeric_traits<T>::acosh(m_lower);
if(upper_kind() == XN_NUMERAL) {
numeric_traits<T>::set_rounding(true);
numeric_traits<T>::acosh(m_lower);
}
lean_assert(check_invariant());
return;
}
template<typename T> void interval<T>::atanh() {
if(lower_kind() == XN_NUMERAL) {
numeric_traits<T>::set_rounding(false);
numeric_traits<T>::atanh(m_lower);
}
if(upper_kind() == XN_NUMERAL) {
numeric_traits<T>::set_rounding(true);
numeric_traits<T>::atanh(m_upper);
}
lean_assert(check_invariant());
return;
}
}