Struct kComodule 

pub struct kComodule<G: Grading, F: Field, M: Matrix<F>> {
    pub coalgebra: Arc<kCoalgebra<G, F, M>>,
    pub space: GradedVectorSpace<G, kBasisElement>,
    pub coaction: GradedLinearMap<G, F, M>,
    pub tensor: kTensor<G>,
}

Fields

coalgebra: Arc<kCoalgebra<G, F, M>>

space: GradedVectorSpace<G, kBasisElement>

coaction: GradedLinearMap<G, F, M>

tensor: kTensor<G>

Implementations

impl<G: Grading, F: Field, M: Matrix<F>> kComodule<G, F, M>

pub fn verify(&self) -> bool

pub fn new( coalgebra: Arc<kCoalgebra<G, F, M>>, space: GradedVectorSpace<G, kBasisElement>, coaction: GradedLinearMap<G, F, M>, tensor: kTensor<G>, ) -> Self

pub fn find_cogens(&self, limit: G) -> usize

impl<G: Grading, F: Field, M: Matrix<F>> kComodule<G, F, M>

pub fn parse( input: &str, coalgebra: Arc<kCoalgebra<G, F, M>>, coalgebra_translate: &HashMap<String, BasisIndex<G>, RandomState>, max_grading: G, ) -> Result<kComodule<G, F, M>, String>

Trait Implementations

impl<G: Clone + Grading, F: Clone + Field, M: Clone + Matrix<F>> Clone for kComodule<G, F, M>

fn clone(&self) -> kComodule<G, F, M>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<G: Grading, F: Field, M: Matrix<F>> Comodule<G> for kComodule<G, F, M>

type Element = kBasisElement

type Coalgebra = kCoalgebra<G, F, M>

type Morphism = kComoduleMorphism<G, F, M>

fn get_generators(&self) -> Vec<(usize, G, Option<String>)>

fn zero_comodule(coalgebra: Arc<Self::Coalgebra>) -> Self

fn fp_comodule(coalgebra: Arc<Self::Coalgebra>) -> Self

fn direct_sum(&mut self, other: &mut Self)

fn cofree_comodule( coalgebra: Arc<Self::Coalgebra>, index: usize, grade: G, limit: G, ) -> Self

impl<G: Grading, F: Field, M: Matrix<F>> ComoduleMorphism<G, kComodule<G, F, M>> for kComoduleMorphism<G, F, M>

fn cokernel(&self) -> Self

fn inject_codomain_to_cofree(&self, limit: G) -> Self

fn zero_morphism(comodule: Arc<kComodule<G, F, M>>) -> Self

fn compose(l: Self, r: Self) -> Self

fn get_structure_lines(&self) -> Vec<(usize, usize, usize, String)>

(s, gen_index) uniquely defines a generator of Ext in a specific morphism we only need to know its gen_index in the resolution we add the s (from_dot, to_dot, value, line_type)

fn get_codomain(&self) -> Arc<kComodule<G, F, M>>

impl<G: Grading, F: Field, M: Matrix<F>> Debug for kComodule<G, F, M>

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

Formats the value using the given formatter.

impl<G: PartialEq + Grading, F: PartialEq + Field, M: PartialEq + Matrix<F>> PartialEq for kComodule<G, F, M>

fn eq(&self, other: &kComodule<G, F, M>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<G: Grading, F: Field, M: Matrix<F>> StructuralPartialEq for kComodule<G, F, M>