Struct SteinerCell 

pub struct SteinerCell { /* private fields */ }

One cell in a fixed finite strong Steiner category.

The two degreewise support sequences are Steiner’s exact double-sequence coordinates. Keeping both sequences is essential: common lower-dimensional support records whiskering and cannot be reconstructed from the top chain.

Implementations

impl SteinerCell

pub fn category(&self) -> &SteinerCategory

Ambient category context.

pub fn dimension(&self) -> usize

Current cell dimension, including identity lifts.

pub fn intrinsic_dimension(&self) -> usize

Dimension of the underlying nonidentity cell.

pub fn is_identity(&self) -> bool

Whether this is an iterated identity.

pub fn top_atoms(&self) -> &[usize]

Top atomic support of the underlying nonidentity cell.

pub fn negative_supports(&self) -> &[Vec<usize>]

Negative atomic supports in degrees 0..=dimension.

pub fn positive_supports(&self) -> &[Vec<usize>]

Positive atomic supports in degrees 0..=dimension.

pub fn identity(&self) -> Self

Identity one dimension above this cell.

pub fn source(&self) -> Result<Self, CategoryError>

Immediate globular source.

pub fn target(&self) -> Result<Self, CategoryError>

Immediate globular target.

pub fn source_at(&self, dimension: usize) -> Result<Self, CategoryError>

Iterated source in dimension dimension.

pub fn target_at(&self, dimension: usize) -> Result<Self, CategoryError>

Iterated target in dimension dimension.

pub fn compose_at( &self, next: &Self, dimension: usize, ) -> Result<Self, CategoryError>

Compose this cell followed by next along a common dimension-face.

Thus first.compose_at(&second, k) is defined precisely when the k-target of first equals the k-source of second. Both cells keep their common ambient dimension in the result.

pub fn apply_automorphism( &self, automorphism: &Permutation, ) -> Result<Self, CategoryError>

Transport this cell under a verified atomic automorphism.

Trait Implementations

impl Clone for SteinerCell

fn clone(&self) -> SteinerCell

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SteinerCell

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

Formats the value using the given formatter.

impl PartialEq for SteinerCell

fn eq(&self, other: &SteinerCell) -> 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 Eq for SteinerCell

impl StructuralPartialEq for SteinerCell