Struct SchubertType 

pub struct SchubertType { /* private fields */ }

A Schubert class in a Grassmannian, used as a type-level marker.

Wraps amari_enumerative::SchubertClass with additional metadata and validation. The partition must fit in the k × (n-k) box.

Implementations

impl SchubertType

pub fn new( partition: Vec<usize>, grassmannian_dim: (usize, usize), ) -> Result<SchubertType, String>

Create a new Schubert type from a partition and Grassmannian dimension.

Returns Err if any partition entry exceeds n - k.

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

The partition indexing this Schubert class.

pub fn grassmannian_dim(&self) -> (usize, usize)

The underlying Grassmannian (k, n).

pub fn codimension(&self) -> usize

Codimension of this Schubert class (sum of partition entries).

pub fn dimension(&self) -> usize

Dimension of this Schubert class in the Grassmannian.

pub fn is_point_class(&self) -> bool

True for the point class (empty partition, codim = 0).

Trait Implementations

impl Clone for SchubertType

fn clone(&self) -> SchubertType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SchubertType

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

Formats the value using the given formatter.