pub struct StandardizedCeiling { /* private fields */ }Expand description
One affine wall, already expressed in the cubature’s own standardized coordinates.
The box ceiling the cubature already carries is a wall whose normal is a
single coordinate, so it constrains that coordinate directly. A general wall
aᵀu ≤ c does not: after u = mean + L z it reads (Lᵀa)ᵀz ≤ c − aᵀmean,
which constrains the LAST coordinate its transformed normal touches, given
the ones drawn before it. That is the whole difference between the two, and
it is why the limit has to be computed per node rather than once per
coordinate.
pivot is that last touched coordinate. The wall says nothing about any
coordinate before it and must not be consulted there.
Implementations§
Source§impl StandardizedCeiling
impl StandardizedCeiling
Sourcepub fn new(
normal: &Array1<f64>,
bound: f64,
mean: &Array1<f64>,
factor: ArrayView2<'_, f64>,
) -> Result<Self, String>
pub fn new( normal: &Array1<f64>, bound: f64, mean: &Array1<f64>, factor: ArrayView2<'_, f64>, ) -> Result<Self, String>
Build the standardized form of normal · u ≤ bound for the law
u ~ N(mean, L Lᵀ).
Refuses a wall whose transformed normal vanishes: such a wall constrains no coordinate of the cubature and is either redundant or infeasible, and the two cannot be told apart from the normal alone.
Trait Implementations§
Source§impl Clone for StandardizedCeiling
impl Clone for StandardizedCeiling
Source§fn clone(&self) -> StandardizedCeiling
fn clone(&self) -> StandardizedCeiling
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreAuto Trait Implementations§
impl Freeze for StandardizedCeiling
impl RefUnwindSafe for StandardizedCeiling
impl Send for StandardizedCeiling
impl Sync for StandardizedCeiling
impl Unpin for StandardizedCeiling
impl UnsafeUnpin for StandardizedCeiling
impl UnwindSafe for StandardizedCeiling
Blanket Implementations§
impl<T> Allocation for T
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> DistributionExt for Twhere
T: ?Sized,
impl<T> DistributionExt for Twhere
T: ?Sized,
impl<T, U> Imply<T> for U
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Pointable for T
impl<T> Pointable for T
impl<T> Read<Exclusive, BecauseExclusive> for Twhere
T: ?Sized,
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
self to the equivalent element of its superset.