Trait opendp::traits::arithmetic::InfLn1P
source · pub trait InfLn1P: Sized {
// Required methods
fn inf_ln_1p(self) -> Fallible<Self>;
fn neg_inf_ln_1p(self) -> Fallible<Self>;
}
Expand description
Fallible logarithm of the argument plus one with specified rounding.
Required Methods§
sourcefn inf_ln_1p(self) -> Fallible<Self>
fn inf_ln_1p(self) -> Fallible<Self>
Proof Definition
For any self
of type Self
,
self.inf_ln_1p()
either returns Ok(out)
,
where $out \ge \ln(self + 1)$, or Err(e)
.
sourcefn neg_inf_ln_1p(self) -> Fallible<Self>
fn neg_inf_ln_1p(self) -> Fallible<Self>
Proof Definition
For any self
of type Self
,
self.neg_inf_ln_1p()
either returns Ok(out)
,
where $out \le \ln(self + 1)$, or Err(e)
.