schubmult.rings.combinatorial.hw_rc_ring

HWRCGraphRing: RCGraphRing quotient onto crystal highest-weight RC graphs.

Every product is snapped to its highest-weight representative, so basis elements index Demazure crystal components. coproduct_on_basis is defined on highest-weight elements via the free-algebra Schubert coproduct and GrassTensorAlgebra.

HWRCGraphRing Objects

class HWRCGraphRing(RCGraphRing)

RCGraphRing with products projected onto highest-weight RC graphs; see the module docstring.