H | OAlg.Data.Symbol |
handle | OAlg.Control.Solver |
head | OAlg.Entity.FinList |
High | OAlg.Control.Verbose |
HNFData | OAlg.Control.HNFData |
HNFValue | |
1 (Type/Class) | OAlg.Control.HNFData |
2 (Data Constructor) | OAlg.Control.HNFData |
hnfValue | OAlg.Control.HNFData |
Hom | OAlg.Hom.Definition, OAlg.Hom |
HomAdditive | OAlg.Hom.Additive, OAlg.Hom |
HomAlgebraic | OAlg.Hom.Algebraic, OAlg.Hom |
HomDistributive | OAlg.Hom.Distributive, OAlg.Hom |
HomFibred | OAlg.Hom.Fibred, OAlg.Hom |
HomFibredOriented | OAlg.Hom.Fibred, OAlg.Hom |
HomMatrix | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
HomMultiplicative | OAlg.Hom.Multiplicative.Definition, OAlg.Hom.Multiplicative, OAlg.Hom.Proposition, OAlg.Hom |
Homomorphous | OAlg.Category.Definition, OAlg.Prelude |
homomorphous | OAlg.Category.Definition, OAlg.Prelude |
HomOp | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
HomOriented | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
HomSymbol | |
1 (Type/Class) | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
2 (Data Constructor) | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
HomVectorial | OAlg.Hom.Vectorial, OAlg.Hom |