| *^ | Math.LinearMap.Category |
| *∂ | Math.LinearMap.Category.Derivatives |
| +> | Math.LinearMap.Category |
| -+$=> | Math.LinearMap.Coercion |
| -+$> | Math.LinearMap.Category |
| -+> | Math.LinearMap.Category |
| -+|> | Math.LinearMap.Category |
| .+^ | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| .+~^ | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| .-. | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| .-~! | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| .-~. | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| .-~^ | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| .< | Math.LinearMap.Category |
| .∂ | Math.LinearMap.Category.Derivatives |
| .⊗ | Math.LinearMap.Category |
| /∂ | Math.LinearMap.Category.Derivatives |
| <$| | Math.LinearMap.Category |
| <.> | Math.LinearMap.Category |
| <.>^ | Math.LinearMap.Category |
| >+< | Math.LinearMap.Category |
| AbstractDualVector | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| AdditiveGroup | Math.LinearMap.Category |
| addTensors | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| addV | Math.LinearMap.Category |
| adjoint | Math.LinearMap.Category |
| AffineSpace | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| applyDualVector | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| applyLinear | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| applyNorm | Math.LinearMap.Category |
| applyTensorFunctional | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| applyTensorLinMap | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| asLinearMap | Math.LinearMap.Coercion |
| asTensor | Math.LinearMap.Coercion |
| BasisGeneratedSpace | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| Bilinear | Math.LinearMap.Category |
| bilinearFunction | Math.LinearMap.Category |
| BindMaybePred | Math.VectorSpace.DimensionAware.Theorems.MaybeNat |
| binMaybePredSing | Math.VectorSpace.DimensionAware.Theorems.MaybeNat |
| cartesianDualBasisCandidates | Math.LinearMap.Category |
| ClosedScalarWitness | |
| 1 (Type/Class) | Math.LinearMap.Category |
| 2 (Data Constructor) | Math.LinearMap.Category |
| closedScalarWitness | Math.LinearMap.Category |
| coerceDoubleDual | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| coerceFmapTensorProduct | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| composeLinear | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| constructEigenSystem | Math.LinearMap.Category |
| contractLinearMapAgainst | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| contractMapTensor | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| contractTensorFn | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| contractTensorMap | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| convexPolytopeHull | Math.LinearMap.Category |
| copyNewtypeInstances | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| coRiesz | Math.LinearMap.Category |
| currySymBilin | Math.LinearMap.Category |
| 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 |
| Dimension | Math.VectorSpace.DimensionAware, Math.LinearMap.Category |
| dimension | Math.VectorSpace.DimensionAware |
| Dimensional | Math.VectorSpace.DimensionAware, Math.LinearMap.Category |
| dimensionality | Math.VectorSpace.DimensionAware |
| DimensionalityCases | Math.VectorSpace.DimensionAware |
| dimensionalitySing | Math.VectorSpace.DimensionAware |
| DimensionalityWitness | Math.VectorSpace.DimensionAware |
| dimensionalityWitness | Math.VectorSpace.DimensionAware, Math.LinearMap.Category |
| DimensionAware | Math.VectorSpace.DimensionAware, Math.LinearMap.Category |
| dimensionIsStatic | Math.VectorSpace.DimensionAware, Math.LinearMap.Category |
| dimensionOf | Math.VectorSpace.DimensionAware |
| 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 |
| eigen | Math.LinearMap.Category |
| Eigenvector | |
| 1 (Type/Class) | Math.LinearMap.Category |
| 2 (Data Constructor) | Math.LinearMap.Category |
| embedFreeSubspace | Math.LinearMap.Category |
| entireBasis | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| enumerateSubBasis | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| euclideanNorm | Math.LinearMap.Category |
| ev_Badness | Math.LinearMap.Category |
| ev_Deviation | Math.LinearMap.Category |
| ev_Eigenvalue | Math.LinearMap.Category |
| ev_Eigenvector | Math.LinearMap.Category |
| ev_FunctionApplied | Math.LinearMap.Category |
| findNormalLength | Math.LinearMap.Category |
| finishEigenSystem | Math.LinearMap.Category |
| FiniteDimensional | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| FlexibleDimensionalCase | Math.VectorSpace.DimensionAware |
| flipBilin | Math.LinearMap.Category |
| fmapTensor | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| FmapTriangularNum | Math.VectorSpace.DimensionAware.Theorems.MaybeNat |
| fmapTriangularNumSing | Math.VectorSpace.DimensionAware.Theorems.MaybeNat |
| Fractional' | Math.LinearMap.Category |
| fromArray | Math.VectorSpace.DimensionAware |
| fromFlatTensor | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| fromLinearForm | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| fromLinearMap | Math.LinearMap.Coercion |
| fromTensor | Math.LinearMap.Coercion |
| Functional | Math.VectorSpace.Dual |
| FunctionalWitness | Math.VectorSpace.Dual |
| fzipTensorWith | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| getLinearFunction | Math.LinearMap.Category |
| getLinearMap | Math.LinearMap.Category |
| getSum | Math.LinearMap.Category |
| getSymmetricTensor | Math.LinearMap.Category |
| getTensorProduct | Math.LinearMap.Category |
| HilbertSpace | Math.LinearMap.Category |
| idTensor | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| inner | Math.LinearMap.Category |
| InnerSpace | Math.LinearMap.Category |
| inSum | Math.LinearMap.Category |
| inSum2 | Math.LinearMap.Category |
| IsFlexibleDimensional | Math.VectorSpace.DimensionAware |
| IsStaticDimensional | Math.VectorSpace.DimensionAware |
| justNatSing | Math.VectorSpace.DimensionAware.Theorems.MaybeNat |
| knownDimensionalitySing | Math.VectorSpace.DimensionAware, Math.LinearMap.Category |
| lerp | Math.LinearMap.Category |
| lfun | Math.LinearMap.Category |
| linearCombo | Math.LinearMap.Category |
| linearFit_bestModel | Math.LinearMap.Category |
| linearFit_modelUncertainty | Math.LinearMap.Category |
| linearFit_χν² | Math.LinearMap.Category |
| LinearFunction | |
| 1 (Type/Class) | Math.LinearMap.Category |
| 2 (Data Constructor) | Math.LinearMap.Category |
| linearId | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| LinearManifoldWitness | |
| 1 (Type/Class) | Math.LinearMap.Category |
| 2 (Data Constructor) | Math.LinearMap.Category |
| linearManifoldWitness | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| LinearMap | |
| 1 (Type/Class) | Math.LinearMap.Category |
| 2 (Data Constructor) | Math.LinearMap.Category |
| linearRegression | Math.LinearMap.Category |
| LinearRegressionResult | Math.LinearMap.Category |
| linearRegressionW | Math.LinearMap.Category |
| LinearShowable | Math.LinearMap.Category |
| LinearSpace | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| LinearSpaceFromBasisDerivationConfig | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| LSpace | Math.LinearMap.Category |
| magnitude | Math.LinearMap.Category |
| magnitudeSq | Math.LinearMap.Category |
| makeFiniteDimensionalFromBasis | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| makeLinearSpaceFromBasis | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| MaybePred | Math.VectorSpace.DimensionAware.Theorems.MaybeNat |
| maybePredSing | Math.VectorSpace.DimensionAware.Theorems.MaybeNat |
| Needle | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category, Math.LinearMap.Category |
| negateTensor | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| negateV | Math.LinearMap.Category |
| Norm | |
| 1 (Type/Class) | Math.LinearMap.Category |
| 2 (Data Constructor) | Math.LinearMap.Category |
| normalized | Math.LinearMap.Category |
| normalLength | Math.LinearMap.Category |
| normSpanningSystem | Math.LinearMap.Category |
| normSpanningSystem' | Math.LinearMap.Category |
| normSq | Math.LinearMap.Category |
| notStaticDimensionalContradiction | Math.VectorSpace.DimensionAware |
| Num' | Math.LinearMap.Category |
| Origin | Math.VectorSpace.ZeroDimensional |
| project | Math.LinearMap.Category |
| proveTensorProductIsTrie | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| PseudoAffine | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| pseudoAffineWitness | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| pseudoInverse | Math.LinearMap.Category |
| RealFloat' | Math.LinearMap.Category |
| RealFrac' | Math.LinearMap.Category |
| RealSpace | Math.LinearMap.Category |
| recomposeContraLinMap | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| recomposeContraLinMapTensor | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| recomposeLinMap | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| recomposeSB | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| recomposeSBTensor | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| relaxNorm | Math.LinearMap.Category |
| riesz | Math.LinearMap.Category |
| RieszDecomposable | Math.LinearMap.Category |
| rieszDecomposeShowsPrec | Math.LinearMap.Category |
| rieszDecomposition | Math.LinearMap.Category |
| roughDet | Math.LinearMap.Category |
| roughEigenSystem | Math.LinearMap.Category |
| SameScalar | Math.VectorSpace.MiscUtil.MultiConstraints |
| sampleLinearFunction | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| Scalar | Math.LinearMap.Category, Math.LinearMap.Category |
| ScalarSpaceWitness | |
| 1 (Type/Class) | Math.LinearMap.Category |
| 2 (Data Constructor) | Math.LinearMap.Category |
| scalarSpaceWitness | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| scalarUnsafeFromArrayWithOffset | Math.VectorSpace.DimensionAware |
| scalarUnsafeWriteArrayWithOffset | Math.VectorSpace.DimensionAware |
| scale | Math.LinearMap.Category |
| scaleNorm | Math.LinearMap.Category |
| scaleTensor | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| SemiInner | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| Semimanifold | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| semimanifoldWitness | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| Seminorm | Math.LinearMap.Category |
| sharedNormSpanningSystem | Math.LinearMap.Category |
| sharedSeminormSpanningSystem | Math.LinearMap.Category |
| sharedSeminormSpanningSystem' | Math.LinearMap.Category |
| showsPrecAsRiesz | Math.LinearMap.Category |
| showsPrecBasis | Math.LinearMap.Category |
| SimpleSpace | Math.LinearMap.Category |
| Space | Math.VectorSpace.Dual |
| spanNorm | Math.LinearMap.Category |
| spanVariance | Math.LinearMap.Category |
| squareV | Math.LinearMap.Category |
| squareVs | Math.LinearMap.Category |
| sRiesz | Math.LinearMap.Category |
| StaticDimension | Math.VectorSpace.DimensionAware, Math.LinearMap.Category |
| StaticDimensional | Math.VectorSpace.DimensionAware, Math.LinearMap.Category |
| StaticDimensionalCase | Math.VectorSpace.DimensionAware |
| staticDimensionSing | Math.VectorSpace.DimensionAware |
| SubBasis | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category, Math.LinearMap.Category |
| subbasisDimension | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| subtractTensors | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| succMaybePredSing | Math.VectorSpace.DimensionAware.Theorems.MaybeNat |
| Sum | |
| 1 (Data Constructor) | Math.LinearMap.Category |
| 2 (Type/Class) | Math.LinearMap.Category |
| summandSpaceNorms | Math.LinearMap.Category |
| sumSubspaceNorms | Math.LinearMap.Category |
| sumV | Math.LinearMap.Category |
| symmetricPolytopeOuterVertices | Math.LinearMap.Category |
| SymmetricTensor | Math.LinearMap.Category |
| SymTensor | Math.LinearMap.Category |
| symTensorDualBasisCandidates | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| symTensorTensorDualBasisCandidates | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| Tensor | |
| 1 (Type/Class) | Math.LinearMap.Category |
| 2 (Data Constructor) | Math.LinearMap.Category |
| TensorDecomposable | Math.LinearMap.Category |
| tensorDecompose' | Math.LinearMap.Category |
| tensorDecomposeShowsPrec | Math.LinearMap.Category |
| tensorDecomposition | Math.LinearMap.Category |
| tensorDualBasisCandidates | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| tensorEquality | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| tensorId | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| TensorProduct | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category, Math.LinearMap.Category |
| tensorProduct | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| tensorProducts | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| TensorSpace | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| tensorUnsafeFromArrayWithOffset | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| tensorUnsafeWriteArrayWithOffset | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| toArray | Math.VectorSpace.DimensionAware |
| toFlatTensor | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| toLinearForm | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| trace | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| transformNorm | Math.LinearMap.Category |
| transformVariance | Math.LinearMap.Category |
| transposeTensor | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| TriangularNum | Math.VectorSpace.DimensionAware.Theorems.MaybeNat |
| triangularNumSing | Math.VectorSpace.DimensionAware.Theorems.MaybeNat |
| TrivialTensorWitness | |
| 1 (Type/Class) | Math.LinearMap.Category |
| 2 (Data Constructor) | Math.LinearMap.Category |
| trivialTensorWitness | Math.LinearMap.Category |
| uncanonicallyFromDual | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| uncanonicallyToDual | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| unsafeFromArray | Math.VectorSpace.DimensionAware |
| unsafeFromArrayWithOffset | Math.VectorSpace.DimensionAware, Math.LinearMap.Category |
| unsafeFromArrayWithOffsetViaList | Math.VectorSpace.DimensionAware |
| unsafeWriteArrayWithOffset | Math.VectorSpace.DimensionAware, Math.LinearMap.Category |
| unsafeWriteArrayWithOffsetViaList | Math.VectorSpace.DimensionAware |
| useTupleLinearSpaceComponents | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| usingAnyDualness | Math.VectorSpace.Dual |
| ValidDualness | Math.VectorSpace.Dual |
| Variance | Math.LinearMap.Category |
| varianceSpanningSystem | Math.LinearMap.Category |
| Vector | Math.VectorSpace.Dual |
| VectorSpace | Math.LinearMap.Category |
| VectorWitness | Math.VectorSpace.Dual |
| VSCCoercion | |
| 1 (Type/Class) | Math.LinearMap.Coercion, Math.LinearMap.Category |
| 2 (Data Constructor) | Math.LinearMap.Coercion, Math.LinearMap.Category |
| wellDefinedNorm | Math.LinearMap.Category |
| wellDefinedTensor | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| wellDefinedVector | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| ZeroDim | Math.VectorSpace.ZeroDimensional |
| zeroTensor | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| zeroV | Math.LinearMap.Category |
| ZipWith | Math.VectorSpace.DimensionAware.Theorems.MaybeNat |
| ZipWithPlus | Math.VectorSpace.DimensionAware.Theorems.MaybeNat |
| zipWithPlusSing | Math.VectorSpace.DimensionAware.Theorems.MaybeNat |
| ZipWithTimes | Math.VectorSpace.DimensionAware.Theorems.MaybeNat |
| zipWithTimesAssoc | Math.VectorSpace.DimensionAware.Theorems.MaybeNat |
| zipWithTimesCommu | Math.VectorSpace.DimensionAware.Theorems.MaybeNat |
| zipWithTimesSing | Math.VectorSpace.DimensionAware.Theorems.MaybeNat |
| \$ | Math.LinearMap.Category |
| ^* | Math.LinearMap.Category |
| ^+^ | Math.LinearMap.Category |
| ^-^ | Math.LinearMap.Category |
| ^/ | Math.LinearMap.Category |
| |$| | Math.LinearMap.Category |
| |&> | Math.LinearMap.Category |
| · | Math.LinearMap.Category |
| ⊕ | Math.LinearMap.Category |
| ⊗ | |
| 1 (Type/Class) | Math.LinearMap.Category |
| 2 (Function) | Math.LinearMap.Category |
| ⊗〃+> | Math.LinearMap.Category |