Trait ViewRowAscend

pub trait ViewRowAscend: IndicesAndCoefficients {
    type ViewMajorAscend: IntoIterator<IntoIter = Self::ViewMajorAscendIntoIter, Item = Self::EntryMajor>;
    type ViewMajorAscendIntoIter: Iterator<Item = Self::EntryMajor>;

    // Required method
    fn view_major_ascend(&self, index: Self::RowIndex) -> Self::ViewMajorAscend;

    // Provided method
    fn views_major_ascend<J>(
        self,
        indices: J,
    ) -> ViewsMajorAscend<Self, J::IntoIter> 
       where J: IntoIterator,
             J::IntoIter: Iterator<Item = Self::RowIndex>,
             Self: Sized { ... }
}

Entries appear in strictly ascending order, according to index.

Consecutive entries must have distinct indices.

Required Associated Types

type ViewMajorAscend: IntoIterator<IntoIter = Self::ViewMajorAscendIntoIter, Item = Self::EntryMajor>

type ViewMajorAscendIntoIter: Iterator<Item = Self::EntryMajor>

Required Methods

fn view_major_ascend(&self, index: Self::RowIndex) -> Self::ViewMajorAscend

Get a major view with entries sorted in ascending order of index.

Provided Methods

fn views_major_ascend<J>( self, indices: J, ) -> ViewsMajorAscend<Self, J::IntoIter>

where J: IntoIterator, J::IntoIter: Iterator<Item = Self::RowIndex>, Self: Sized,

Get an iterator of major views

Implementations on Foreign Types

impl<'a, N, I, IptrStorage, IndStorage, DataStorage, Iptr> ViewRowAscend for &'a CsMatBase<N, I, IptrStorage, IndStorage, DataStorage, Iptr>

where N: Clone, I: SpIndex, Iptr: SpIndex, IptrStorage: Deref<Target = [Iptr]>, IndStorage: Deref<Target = [I]>, DataStorage: Deref<Target = [N]>,

type ViewMajorAscend = SprsRowIteratorCloned<'a, N, I>

type ViewMajorAscendIntoIter = <&'a CsMatBase<N, I, IptrStorage, IndStorage, DataStorage, Iptr> as ViewRowAscend>::ViewMajorAscend

fn view_major_ascend(&self, keymaj: usize) -> Self::ViewMajorAscend

impl<'a, T> ViewRowAscend for &'a T

where T: ViewRowAscend + IndicesAndCoefficients, &'a T: IndicesAndCoefficients<EntryMajor = T::EntryMajor, EntryMinor = T::EntryMinor, ColIndex = T::ColIndex, RowIndex = T::RowIndex, Coefficient = T::Coefficient>,

type ViewMajorAscend = <T as ViewRowAscend>::ViewMajorAscend

type ViewMajorAscendIntoIter = <T as ViewRowAscend>::ViewMajorAscendIntoIter

fn view_major_ascend(&self, index: T::RowIndex) -> T::ViewMajorAscend

impl<DissimilarityMatrix, Filtration, Coefficient, RingOperator> ViewRowAscend for Arc<ChainComplexVrFiltered<DissimilarityMatrix, Filtration, Coefficient, RingOperator>>

where Filtration: Clone + Debug + Ord + PartialOrd, Coefficient: Clone, DissimilarityMatrix: IndicesAndCoefficients<ColIndex = usize, RowIndex = usize, Coefficient = Filtration> + ViewRowAscend + MatrixEntry, DissimilarityMatrix::EntryMajor: KeyValGet<usize, Filtration>, RingOperator: Clone + Semiring<Coefficient> + Ring<Coefficient>,

type ViewMajorAscend = LazyOrderedCoboundary<DissimilarityMatrix, Filtration, Coefficient, RingOperator>

type ViewMajorAscendIntoIter = <Arc<ChainComplexVrFiltered<DissimilarityMatrix, Filtration, Coefficient, RingOperator>> as ViewRowAscend>::ViewMajorAscend

fn view_major_ascend(&self, keymaj: Self::RowIndex) -> Self::ViewMajorAscend

impl<N, I, IptrStorage, IndStorage, DataStorage, Iptr> ViewRowAscend for Arc<CsMatBase<N, I, IptrStorage, IndStorage, DataStorage, Iptr>>

where N: Clone, I: SpIndex, Iptr: SpIndex, IptrStorage: Deref<Target = [Iptr]>, IndStorage: Deref<Target = [I]>, DataStorage: Deref<Target = [N]>,

type ViewMajorAscend = VectorIteratorArc<N, I, IptrStorage, IndStorage, DataStorage, Iptr>

type ViewMajorAscendIntoIter = <Arc<CsMatBase<N, I, IptrStorage, IndStorage, DataStorage, Iptr>> as ViewRowAscend>::ViewMajorAscend

fn view_major_ascend(&self, keymaj: usize) -> Self::ViewMajorAscend

Implementors

impl<'a, ColIndex, Coefficient> ViewRowAscend for &'a oat_rust::algebra::matrices::types::vec_of_vec::sorted::VecOfVec<ColIndex, Coefficient>

where ColIndex: Clone, Coefficient: Clone,

type ViewMajorAscend = Cloned<Iter<'a, (ColIndex, Coefficient)>>

type ViewMajorAscendIntoIter = Cloned<Iter<'a, (ColIndex, Coefficient)>>

impl<'a, ColIndex, Coefficient> ViewRowAscend for &'a oat_rust::algebra::matrices::types::vec_of_vec::sorted_ref::VecOfVec<ColIndex, Coefficient>

where ColIndex: Clone, Coefficient: Clone,

type ViewMajorAscend = Cloned<Iter<'a, (ColIndex, Coefficient)>>

type ViewMajorAscendIntoIter = Cloned<Iter<'a, (ColIndex, Coefficient)>>

impl<'a, ColIndex, RowIndex, Coefficient> ViewRowAscend for &'a GeneralizedMatchingArrayWithMajorOrdinals<ColIndex, RowIndex, Coefficient>

where ColIndex: Clone + Hash + Eq, RowIndex: Clone + Hash + Eq, Coefficient: Clone,

type ViewMajorAscendIntoIter = <<&'a GeneralizedMatchingArrayWithMajorOrdinals<ColIndex, RowIndex, Coefficient> as ViewRowAscend>::ViewMajorAscend as IntoIterator>::IntoIter

type ViewMajorAscend = IterTwoType<Empty<(ColIndex, Coefficient)>, Once<(ColIndex, Coefficient)>>

impl<'a, Mapping, RingOperator, OrderOperatorRowEntries, OrderOperatorColEntries> ViewRowAscend for &'a CombCodomainInvTimesMappingMatchedBlock<'a, Mapping, RingOperator, OrderOperatorRowEntries, OrderOperatorColEntries>

where Mapping: ViewRowAscend + IndicesAndCoefficients, Mapping::ColIndex: Clone + Hash + Eq, Mapping::RowIndex: Clone + Hash + Eq, Mapping::Coefficient: Clone, Mapping::ViewMajorAscend: IntoIterator, Mapping::EntryMajor: KeyValGet<Mapping::ColIndex, Mapping::Coefficient> + KeyValSet<Mapping::ColIndex, Mapping::Coefficient>, RingOperator: Clone + Semiring<Mapping::Coefficient>, OrderOperatorRowEntries: Clone + JudgePartialOrder<Mapping::EntryMajor>,

type ViewMajorAscend = Simplify<HitMerge<Scale<OnlyIndicesInsideCollection<<Mapping as ViewRowAscend>::ViewMajorAscendIntoIter, &'a HashMap<<Mapping as IndicesAndCoefficients>::ColIndex, usize>, <Mapping as IndicesAndCoefficients>::ColIndex, <Mapping as IndicesAndCoefficients>::Coefficient>, <Mapping as IndicesAndCoefficients>::ColIndex, RingOperator, <Mapping as IndicesAndCoefficients>::Coefficient>, OrderOperatorRowEntries>, <Mapping as IndicesAndCoefficients>::ColIndex, RingOperator, <Mapping as IndicesAndCoefficients>::Coefficient>

type ViewMajorAscendIntoIter = <&'a CombCodomainInvTimesMappingMatchedBlock<'a, Mapping, RingOperator, OrderOperatorRowEntries, OrderOperatorColEntries> as ViewRowAscend>::ViewMajorAscend

impl<'a, Mapping, RingOperator, OrderOperatorRowEntries, OrderOperatorColEntries> ViewRowAscend for CombCodomain<'a, Mapping, RingOperator, OrderOperatorRowEntries, OrderOperatorColEntries>

where Mapping::ColIndex: Clone + Hash + Eq, Mapping::RowIndex: Clone + Hash + Eq, Mapping::Coefficient: Clone, RingOperator: Clone + Semiring<Mapping::Coefficient> + Ring<Mapping::Coefficient> + DivisionRing<Mapping::Coefficient>, OrderOperatorRowEntries: Clone + JudgePartialOrder<Mapping::EntryMajor>, OrderOperatorColEntries: Clone + JudgePartialOrder<Mapping::EntryMinor>, Mapping::ViewMajorAscend: IntoIterator, Mapping::EntryMajor: Clone + KeyValSet<Mapping::ColIndex, Mapping::Coefficient> + KeyValNew<Mapping::ColIndex, Mapping::Coefficient>, Mapping::EntryMinor: Clone + KeyValNew<Mapping::RowIndex, Mapping::Coefficient>, Mapping: ViewRowAscend + IndicesAndCoefficients,

type ViewMajorAscend = CombCodomainViewMajorAscend<<Mapping as IndicesAndCoefficients>::EntryMinor>

type ViewMajorAscendIntoIter = <CombCodomain<'a, Mapping, RingOperator, OrderOperatorRowEntries, OrderOperatorColEntries> as ViewRowAscend>::ViewMajorAscend

impl<'a, Mapping, RingOperator, OrderOperatorRowEntries, OrderOperatorColEntries> ViewRowAscend for CombCodomainInv<'a, Mapping, RingOperator, OrderOperatorRowEntries, OrderOperatorColEntries>

where Mapping::ColIndex: Clone + Hash + Eq, Mapping::RowIndex: Clone + Hash + Eq, Mapping::Coefficient: Clone, RingOperator: Clone + Semiring<Mapping::Coefficient> + Ring<Mapping::Coefficient> + DivisionRing<Mapping::Coefficient>, OrderOperatorRowEntries: Clone + JudgePartialOrder<Mapping::EntryMajor>, OrderOperatorColEntries: Clone + JudgePartialOrder<Mapping::EntryMinor>, Mapping::ViewMajorAscend: IntoIterator, Mapping::EntryMajor: Clone + KeyValSet<Mapping::ColIndex, Mapping::Coefficient> + KeyValNew<Mapping::ColIndex, Mapping::Coefficient>, Mapping::EntryMinor: Clone + KeyValGet<Mapping::RowIndex, Mapping::Coefficient> + KeyValNew<Mapping::RowIndex, Mapping::Coefficient>, Mapping: ViewRowAscend + IndicesAndCoefficients,

type ViewMajorAscend = CombCodomainInvViewMajorAscend<'a, Mapping, RingOperator>

type ViewMajorAscendIntoIter = <CombCodomainInv<'a, Mapping, RingOperator, OrderOperatorRowEntries, OrderOperatorColEntries> as ViewRowAscend>::ViewMajorAscend

impl<'a, Mapping, RingOperator, OrderOperatorRowEntries, OrderOperatorColEntries> ViewRowAscend for CombDomain<'a, Mapping, RingOperator, OrderOperatorRowEntries, OrderOperatorColEntries>

where Mapping::ColIndex: Clone + Hash + Eq, Mapping::RowIndex: Clone + Hash + Eq, Mapping::Coefficient: Clone, RingOperator: Clone + Semiring<Mapping::Coefficient> + Ring<Mapping::Coefficient> + DivisionRing<Mapping::Coefficient>, OrderOperatorRowEntries: Clone + JudgePartialOrder<Mapping::EntryMajor>, Mapping::ViewMajorAscend: IntoIterator, Mapping::EntryMajor: Clone + KeyValSet<Mapping::ColIndex, Mapping::Coefficient> + KeyValNew<Mapping::ColIndex, Mapping::Coefficient>, Mapping: ViewRowAscend + IndicesAndCoefficients,

type ViewMajorAscend = CombDomainViewMajorAscend<'a, Mapping, RingOperator, OrderOperatorRowEntries>

type ViewMajorAscendIntoIter = <CombDomain<'a, Mapping, RingOperator, OrderOperatorRowEntries, OrderOperatorColEntries> as ViewRowAscend>::ViewMajorAscend

impl<'a, Mapping, RingOperator, OrderOperatorRowEntries, OrderOperatorColEntries> ViewRowAscend for CombDomainInv<'a, Mapping, RingOperator, OrderOperatorRowEntries, OrderOperatorColEntries>

where Mapping::ColIndex: Clone + Hash + Eq, Mapping::RowIndex: Clone + Hash + Eq + Debug, Mapping::Coefficient: Clone + Debug, RingOperator: Clone + Semiring<Mapping::Coefficient> + Ring<Mapping::Coefficient> + DivisionRing<Mapping::Coefficient>, OrderOperatorRowEntries: Clone + JudgePartialOrder<Mapping::EntryMajor>, Mapping::ViewMajorAscend: IntoIterator, Mapping::EntryMajor: KeyValSet<Mapping::ColIndex, Mapping::Coefficient> + KeyValNew<Mapping::ColIndex, Mapping::Coefficient>, Mapping: ViewRowAscend + IndicesAndCoefficients,

type ViewMajorAscend = CombDomainInvViewMajorAscend<Mapping, RingOperator, OrderOperatorRowEntries>

type ViewMajorAscendIntoIter = <CombDomainInv<'a, Mapping, RingOperator, OrderOperatorRowEntries, OrderOperatorColEntries> as ViewRowAscend>::ViewMajorAscend

impl<'a, Mapping, RingOperator, OrderOperatorRowEntries, OrderOperatorColEntries> ViewRowAscend for CombCodomainInvTimesMappingMatchedBlockRowsIndexedByKeyMin<'a, Mapping, RingOperator, OrderOperatorRowEntries, OrderOperatorColEntries>

where Mapping: ViewRowAscend + IndicesAndCoefficients, Mapping::ColIndex: Clone + Hash + Eq, Mapping::RowIndex: Clone + Hash + Eq, Mapping::Coefficient: Clone, Mapping::ViewMajorAscend: IntoIterator, Mapping::EntryMajor: KeyValGet<Mapping::ColIndex, Mapping::Coefficient> + KeyValSet<Mapping::ColIndex, Mapping::Coefficient>, RingOperator: Clone + Semiring<Mapping::Coefficient>, OrderOperatorRowEntries: Clone + JudgePartialOrder<Mapping::EntryMajor>,

type ViewMajorAscend = Simplify<HitMerge<Scale<OnlyIndicesInsideCollection<<Mapping as ViewRowAscend>::ViewMajorAscendIntoIter, &'a HashMap<<Mapping as IndicesAndCoefficients>::ColIndex, usize>, <Mapping as IndicesAndCoefficients>::ColIndex, <Mapping as IndicesAndCoefficients>::Coefficient>, <Mapping as IndicesAndCoefficients>::ColIndex, RingOperator, <Mapping as IndicesAndCoefficients>::Coefficient>, OrderOperatorRowEntries>, <Mapping as IndicesAndCoefficients>::ColIndex, RingOperator, <Mapping as IndicesAndCoefficients>::Coefficient>

type ViewMajorAscendIntoIter = <CombCodomainInvTimesMappingMatchedBlockRowsIndexedByKeyMin<'a, Mapping, RingOperator, OrderOperatorRowEntries, OrderOperatorColEntries> as ViewRowAscend>::ViewMajorAscend

impl<'a, Mapping, RingOperator, OrderOperatorRowEntries, OrderOperatorColEntries> ViewRowAscend for CombCodomainInvTimesMappingMatchedBlockRowsIndexedByOrdMaj<'a, Mapping, RingOperator, OrderOperatorRowEntries, OrderOperatorColEntries>

where Mapping: ViewRowAscend + IndicesAndCoefficients, Mapping::ColIndex: Clone + Hash + Eq, Mapping::RowIndex: Clone + Hash + Eq, Mapping::Coefficient: Clone, Mapping::ViewMajorAscend: IntoIterator, Mapping::EntryMajor: KeyValGet<Mapping::ColIndex, Mapping::Coefficient> + KeyValSet<Mapping::ColIndex, Mapping::Coefficient>, RingOperator: Clone + Semiring<Mapping::Coefficient>, OrderOperatorRowEntries: Clone + JudgePartialOrder<Mapping::EntryMajor>,

type ViewMajorAscend = Simplify<HitMerge<Scale<OnlyIndicesInsideCollection<<Mapping as ViewRowAscend>::ViewMajorAscendIntoIter, &'a HashMap<<Mapping as IndicesAndCoefficients>::ColIndex, usize>, <Mapping as IndicesAndCoefficients>::ColIndex, <Mapping as IndicesAndCoefficients>::Coefficient>, <Mapping as IndicesAndCoefficients>::ColIndex, RingOperator, <Mapping as IndicesAndCoefficients>::Coefficient>, OrderOperatorRowEntries>, <Mapping as IndicesAndCoefficients>::ColIndex, RingOperator, <Mapping as IndicesAndCoefficients>::Coefficient>

type ViewMajorAscendIntoIter = <CombCodomainInvTimesMappingMatchedBlockRowsIndexedByOrdMaj<'a, Mapping, RingOperator, OrderOperatorRowEntries, OrderOperatorColEntries> as ViewRowAscend>::ViewMajorAscend

impl<'a, MatrixMajor, MatrixMinor> ViewRowAscend for &'a MatrixBimajorData<MatrixMajor, MatrixMinor>

where &'a MatrixMajor: IndicesAndCoefficients + ViewRowAscend, &'a MatrixMinor: IndicesAndCoefficients<RowIndex = <&'a MatrixMajor as IndicesAndCoefficients>::ColIndex, ColIndex = <&'a MatrixMajor as IndicesAndCoefficients>::RowIndex, EntryMajor = <&'a MatrixMajor as IndicesAndCoefficients>::EntryMinor, EntryMinor = <&'a MatrixMajor as IndicesAndCoefficients>::EntryMajor, Coefficient = <&'a MatrixMajor as IndicesAndCoefficients>::Coefficient>,

type ViewMajorAscend = <&'a MatrixMajor as ViewRowAscend>::ViewMajorAscend

type ViewMajorAscendIntoIter = <&'a MatrixMajor as ViewRowAscend>::ViewMajorAscendIntoIter

impl<'a, MatrixUnprepended> ViewRowAscend for PrependDiagonalEntryToViewMajorAscendAndViewMinorDescend<MatrixUnprepended>

where MatrixUnprepended: ViewRowAscend + IndicesAndCoefficients<ColIndex = Self::RowIndex>, MatrixUnprepended::ViewMajorAscend: IntoIterator, MatrixUnprepended::EntryMajor: KeyValNew<MatrixUnprepended::ColIndex, MatrixUnprepended::Coefficient>, Self::RowIndex: Clone, Self::Coefficient: Clone,

type ViewMajorAscend = Chain<Once<<MatrixUnprepended as IndicesAndCoefficients>::EntryMajor>, <MatrixUnprepended as ViewRowAscend>::ViewMajorAscendIntoIter>

type ViewMajorAscendIntoIter = <PrependDiagonalEntryToViewMajorAscendAndViewMinorDescend<MatrixUnprepended> as ViewRowAscend>::ViewMajorAscend

impl<'a, T, MatrixUncloned> ViewRowAscend for ClonedRowEntries<MatrixUncloned>

where MatrixUncloned: ViewRowAscend<EntryMajor = &'a T> + IndicesAndCoefficients, MatrixUncloned::ViewMajorAscend: IntoIterator, T: Clone + 'a,

type ViewMajorAscend = Cloned<<MatrixUncloned as ViewRowAscend>::ViewMajorAscendIntoIter>

type ViewMajorAscendIntoIter = Cloned<<MatrixUncloned as ViewRowAscend>::ViewMajorAscendIntoIter>

impl<Key, Val> ViewRowAscend for ScalarMatrix<Key, Val>

where Val: Clone, Key: Clone,

type ViewMajorAscend = Once<(Key, Val)>

type ViewMajorAscendIntoIter = <<ScalarMatrix<Key, Val> as ViewRowAscend>::ViewMajorAscend as IntoIterator>::IntoIter

impl<Matrix1, Matrix2, RingOperator, OrderOperator> ViewRowAscend for ProductMatrix<Matrix1, Matrix2, RingOperator, OrderOperator>

where Matrix1: ViewRowAscend + IndicesAndCoefficients, Matrix2: ViewRowAscend + IndicesAndCoefficients<Coefficient = Matrix1::Coefficient, RowIndex = Matrix1::ColIndex>, Matrix1::ViewMajorAscend: IntoIterator, Matrix2::ViewMajorAscend: IntoIterator, Matrix1::EntryMajor: KeyValGet<Matrix1::ColIndex, Matrix1::Coefficient>, Matrix2::EntryMajor: KeyValGet<Matrix2::ColIndex, Matrix2::Coefficient> + KeyValSet<Matrix2::ColIndex, Matrix2::Coefficient>, Matrix2::ColIndex: Clone + PartialEq, Matrix2::Coefficient: Clone, RingOperator: Clone + Semiring<Matrix1::Coefficient>, OrderOperator: Clone + JudgePartialOrder<Matrix2::EntryMajor>,

type ViewMajorAscend = Simplify<HitMerge<Scale<<Matrix2 as ViewRowAscend>::ViewMajorAscendIntoIter, <Matrix2 as IndicesAndCoefficients>::ColIndex, RingOperator, <Matrix2 as IndicesAndCoefficients>::Coefficient>, OrderOperator>, <Matrix2 as IndicesAndCoefficients>::ColIndex, RingOperator, <Matrix2 as IndicesAndCoefficients>::Coefficient>

type ViewMajorAscendIntoIter = <ProductMatrix<Matrix1, Matrix2, RingOperator, OrderOperator> as ViewRowAscend>::ViewMajorAscend

impl<Matrix> ViewRowAscend for AntiTranspose<Matrix>

where Matrix: ViewColDescend + IndicesAndCoefficients,

type ViewMajorAscend = <Matrix as ViewColDescend>::ViewMinorDescend

type ViewMajorAscendIntoIter = <Matrix as ViewColDescend>::ViewMinorDescendIntoIter

impl<Matrix> ViewRowAscend for Transpose<Matrix>

where Matrix: ViewColAscend + IndicesAndCoefficients,

type ViewMajorAscend = <Matrix as ViewColAscend>::ViewMinorAscend

type ViewMajorAscendIntoIter = <Matrix as ViewColAscend>::ViewMinorAscendIntoIter

impl<Matrix, KeyMinToExclude> ViewRowAscend for OnlyKeyMinOutsideCollection<Matrix, KeyMinToExclude>

where Matrix: ViewRowAscend + IndicesAndCoefficients, Matrix::ViewMajorAscend: IntoIterator, Matrix::EntryMajor: KeyValGet<Matrix::ColIndex, Matrix::Coefficient>, KeyMinToExclude: Copy + MapHasKeyOrSequenceHasElement<Matrix::ColIndex>, Matrix::ViewMajorAscendIntoIter: Iterator,

type ViewMajorAscendIntoIter = <<OnlyKeyMinOutsideCollection<Matrix, KeyMinToExclude> as ViewRowAscend>::ViewMajorAscend as IntoIterator>::IntoIter

type ViewMajorAscend = OnlyIndicesOutsideCollection<<Matrix as ViewRowAscend>::ViewMajorAscendIntoIter, KeyMinToExclude, <OnlyKeyMinOutsideCollection<Matrix, KeyMinToExclude> as IndicesAndCoefficients>::ColIndex, <OnlyKeyMinOutsideCollection<Matrix, KeyMinToExclude> as IndicesAndCoefficients>::Coefficient>

impl<Matrix, KeyMinToInclude> ViewRowAscend for OnlyKeyMinInsideCollection<Matrix, KeyMinToInclude>

where Matrix: ViewRowAscend + IndicesAndCoefficients, Matrix::ViewMajorAscend: IntoIterator, Matrix::ViewMajorAscendIntoIter: Iterator, Matrix::EntryMajor: KeyValGet<Matrix::ColIndex, Matrix::Coefficient>, KeyMinToInclude: MapHasKeyOrSequenceHasElement<Self::ColIndex> + Copy,

type ViewMajorAscendIntoIter = <<OnlyKeyMinInsideCollection<Matrix, KeyMinToInclude> as ViewRowAscend>::ViewMajorAscend as IntoIterator>::IntoIter

type ViewMajorAscend = OnlyIndicesInsideCollection<<Matrix as ViewRowAscend>::ViewMajorAscendIntoIter, KeyMinToInclude, <Matrix as IndicesAndCoefficients>::ColIndex, <Matrix as IndicesAndCoefficients>::Coefficient>

impl<Matrix, RingOperator, OrderOperator> ViewRowAscend for InverseOfTriangularArrayLazyAscending<Matrix, RingOperator, OrderOperator>

where Matrix: Copy + ViewRowAscend + IndicesAndCoefficients, Matrix::ViewMajorAscend: IntoIterator, Matrix::EntryMajor: KeyValSet<Matrix::RowIndex, Matrix::Coefficient>, Matrix::RowIndex: Clone + PartialEq, RingOperator: Clone + Semiring<Matrix::Coefficient> + Ring<Matrix::Coefficient> + DivisionRing<Matrix::Coefficient>, Matrix::Coefficient: Clone, OrderOperator: Clone + JudgePartialOrder<Matrix::EntryMajor>,

type ViewMajorAscend = ViewMajorAscendOfInverseOfTriangularArrayLazy<Matrix, RingOperator, OrderOperator>

type ViewMajorAscendIntoIter = <<InverseOfTriangularArrayLazyAscending<Matrix, RingOperator, OrderOperator> as ViewRowAscend>::ViewMajorAscend as IntoIterator>::IntoIter

impl<MatrixLeft, MatrixRight, RingOperator, OrderOperatorRowEntriesRight, OrderOperatorColumnEntriesLeft> ViewRowAscend for ProductPacketDEPRECATEFORNEWORACLEVERSION<MatrixLeft, MatrixRight, RingOperator, OrderOperatorRowEntriesRight, OrderOperatorColumnEntriesLeft>

where MatrixLeft: ViewRowAscend + IndicesAndCoefficients, MatrixRight: ViewRowAscend + IndicesAndCoefficients<Coefficient = MatrixLeft::Coefficient, RowIndex = MatrixLeft::ColIndex>, MatrixLeft::ViewMajorAscend: IntoIterator, MatrixRight::ViewMajorAscend: IntoIterator, MatrixLeft::EntryMajor: KeyValGet<MatrixLeft::ColIndex, MatrixLeft::Coefficient>, MatrixRight::EntryMajor: KeyValGet<MatrixRight::ColIndex, MatrixRight::Coefficient> + KeyValSet<MatrixRight::ColIndex, MatrixRight::Coefficient>, MatrixRight::ColIndex: Clone + PartialEq, MatrixRight::Coefficient: Clone, RingOperator: Clone + Semiring<MatrixLeft::Coefficient>, OrderOperatorRowEntriesRight: Clone + JudgePartialOrder<MatrixRight::EntryMajor>,

type ViewMajorAscend = Simplify<HitMerge<Scale<<MatrixRight as ViewRowAscend>::ViewMajorAscendIntoIter, <MatrixRight as IndicesAndCoefficients>::ColIndex, RingOperator, <MatrixRight as IndicesAndCoefficients>::Coefficient>, OrderOperatorRowEntriesRight>, <MatrixRight as IndicesAndCoefficients>::ColIndex, RingOperator, <MatrixRight as IndicesAndCoefficients>::Coefficient>

type ViewMajorAscendIntoIter = <ProductPacketDEPRECATEFORNEWORACLEVERSION<MatrixLeft, MatrixRight, RingOperator, OrderOperatorRowEntriesRight, OrderOperatorColumnEntriesLeft> as ViewRowAscend>::ViewMajorAscend

impl<MatrixMajor, MatrixMinor> ViewRowAscend for MatrixBimajor<MatrixMajor, MatrixMinor>

where MatrixMajor: IndicesAndCoefficients + ViewRowAscend, MatrixMinor: IndicesAndCoefficients<RowIndex = MatrixMajor::ColIndex, ColIndex = MatrixMajor::RowIndex, EntryMajor = MatrixMajor::EntryMinor, EntryMinor = MatrixMajor::EntryMajor, Coefficient = MatrixMajor::Coefficient>,

type ViewMajorAscend = <MatrixMajor as ViewRowAscend>::ViewMajorAscend

type ViewMajorAscendIntoIter = <MatrixMajor as ViewRowAscend>::ViewMajorAscendIntoIter

impl<MatrixUnreindexed, ReindexFunctionOldToNew, ReindexFunctionNewToOld, IndexOld, IndexNew, EntryNew> ViewRowAscend for ReindexSquareMatrix<MatrixUnreindexed, ReindexFunctionOldToNew, ReindexFunctionNewToOld, IndexOld, IndexNew, EntryNew>

where MatrixUnreindexed: IndicesAndCoefficients<ColIndex = IndexOld, RowIndex = IndexOld> + ViewRowAscend, MatrixUnreindexed::ViewMajorAscend: IntoIterator, MatrixUnreindexed::EntryMajor: KeyValGet<MatrixUnreindexed::ColIndex, MatrixUnreindexed::Coefficient>, ReindexFunctionOldToNew: Clone + EvaluateFunction<MatrixUnreindexed::RowIndex, IndexNew>, ReindexFunctionNewToOld: EvaluateFunction<IndexNew, MatrixUnreindexed::RowIndex>, EntryNew: KeyValNew<IndexNew, MatrixUnreindexed::Coefficient>,

type ViewMajorAscend = MapByTransform<<MatrixUnreindexed as ViewRowAscend>::ViewMajorAscendIntoIter, EntryNew, ReindexEntry<<MatrixUnreindexed as IndicesAndCoefficients>::EntryMajor, EntryNew, <MatrixUnreindexed as IndicesAndCoefficients>::ColIndex, IndexNew, <MatrixUnreindexed as IndicesAndCoefficients>::Coefficient, ReindexFunctionOldToNew>>

type ViewMajorAscendIntoIter = <ReindexSquareMatrix<MatrixUnreindexed, ReindexFunctionOldToNew, ReindexFunctionNewToOld, IndexOld, IndexNew, EntryNew> as ViewRowAscend>::ViewMajorAscend

impl<MatrixUntransformed, ViewMajorAscendTransformed, VectorTransformer> ViewRowAscend for VecWiseTransformed<MatrixUntransformed, VectorTransformer>

where MatrixUntransformed: ViewRowAscend + IndicesAndCoefficients, ViewMajorAscendTransformed: IntoIterator, VectorTransformer: Fn(MatrixUntransformed::ViewMajorAscend) -> ViewMajorAscendTransformed,

type ViewMajorAscend = ViewMajorAscendTransformed

type ViewMajorAscendIntoIter = <ViewMajorAscendTransformed as IntoIterator>::IntoIter

impl<Vertex, RingOperator, RingElement> ViewRowAscend for BoundaryMatrixDowker<Vertex, RingOperator, RingElement>

where Vertex: Clone + Debug + Ord + Hash, RingOperator: Clone + Semiring<RingElement> + Ring<RingElement>, RingElement: Clone,

type ViewMajorAscend = CoboundaryDowkerAscend<Vertex, RingOperator, RingElement>

type ViewMajorAscendIntoIter = <BoundaryMatrixDowker<Vertex, RingOperator, RingElement> as ViewRowAscend>::ViewMajorAscend