SameScalar | Math.VectorSpace.MiscUtil.MultiConstraints |
sampleLinearFunction | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
Scalar | 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 |
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 |