schubmult.rings.combinatorial.bounded_rc_forest_factor_algebra¶

BoundedRCForestFactorAlgebra: variant of BoundedRCFactorAlgebra whose factorizations are snapped to forest-class representatives (_to_forest), for the forest-polynomial setting.

BoundedRCFactorPrintingTerm Objects¶

class BoundedRCFactorPrintingTerm(PrintingTerm)

Display symbol for a BoundedRCForestFactorAlgebra basis key.

BoundedRCForestFactorAlgebraElement Objects¶

class BoundedRCForestFactorAlgebraElement(CrystalGraphRingElement)

Element of BoundedRCForestFactorAlgebra: finite linear combinations of Grass tensors.

BoundedRCForestFactorAlgebra Objects¶

class BoundedRCForestFactorAlgebra(CrystalGraphRing)

Tensor-like algebra on tuples of full Grassmannian RC graphs.

Basis keys are tuples (g1, ..., gk) where each gi is a full Grassmannian RC graph. Simplification rules

dual_product_on_basis¶

def dual_product_on_basis(left_key, right_key)

Dual product to the coproduct_on_basis deconcatenation.

key_to_rc_graph¶

def key_to_rc_graph(key) -> RCGraph

Evaluate a tensor key to an RCGraph using left-to-right squash_product.