decideDualness | Math.VectorSpace.Dual |
decomposeLinMap | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
decomposeLinMapWithin | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
def | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
densifyNorm | Math.LinearMap.Category |
dependence | Math.LinearMap.Category |
Diff | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category, Math.LinearMap.Category |
Dual | Math.VectorSpace.Dual |
dualBasisCandidates | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
DualFinitenessWitness | |
1 (Type/Class) | Math.LinearMap.Category |
2 (Data Constructor) | Math.LinearMap.Category |
dualFinitenessWitness | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
DualityWitness | |
1 (Type/Class) | Math.VectorSpace.Dual |
2 (Data Constructor) | Math.VectorSpace.Dual |
dualityWitness | Math.VectorSpace.Dual |
Dualness | Math.VectorSpace.Dual |
DualnessSingletons | Math.VectorSpace.Dual |
dualNorm | Math.LinearMap.Category |
dualNorm' | Math.LinearMap.Category |
DualSpace | Math.LinearMap.Category |
DualSpaceWitness | |
1 (Type/Class) | Math.LinearMap.Category |
2 (Data Constructor) | Math.LinearMap.Category |
dualSpaceWitness | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
DualVector | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category, Math.LinearMap.Category |