*^ | Math.LinearMap.Category |
*∂ | Math.LinearMap.Category.Derivatives |
+> | Math.LinearMap.Category |
-+$> | 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 |
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 |
BasisGeneratedSpace | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
Bilinear | Math.LinearMap.Category |
bilinearFunction | Math.LinearMap.Category |
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 |
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 |
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 |
flipBilin | Math.LinearMap.Category |
fmapTensor | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
Fractional' | Math.LinearMap.Category |
fromFlatTensor | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
fromLinearForm | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
\$ | 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 |