Package guide¶

The codebase is organised by mathematical role.

Top-level package¶

uconf re-exports the main public API for convenience.
The top-level import also wires lazy conversions such as Barratt–Eccles table reduction and the surjection section map.

Shared protocols and low-level utilities: operad/cooperad interfaces, morphisms, twisting morphisms, trees, sign conventions, and display helpers.

Concrete operad and cooperad models such as Surjection, BarrattEccles, Lie, Associative, Commutative, and their simplicial companions.

Bar and cobar functors, together with twisted bar/cobar algebraic constructions built on top of the core models.

Algebra and coalgebra wrappers, free/cofree constructions, simplicial and spherical models, and configuration-space helpers.

Classical operad morphisms, canonical twisting morphisms, and the E_ν-comodule map machinery.

Shifted operads/cooperads and Hadamard-product constructions that adapt the core models while preserving their SageMath-native behaviour.

uconf.homology contains chain-complex and homology helpers.
uconf.sampling contains construction-aware random sampling utilities used throughout the tests.