|
Macaulay2 Engine
|
SchurSnRing — SchurRing2 subclass intended for symmetric-group representation rings (Kronecker product is a stub). More...
#include "schur2.hpp"Go to the source code of this file.
Classes | |
| class | SchurSnRing |
| SchurRing2 subclass implementing the symmetric-group character ring (the "Schur ring of `S_n`"), with multiplication given by inner-product convolution rather than Littlewood-Richardson. More... | |
SchurSnRing — SchurRing2 subclass intended for symmetric-group representation rings (Kronecker product is a stub).
Declares SchurSnRing, a SchurRing2 subclass meant to carry characters of irreducible S_n representations indexed by partitions of n. Construction forwards (A, n) to SchurRing2(A, n) and runs the same initialize_SchurRing2, so the rank cap and coefficient ring follow the parent's conventions (a default n = -1 reaches SchurRing2's infinite-rank mode, same as createInfinite). The cast_to_SchurSnRing overrides let engine code distinguish this specialisation from a generic Schur ring without resorting to dynamic_cast.
The class adds a tensor_mult(f, g) method alongside the overridden mult(f, g) — but both implementations in schurSn.cpp are one-line passthroughs to SchurRing2::mult(f, g). The intended Kronecker-product semantics for tensor_mult are not yet implemented; right now it is just an alias for the ordinary Schur-function product.
Definition in file schurSn.hpp.