Skip to main content

Diagonalization

oat_rust::algebra::zigzag::decompose

Struct Diagonalization 

Source 
pub struct Diagonalization<RingElement> { /* private fields */ }

Implementations§

Source§

impl<RingElement> Diagonalization<RingElement>

Source

pub fn new( list_of_single_bar_basis_vector_index_ledgers: Vec<SingleBarBasisVectorIndexLedger>, bases_encoded_as_rows_of_invertible_matrices: Vec<VecOfVec<usize, RingElement>>, ) -> Self

Constructs a new Diagonalization.

Source§

impl<RingElement> Diagonalization<RingElement>

Source

pub fn list_of_single_bar_basis_vector_index_ledgers( &self, ) -> &Vec<SingleBarBasisVectorIndexLedger>

Source

pub fn bases_encoded_as_rows_of_invertible_matrices( &self, ) -> &Vec<VecOfVec<usize, RingElement>>

Source§

impl<RingElement> Diagonalization<RingElement>

Source

pub fn dissolve( self, ) -> (Vec<SingleBarBasisVectorIndexLedger>, Vec<VecOfVec<usize, RingElement>>)

Source§

impl<RingElement> Diagonalization<RingElement>

Source

pub fn number_of_bars(&self) -> usize

Number of bars in the diagonalization

Source

pub fn basis_vector_index_for_bar_b_over_vertex_v( &self, b: usize, v: usize, ) -> Option<usize>

Returns the index of the basis vector over vertex v that intersects bar number `b``

Returns None if b ≥ {number of bars} or v lies outside the interval for bar b

Source

pub fn basis_vector_for_bar_b_over_vertex_v( &self, b: usize, v: usize, ) -> Option<&Vec<(usize, RingElement)>>

Returns the the basis vector over vertex v that intersects bar number `b``

Returns None if b ≥ {number of bars} or v lies outside the interval for bar b

Source

pub fn bases(&self) -> &Vec<VecOfVec<usize, RingElement>>

The sequence of bases that diagonalize the representation

The sequence is formatted as a & Vec< VecOfVec< usize, RingElement > >

Source

pub fn bar<'a>(&'a self, i: usize) -> Option<&SingleBarBasisVectorIndexLedger>

Retuns an object which records every basis vector intersected by bar number i

Returns None if the barcode contains i or fewer bars.

Source

pub fn bars(&self) -> &Vec<SingleBarBasisVectorIndexLedger>

Returns a reference to the list of bars

Trait Implementations§

Source§

impl<RingElement: Clone> Clone for Diagonalization<RingElement>

Source§

fn clone(&self) -> Diagonalization<RingElement>

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl<RingElement: Debug> Debug for Diagonalization<RingElement>

Source§

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

Formats the value using the given formatter. Read more
Source§

impl<RingElement: Eq> Eq for Diagonalization<RingElement>

Source§

impl<RingElement: PartialEq> PartialEq for Diagonalization<RingElement>

Source§

fn eq(&self, other: &Diagonalization<RingElement>) -> bool

Equality operator ==. Read more
1.0.0 (const: unstable) · Source§

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=. Read more
Source§

impl<RingElement: PartialEq> StructuralPartialEq for Diagonalization<RingElement>

Auto Trait Implementations§

§

impl<RingElement> Freeze for Diagonalization<RingElement>

§

impl<RingElement> RefUnwindSafe for Diagonalization<RingElement>
where RingElement: RefUnwindSafe,

§

impl<RingElement> Send for Diagonalization<RingElement>
where RingElement: Send,

§

impl<RingElement> Sync for Diagonalization<RingElement>
where RingElement: Sync,

§

impl<RingElement> Unpin for Diagonalization<RingElement>
where RingElement: Unpin,

§

impl<RingElement> UnsafeUnpin for Diagonalization<RingElement>

§

impl<RingElement> UnwindSafe for Diagonalization<RingElement>
where RingElement: UnwindSafe,

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

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 more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

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
Source§

impl<T> IntoReverseOrder for T

Source§

fn into_reverse_order(self) -> ReverseOrder<T>

Returns an inverted order operator, consuming self

Source§

impl<T> MultiVectorOperations for T

Source§

fn linearly_combine_scalar_vector_pairs_without_symplifying<RingOperator, OrderOperator, Vector, Index, RingElement>( self, ring_operator: RingOperator, order_operator: OrderOperator, ) -> IteratorsMergedInSortedOrder<Scale<Vector::IntoIter, RingOperator>, OrderOperator> ⓘ
where Self: Sized + IntoIterator<Item = (RingOperator::Element, Vector)>, Vector: IntoIterator<IntoIter: Iterator<Item: KeyValSet<Key = Index, Val = RingElement>>>, Index: PartialEq, OrderOperator: JudgePartialOrder<Vector::Item>, RingOperator: Clone + SemiringOperations<Element = RingElement>,

Returns a linear combination, without simplifying Read more
Source§

fn linearly_combine_scalar_vector_pairs<RingOperator, OrderOperator, Vector, RingElement>( self, ring_operator: RingOperator, order_operator: OrderOperator, ) -> Simplify<IteratorsMergedInSortedOrder<Scale<Vector::IntoIter, RingOperator>, OrderOperator>, RingOperator> ⓘ
where Self: Sized + IntoIterator<Item = (RingElement, Vector)>, Vector: IntoIterator, Vector::Item: PartialEq + KeyValSet<Val = RingElement>, <Vector::Item as KeyValGet>::Key: PartialEq, OrderOperator: JudgePartialOrder<Vector::Item>, RingOperator: Clone + SemiringOperations<Element = RingElement>,

Returns a simplified linear combination Read more
Source§

fn sum_vectors_unsimplified<OrderOperator>( self, order_operator: OrderOperator, ) -> IteratorsMergedInSortedOrder<<Self::Item as IntoIterator>::IntoIter, OrderOperator> ⓘ
where Self: Sized + IntoIterator, Self::Item: IntoIterator, OrderOperator: JudgePartialOrder<<<Self as IntoIterator>::Item as IntoIterator>::Item>,

Sum two or more vectors without simplifying Read more
Source§

fn sum_vectors<RingOperator, OrderOperator, RingElement, Index>( self, ring_operator: RingOperator, order_operator: OrderOperator, ) -> Simplify<IteratorsMergedInSortedOrder<<Self::Item as IntoIterator>::IntoIter, OrderOperator>, RingOperator> ⓘ
where Self: Sized + IntoIterator, Self::Item: IntoIterator, <Self::Item as IntoIterator>::Item: PartialEq + KeyValSet<Key = Index, Val = RingElement>, OrderOperator: JudgePartialOrder<<<Self as IntoIterator>::Item as IntoIterator>::Item>, RingOperator: SemiringOperations<Element = RingElement>, Index: PartialEq,

Sum a collection of vectors, and simplify Read more
Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source§

impl<SS, SP> SupersetOf<SS> for SP
where SS: SubsetOf<SP>,

Source§

fn to_subset(&self) -> Option<SS>

The inverse inclusion map: attempts to construct self from the equivalent element of its superset. Read more
Source§

fn is_in_subset(&self) -> bool

Checks if self is actually part of its subset T (and can be converted to it).
Source§

unsafe fn to_subset_unchecked(&self) -> SS

Use with care! Same as self.to_subset but without any property checks. Always succeeds.
Source§

fn from_subset(element: &SS) -> SP

The inclusion map: converts self to the equivalent element of its superset.
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T> TransformIter for T

Source§

fn require_strict_ascent<OrderOperator>( self, order_operator: OrderOperator, ) -> RequireStrictAscent<Self, OrderOperator> ⓘ
where Self: Sized + Iterator, Self::Item: Clone, OrderOperator: JudgePartialOrder<Self::Item>,

Wraps self in a struct that requires items to appear in strictly sorted order. Read more
Source§

fn require_strict_ascent_with_panic<OrderOperator>( self, order_operator: OrderOperator, ) -> RequireStrictAscentWithPanic<Self, OrderOperator> ⓘ
where Self: Sized + Iterator, Self::Item: Clone, OrderOperator: JudgePartialOrder<Self::Item>,

Wraps self in a struct that requires items to appear in strictly sorted order. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<T> Ungil for T
where T: Send,

Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V