schur-poly-heap.hpp File Reference

schur_poly_heap — geometric-bucket accumulator specialised for SchurRing2 polynomials. More...

Go to the source code of this file.

Classes
class	schur_poly_heap

Detailed Description

schur_poly_heap — geometric-bucket accumulator specialised for SchurRing2 polynomials.

Note

AI-generated documentation. Verify against the source before relying on it.

Declares schur_poly_heap, a GEOHEAP_SIZE (15)-level size-quadrupling heap of ring_elem slots used by SchurRing2 multiplication to collect the many c_{lambda mu}^nu s_nu intermediate terms produced by Littlewood-Richardson enumeration. add(p) drops p into the smallest level whose heap_size[i] threshold it fits under (the same 4, 16, 64, ..., 1073741824 table from engine.cpp, each level four times the previous) and cascades on overflow; value() flattens the tower into a single canonical sum and resets the heap. Sizing the threshold to each slot's current term count amortises the LR collection away from the quadratic merge a naive term-by-term accumulator would walk.

The shape mirrors the engine's other geometric heaps (gbring.hpp's gbvectorHeap, geovec.hpp, geopoly.hpp) but the slot type is the ring_elem of the owning SchurRing2 *S — add_to calls S->add(a, b) and assigns S->zero() to the drained slot. Only schur2.cpp consumes this header: the LR-multiplication driver allocates an SMheap of this type, calls add for each output term, and reads value() once at the end.

See also

schur2.hpp

geopoly.hpp

geovec.hpp

Definition in file schur-poly-heap.hpp.