Type Alias PartialSimplicialComplex 

pub type PartialSimplicialComplex<'f, FS> = LabelledPartialSimplicialComplex<'f, FS, ()>;

Aliased Type

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

Implementations

impl<'f, FS: OrderedRingSignature + FieldSignature> PartialSimplicialComplex<'f, FS>

where FS::Set: Hash,

pub fn closure(&self) -> SimplicialComplex<'f, FS>

Trait Implementations

impl<'f, FS: OrderedRingSignature + FieldSignature> Debug for PartialSimplicialComplex<'f, FS>

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

Formats the value using the given formatter.

impl<'f, FS: OrderedRingSignature + FieldSignature> Intersect<LabelledPartialSimplicialComplex<'f, FS, ()>> for PartialSimplicialComplex<'f, FS>

where FS::Set: Hash,

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

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

impl<'f, FS: OrderedRingSignature + FieldSignature> Intersect<LabelledSimplicialComplex<'f, FS, ()>> for PartialSimplicialComplex<'f, FS>

where FS::Set: Hash,

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

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

impl<'f, FS: OrderedRingSignature + FieldSignature> Intersect<LabelledSimplicialDisjointUnion<'f, FS, ()>> for PartialSimplicialComplex<'f, FS>

where FS::Set: Hash,

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

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

impl<'f, FS: OrderedRingSignature + FieldSignature> MinkowskiSum<LabelledPartialSimplicialComplex<'f, FS, ()>> for PartialSimplicialComplex<'f, FS>

where FS::Set: Hash,

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

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

impl<'f, FS: OrderedRingSignature + FieldSignature> MinkowskiSumRaw<LabelledPartialSimplicialComplex<'f, FS, ()>> for PartialSimplicialComplex<'f, FS>

where FS::Set: Hash,

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

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

impl<'f, FS: OrderedRingSignature + FieldSignature> Union<LabelledPartialSimplicialComplex<'f, FS, ()>> for PartialSimplicialComplex<'f, FS>

where FS::Set: Hash,

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

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

impl<'f, FS: OrderedRingSignature + FieldSignature> Union<LabelledSimplicialComplex<'f, FS, ()>> for PartialSimplicialComplex<'f, FS>

where FS::Set: Hash,

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

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

impl<'f, FS: OrderedRingSignature + FieldSignature> Union<LabelledSimplicialDisjointUnion<'f, FS, ()>> for PartialSimplicialComplex<'f, FS>

where FS::Set: Hash,

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

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