oalg-base-1.1.4.0: Algebraic structures on oriented entities and limits as a tool kit to solve algebraic problems.

Index - H

HOAlg.Data.Symbol
handleOAlg.Control.Solver
headOAlg.Entity.FinList
HighOAlg.Control.Verbose
HNFDataOAlg.Control.HNFData
HNFValue 
1 (Type/Class)OAlg.Control.HNFData
2 (Data Constructor)OAlg.Control.HNFData
hnfValueOAlg.Control.HNFData
HomOAlg.Hom.Definition, OAlg.Hom
HomAdditiveOAlg.Hom.Additive, OAlg.Hom
HomAlgebraicOAlg.Hom.Algebraic, OAlg.Hom
HomDistributiveOAlg.Hom.Distributive, OAlg.Hom
HomFibredOAlg.Hom.Fibred, OAlg.Hom
HomFibredOrientedOAlg.Hom.Fibred, OAlg.Hom
HomMatrixOAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix
HomMultiplicativeOAlg.Hom.Multiplicative.Definition, OAlg.Hom.Multiplicative, OAlg.Hom.Proposition, OAlg.Hom
HomomorphousOAlg.Category.Definition, OAlg.Prelude
homomorphousOAlg.Category.Definition, OAlg.Prelude
HomOpOAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom
HomOrientedOAlg.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
HomVectorialOAlg.Hom.Vectorial, OAlg.Hom