Trait opendp::traits::InfPowI

pub trait InfPowI: Sized + AlertingPow {
    // Required methods
    fn inf_powi(&self, p: IBig) -> Fallible<Self>;
    fn neg_inf_powi(&self, p: IBig) -> Fallible<Self>;
}

Fallibly raise self to the power with specified rounding.

Throws an error if the ideal output is not finite or representable.

Required Methods

fn inf_powi(&self, p: IBig) -> Fallible<Self>

Proof Definition

For any two values self and p of type Self, self.inf_powi(p) either returns Ok(out), where $out \ge self^{p}$, or Err(e).

fn neg_inf_powi(&self, p: IBig) -> Fallible<Self>

Proof Definition

For any two values self and p of type Self, self.neg_inf_powi(p) either returns Ok(out), where $out \le self^{p}$, or Err(e).

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl InfPowI for f32

fn inf_powi(&self, other: IBig) -> Fallible<Self>

fn neg_inf_powi(&self, other: IBig) -> Fallible<Self>

impl InfPowI for f64

fn inf_powi(&self, other: IBig) -> Fallible<Self>

fn neg_inf_powi(&self, other: IBig) -> Fallible<Self>

Implementors