HPP modules/rlreal.hpp CPP modules/rlreal.cpp TEX modules/rlreal.tex MODULE lreal modules/rlreal.hlp TYPES LREAL cxscl_real END IMPLICITCAST LREAL INPUTSTRING stringl_real(a) DOUBLE INPUTSTRING (stringtodouble(a).asDOUBLE()) LREAL DOUBLE cxscl_real(real(a)) END UNARYFUNCTIONS LReal LREAL INPUTSTRING stringl_real(a) LReal LREAL DOUBLE cxscl_real(real(a)) LReal LREAL STRING stringl_real(a) Stagprec STRING INTEGER setStagprec(a) END BINARYFUNCTIONS add LREAL LREAL LREAL (a+b) sub LREAL LREAL LREAL (a-b) mul LREAL LREAL LREAL (a*b) div LREAL LREAL LREAL (a/b) pow LREAL LREAL INTEGER (mid(power(l_interval(a),b))) pow LREAL LREAL LREAL (pow(a,b)) eq INTEGER LREAL LREAL (a==b) neq INTEGER LREAL LREAL (a!=b) lesseq INTEGER LREAL LREAL (a<=b) less INTEGER LREAL LREAL (ab) greatereq INTEGER LREAL LREAL (a>=b) END UNARYFUNCTIONS neg LREAL LREAL (-a) abs LREAL LREAL a<0?-a:a sin LREAL LREAL mid(sin(cxscl_interval(a))) cos LREAL LREAL mid(cos(cxscl_interval(a))) tan LREAL LREAL mid(tan(cxscl_interval(a))) cot LREAL LREAL mid(cot(cxscl_interval(a))) asin LREAL LREAL mid(asin(cxscl_interval(a))) acos LREAL LREAL mid(acos(cxscl_interval(a))) atan LREAL LREAL mid(atan(cxscl_interval(a))) acot LREAL LREAL mid(acot(cxscl_interval(a))) sinh LREAL LREAL mid(sinh(cxscl_interval(a))) cosh LREAL LREAL mid(cosh(cxscl_interval(a))) tanh LREAL LREAL mid(tanh(cxscl_interval(a))) coth LREAL LREAL mid(coth(cxscl_interval(a))) asinh LREAL LREAL mid(asinh(cxscl_interval(a))) acosh LREAL LREAL mid(acosh(cxscl_interval(a))) atanh LREAL LREAL mid(atanh(cxscl_interval(a))) acoth LREAL LREAL mid(acoth(cxscl_interval(a))) log LREAL LREAL (mid(ln(cxscl_interval(a)))) exp LREAL LREAL mid(exp(cxscl_interval(a))) sqrt LREAL LREAL mid(sqrt(cxscl_interval(a))) output STRING LREAL (output(a)) sqr LREAL LREAL mid(sqr(cxscl_interval(a))) END