Skip to main content

SimplicialComplex

Type Alias SimplicialComplex 

Source
pub type SimplicialComplex<'f, FS> = LabelledSimplicialComplex<'f, FS, ()>;

Aliased Type§

pub struct SimplicialComplex<'f, FS> { /* private fields */ }

Implementations§

Trait Implementations§

Source§

impl<'f, FS: OrderedRingSignature + FieldSignature> Intersect<LabelledPartialSimplicialComplex<'f, FS, ()>> for SimplicialComplex<'f, FS>
where FS::Set: Hash,

Source§

impl<'f, FS: OrderedRingSignature + FieldSignature> Intersect<LabelledSimplicialComplex<'f, FS, ()>> for SimplicialComplex<'f, FS>
where FS::Set: Hash,

Source§

type Output = LabelledSimplicialComplex<'f, FS, ()>

Source§

fn intersect(&self, other: &SimplicialComplex<'f, FS>) -> Self::Output

Source§

impl<'f, FS: OrderedRingSignature + FieldSignature> Intersect<LabelledSimplicialDisjointUnion<'f, FS, ()>> for SimplicialComplex<'f, FS>
where FS::Set: Hash,

Source§

impl<'f, FS: OrderedRingSignature + FieldSignature> Union<LabelledPartialSimplicialComplex<'f, FS, ()>> for SimplicialComplex<'f, FS>
where FS::Set: Hash,

Source§

impl<'f, FS: OrderedRingSignature + FieldSignature> Union<LabelledSimplicialComplex<'f, FS, ()>> for SimplicialComplex<'f, FS>
where FS::Set: Hash,

Source§

type Output = LabelledSimplicialComplex<'f, FS, ()>

Source§

fn union(&self, other: &SimplicialComplex<'f, FS>) -> Self::Output

Source§

impl<'f, FS: OrderedRingSignature + FieldSignature> Union<LabelledSimplicialDisjointUnion<'f, FS, ()>> for SimplicialComplex<'f, FS>
where FS::Set: Hash,