Struct ComplexBall 

pub struct ComplexBall { /* private fields */ }

Disk enclosure in (\mathbb{C}): center mid, radius rad.

Implementations

impl ComplexBall

pub fn new(mid: ExactComplex, rad: ExactNum) -> ComplexBall

Disk mid with radius rad (taken in absolute value).

pub fn mid(&self) -> &ExactComplex

Center.

pub fn rad(&self) -> &ExactNum

Non-negative radius.

pub fn add( &self, other: &ComplexBall, p: usize, rm: RoundingMode, ) -> ComplexBall

Sum of two disks: radii add, plus rounding slack.

pub fn mul( &self, other: &ComplexBall, p: usize, rm: RoundingMode, ) -> ComplexBall

Product of two disks: (\lvert m_1\rvert r_2+\lvert m_2\rvert r_1+r_1 r_2) plus slack.

pub fn exp(&self, p: usize, rm: RoundingMode, cc: &mut Consts) -> ComplexBall

Exponential. Lipschitz (\lvert e^z\rvert\le \exp(\mathrm{Re},m+r)).

pub fn ln(&self, p: usize, rm: RoundingMode, cc: &mut Consts) -> ComplexBall

Principal logarithm. Domain: the disk must exclude (0). Lipschitz (1/(\lvert m\rvert-r)).

pub fn sin(&self, p: usize, rm: RoundingMode, cc: &mut Consts) -> ComplexBall

Sine. (\lvert\cos(z)\rvert\le\cosh(\lvert\mathrm{Im},m\rvert+r)).

pub fn cos(&self, p: usize, rm: RoundingMode, cc: &mut Consts) -> ComplexBall

Cosine. Same Lipschitz bound as sin.

pub fn contains(&self, z: &ExactComplex, p: usize) -> bool

True when (\lvert z-\mathrm{mid}\rvert\le\mathrm{rad}).

Trait Implementations

impl Clone for ComplexBall

fn clone(&self) -> ComplexBall

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ComplexBall

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.