subalgebra_base: carrier-side declaration that S is a subalgebra of some base algebra (the S operation in Birkhoff HSP). Specialise the ::type member at the carrier-defining partition; the propagation specs below then lift the species-trait pins from base to S. More...

Detailed Description

template<typename S>
struct dedekind::category::subalgebra_base< S >

subalgebra_base: carrier-side declaration that S is a subalgebra of some base algebra (the S operation in Birkhoff HSP). Specialise the ::type member at the carrier-defining partition; the propagation specs below then lift the species-trait pins from base to S.

The documentation for this struct was generated from the following file:

src/main/modules/dedekind/algebra/quotient.cppm