algebra.cppm

Go to the documentation of this file.

export module dedekind.algebra;
 
export import :boolean;
export import :kleene;  // 𝕂3 = 𝔸<Ternary> as an algebra on a set (#912)
export import :division;
export import :field;
export import :galois;
export import :magma;   // base rung of the algebra tower (algebraic-set magma)
export import :monoid;  // additive / multiplicative / generic monoid rungs
export import :group;
export import :initial_ring;  // SignedExtensionalCardinal<> as Initial Ring +
                              // Grothendieck Group of ℕ (closes part of #446)
export import :free;          // IsFreeAlgebra<F> + structural-trait propagation
                      // (textbook companion to HSP; R[x] etc.; #498/#499)
export import :modules;
export import :polynomial;
export import :quotient;  // IsQuotientAlgebra<Q> / IsProductAlgebra<Q> +
                          // structural-trait propagation (HSP H, P;
                          // Frac, Cplx, Dual, Vec2V; #498/#499 NEW-A)
export import :registration;
export import :ring;
export import :ordered_algebra;      // IsOrderedAdditiveGroup / -Ring /
                                     // -MultiplicativeGroup: ordered-algebra
                                     // markers + concepts (#664)
export import :halfspace_transport;  // image / inverse / argmax — the
                                     // ordered-group transport of halfspaces
                                     // (DSL surface in namespace order)
export import :tropical;             // MaxPlus<T> — the (max,+) semiring
export import :universal;  // IsAlgebra meta-pattern (Burris-Sankappanavar)
export import :vectorspace;