pub(super) struct Reduction {
pub(super) rows: [[f64; 3]; 3],
pub(super) dual: [[f64; 3]; 3],
}Expand description
A reduced basis U rows of lattice rows from geometry::reduce_basis: the
integer rows of U and of its inverse transpose W, stored exactly as f64.
Ewald shells of a skewed basis are far from Euclidean shells and can stop before
short vectors with large indices; shells of the reduced basis cannot.
Fields§
§rows: [[f64; 3]; 3]§dual: [[f64; 3]; 3]Implementations§
Source§impl Reduction
impl Reduction
fn new(rows: [[f64; 3]; 3], dim: usize) -> Option<Self>
Sourcepub(super) fn round(
reduction: Option<&Self>,
fractional: [f64; 3],
dim: usize,
) -> [f64; 3]
pub(super) fn round( reduction: Option<&Self>, fractional: [f64; 3], dim: usize, ) -> [f64; 3]
Reduced-basis coordinates of the lattice point nearest to the point with
coordinates fractional in the given basis, rounding in reduced coordinates.
None stands for a given basis that is already reduced.
Trait Implementations§
Auto Trait Implementations§
impl Freeze for Reduction
impl RefUnwindSafe for Reduction
impl Send for Reduction
impl Sync for Reduction
impl Unpin for Reduction
impl UnwindSafe for Reduction
Blanket Implementations§
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
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
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>
Converts
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>
Converts
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 more§impl<T> Pointable for T
impl<T> Pointable for T
§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read more§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.