Module pushout
Classes
AlgebraicClosureFunctor
AlgebraicExtensionFunctor
CompletionFunctor
CompositeConstructionFunctor
ConstructionFunctor
FractionField
IdentityConstructionFunctor
LaurentPolynomialFunctor
LocalizationFunctor
MatrixFunctor
PolynomialFunctor
QuotientFunctor
SubspaceFunctor
VectorFunctor
Functions
BlackBoxConstructionFunctor
construction_tower
pp
pushout
pushout_lattice
type_to_parent
[
hide private
]