decomposeLinMap | Math.LinearMap.Category |
decomposeLinMapWithin | Math.LinearMap.Category |
densifyNorm | Math.LinearMap.Category |
dependence | Math.LinearMap.Category |
dualBasisCandidates | Math.LinearMap.Category |
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 |
DualVector | Math.LinearMap.Category |