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

Index - D

DOAlg.Data.Symbol
denominatorOAlg.Data.Number, OAlg.Prelude
dgArrowsOAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
dgCenterOAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
dgfDiagramOAlg.Entity.Slice.Free, OAlg.Entity.Slice
dgfMatrixOAlg.Entity.Matrix.Transformation, OAlg.Entity.Matrix
dgFromOpOAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
dgFromOpOpOAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
dgMapOAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
dgPointsOAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
dgPrlAdjZeroOAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
dgPrlDiffHeadOAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
dgPrlDiffTailOAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
dgPrlTailOAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
dgQuiverOAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
dgsBaseOAlg.Structure.Number.Definition, OAlg.Structure.Number
dgsFlrOAlg.Structure.Number.Definition, OAlg.Structure.Number
dgsFrcOAlg.Structure.Number.Definition, OAlg.Structure.Number
dgsFrcTakeOAlg.Structure.Number.Definition, OAlg.Structure.Number
dgsProxyOAlg.Structure.Number.Definition, OAlg.Structure.Number
dgsSigOAlg.Structure.Number.Definition, OAlg.Structure.Number
dgToOpOAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
dgTypeOAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
dgTypeReflOAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
diagonalOAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix
diagonal'OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix
DiagonalForm 
1 (Type/Class)OAlg.Entity.Matrix.Transformation, OAlg.Entity.Matrix
2 (Data Constructor)OAlg.Entity.Matrix.Transformation, OAlg.Entity.Matrix
DiagonalFormStrictPositive 
1 (Type/Class)OAlg.Entity.Matrix.Transformation, OAlg.Entity.Matrix
2 (Data Constructor)OAlg.Entity.Matrix.Transformation, OAlg.Entity.Matrix
DiagramOAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
diagramOAlg.Limes.Definition
DiagramChainFromOAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
DiagramChainToOAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
DiagramDiscreteOAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
DiagramDuality 
1 (Type/Class)OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
2 (Data Constructor)OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
DiagramEmptyOAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
DiagramFree 
1 (Type/Class)OAlg.Entity.Slice.Free, OAlg.Entity.Slice
2 (Data Constructor)OAlg.Entity.Slice.Free, OAlg.Entity.Slice
DiagramGeneralOAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
DiagramParallelLROAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
DiagramParallelRLOAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
DiagramSinkOAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
DiagramSlicedCenter 
1 (Type/Class)OAlg.Entity.Slice.Definition, OAlg.Entity.Slice
2 (Data Constructor)OAlg.Entity.Slice.Definition, OAlg.Entity.Slice
DiagramSourceOAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
DiagramTypeOAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
Digits 
1 (Type/Class)OAlg.Structure.Number.Definition, OAlg.Structure.Number
2 (Data Constructor)OAlg.Structure.Number.Definition, OAlg.Structure.Number
Dim 
1 (Type/Class)OAlg.Entity.Matrix.Dim, OAlg.Entity.Matrix
2 (Data Constructor)OAlg.Entity.Matrix.Dim, OAlg.Entity.Matrix
dimOAlg.Entity.Matrix.Dim, OAlg.Entity.Matrix
Dim'OAlg.Entity.Matrix.Dim, OAlg.Entity.Matrix
dimMapOAlg.Entity.Matrix.Dim, OAlg.Entity.Matrix
dimwrdOAlg.Entity.Matrix.Dim, OAlg.Entity.Matrix
dimxsOAlg.Entity.Matrix.Dim, OAlg.Entity.Matrix
DirectionOAlg.Data.Dualisable, OAlg.Prelude
DiscreteOAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
displayExceptionOAlg.Control.Exception, OAlg.Prelude
distOAlg.Structure.Number.Definition, OAlg.Structure.Number
DistributiveOAlg.Structure.Distributive.Definition, OAlg.Structure.Distributive
DivOAlg.Data.TypeLits
divOAlg.Structure.Number.Definition, OAlg.Structure.Number
divIntOAlg.Data.Number, OAlg.Prelude
divModOAlg.Structure.Number.Definition, OAlg.Structure.Number
domainOAlg.Category.Definition, OAlg.Prelude
Down 
1 (Data Constructor)OAlg.Data.Ord, OAlg.Prelude
2 (Type/Class)OAlg.Data.Ord, OAlg.Prelude
DstOAlg.Structure.Distributive.Definition, OAlg.Structure.Distributive
dstDstOAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive
DstRootSideOAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive
DstSideOAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive
dstSomeDiagramOAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
dstTOAlg.Entity.Product.Proposition, OAlg.Entity.Product
DualOAlg.Data.Dualisable, OAlg.Prelude
DualisableOAlg.Data.Dualisable, OAlg.Prelude