Trait Projectable

pub trait Projectable<G, I>: Orbit<G, I>
where
    G: GroupProperties + CharacterProperties,
{
    type Projected<'p>
       where Self: 'p;

    // Required method
    fn project_onto(&self, row: &G::RowSymbol) -> Self::Projected<'_>;

    // Provided method
    fn generate_orbit_algebra_terms<'a>(
        &'a self,
        row: &G::RowSymbol,
    ) -> impl Iterator<Item = Result<(&'a Character, I), Error>>
       where I: 'a,
             G: 'a { ... }
}

Trait to facilitate the application of a group projection operator.

Required Associated Types

type Projected<'p> where Self: 'p

The type of the result of the projection.

Required Methods

fn project_onto(&self, row: &G::RowSymbol) -> Self::Projected<'_>

Projects the orbit onto a symmetry subspace.

Provided Methods

fn generate_orbit_algebra_terms<'a>( &'a self, row: &G::RowSymbol, ) -> impl Iterator<Item = Result<(&'a Character, I), Error>>

where I: 'a, G: 'a,

Returns an iterator containing each term in the projection summation and the accompanying character value (without complex conjugation).

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<'a, G> Projectable<G, Density<'a, f64>> for DensitySymmetryOrbit<'a, G, f64>

where G: SymmetryGroupProperties,

type Projected<'p> = Result<Density<'p, f64>, Error> where Self: 'p

impl<'a, G> Projectable<G, Density<'a, Complex<f64>>> for DensitySymmetryOrbit<'a, G, Complex<f64>>

where G: SymmetryGroupProperties,

type Projected<'p> = Result<Density<'p, Complex<f64>>, Error> where Self: 'p

impl<'a, G> Projectable<G, SlaterDeterminant<'a, f64, SpinConstraint>> for SlaterDeterminantSymmetryOrbit<'a, G, f64, SpinConstraint>

where G: SymmetryGroupProperties + Clone,

type Projected<'p> = Result<MultiDeterminant<'p, f64, OrbitBasis<'p, G, SlaterDeterminant<'p, f64, SpinConstraint>>, SpinConstraint>, Error> where Self: 'p

impl<'a, G> Projectable<G, SlaterDeterminant<'a, Complex<f64>, SpinConstraint>> for SlaterDeterminantSymmetryOrbit<'a, G, Complex<f64>, SpinConstraint>

where G: SymmetryGroupProperties + Clone,

type Projected<'p> = Result<MultiDeterminant<'p, Complex<f64>, OrbitBasis<'p, G, SlaterDeterminant<'p, Complex<f64>, SpinConstraint>>, SpinConstraint>, Error> where Self: 'p

impl<'a, G> Projectable<G, SlaterDeterminant<'a, Complex<f64>, SpinOrbitCoupled>> for SlaterDeterminantSymmetryOrbit<'a, G, Complex<f64>, SpinOrbitCoupled>

where G: SymmetryGroupProperties + Clone,

type Projected<'p> = Result<MultiDeterminant<'p, Complex<f64>, OrbitBasis<'p, G, SlaterDeterminant<'p, Complex<f64>, SpinOrbitCoupled>>, SpinOrbitCoupled>, Error> where Self: 'p

impl<'a, G> Projectable<G, MolecularOrbital<'a, f64, SpinConstraint>> for MolecularOrbitalSymmetryOrbit<'a, G, f64, SpinConstraint>

where G: SymmetryGroupProperties,

type Projected<'p> = Result<MolecularOrbital<'p, f64, SpinConstraint>, Error> where Self: 'p

impl<'a, G> Projectable<G, MolecularOrbital<'a, Complex<f64>, SpinConstraint>> for MolecularOrbitalSymmetryOrbit<'a, G, Complex<f64>, SpinConstraint>

where G: SymmetryGroupProperties,

type Projected<'p> = Result<MolecularOrbital<'p, Complex<f64>, SpinConstraint>, Error> where Self: 'p

impl<'a, G> Projectable<G, MolecularOrbital<'a, Complex<f64>, SpinOrbitCoupled>> for MolecularOrbitalSymmetryOrbit<'a, G, Complex<f64>, SpinOrbitCoupled>

where G: SymmetryGroupProperties,

type Projected<'p> = Result<MolecularOrbital<'p, Complex<f64>, SpinOrbitCoupled>, Error> where Self: 'p