#include <ball_complex_rounded.hpp>
Definition at line 69 of file ball_complex_rounded.hpp.
typedef implementation<ball_rounding,BV> Rnd |
Definition at line 72 of file ball_complex_rounded.hpp.
Definition at line 75 of file ball_complex_rounded.hpp.
References mmx::abs_down(), Ball, mmx::center(), mmx::decexp2(), mmx::div(), Down, Fuzz, Infinity, mmx::is_infinite(), mmx::is_zero(), sqrt_op::op(), R, mmx::radius(), Round_down, Round_up, and Up.
00075 { 00076 typedef Round_up(R) Up; 00077 typedef Round_down(R) Down; 00078 if (is_zero (z)) d= Fuzz (Ball); 00079 else if (is_infinite (z)) d= Infinity (Ball); 00080 else { 00081 center (d)= sqrt_op::op (center (z)); 00082 radius (d)= Up::div (decexp2 (radius (z)), Down::sqrt (abs_down (z))); 00083 Rnd::add_multiplicative_error (d); 00084 } 00085 }