Index - H
| 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 |
| HomCo | OAlg.Data.HomCo |
| HomD | OAlg.Hom.Definition, OAlg.Hom |
| HomDisj | |
| 1 (Type/Class) | OAlg.Hom.Definition, OAlg.Hom |
| 2 (Data Constructor) | OAlg.Hom.Definition, OAlg.Hom |
| homDisj | OAlg.Hom.Definition, OAlg.Hom |
| HomDisjEmpty | OAlg.Hom.Definition, OAlg.Hom |
| homDisjOpDst | OAlg.Hom.Distributive, OAlg.Hom |
| homDisjOpMlt | OAlg.Hom.Multiplicative, OAlg.Hom |
| HomDistributive | OAlg.Hom.Distributive, OAlg.Hom |
| HomDistributiveDisjunctive | OAlg.Hom.Distributive, OAlg.Hom |
| HomEmpty | OAlg.Hom.Definition, OAlg.Hom |
| HomFibred | OAlg.Hom.Fibred, OAlg.Hom |
| HomFibredOriented | OAlg.Hom.FibredOriented |
| HomFibredOrientedDisjunctive | OAlg.Hom.FibredOriented |
| HomFree | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| HomId | OAlg.Hom.Definition, OAlg.Hom |
| HomMatrix | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
| HomMultiplicative | OAlg.Hom.Multiplicative, OAlg.Hom |
| HomMultiplicativeDisjunctive | OAlg.Hom.Multiplicative, OAlg.Hom |
| Homomorphous | OAlg.Category.Definition, OAlg.Prelude |
| homomorphous | OAlg.Category.Definition, OAlg.Prelude |
| HomOriented | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| HomOrientedDisjunctive | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| HomOrientedSlicedFree | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| HomSlicedDistributive | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice |
| HomSlicedMultiplicative | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice |
| HomSlicedOriented | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice |
| 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 |