Struct Grassmannian 

pub struct Grassmannian {
    pub k: usize,
    pub n: usize,
}

Grassmannian Gr(k, n) of k-planes in n-space

Fields

k: usize

Dimension of subspaces

n: usize

Dimension of ambient space

Implementations

impl Grassmannian

pub fn new(k: usize, n: usize) -> EnumerativeResult<Self>

Create a new Grassmannian Gr(k, n)

pub fn dimension(&self) -> usize

Dimension of the Grassmannian

pub fn integrate_schubert_class(&self, class: &SchubertClass) -> i64

Integrate a Schubert class over the Grassmannian

pub fn quantum_triple_product( &self, class1: &SchubertClass, class2: &SchubertClass, class3: &SchubertClass, ) -> QuantumProduct

Quantum triple product in quantum cohomology of Grassmannian

Trait Implementations

impl Clone for Grassmannian

fn clone(&self) -> Grassmannian

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Grassmannian

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

Formats the value using the given formatter.

impl IntersectionRing for Grassmannian

fn intersect( &self, class1: &ChowClass, class2: &ChowClass, ) -> IntersectionNumber

Compute intersection of two classes

fn count_objects( &self, _object_class: ChowClass, _constraints: Vec<Constraint>, ) -> i64

Count objects satisfying constraints

fn hyperplane_class(&self) -> ChowClass

Get the hyperplane class