Scalable | Algebra.Classes |
Scalable' | Algebra.Classes |
Scalar | Algebra.Classes |
SemiModule | Algebra.Classes |
SemiRing | Algebra.Classes |
showCompClosed | Algebra.Types |
sin | Algebra.Classes |
sinh | Algebra.Classes |
sizedArbRepr | Algebra.Category.Objects |
sizedArbSum | Algebra.Category.Objects |
solve | Algebra.Morphism.Affine |
Some1 | |
1 (Type/Class) | Algebra.Category.Objects |
2 (Data Constructor) | Algebra.Category.Objects |
splitVar | Algebra.Morphism.Affine |
SqMat | Algebra.Linear |
sqNorm | Algebra.Linear |
sqrt | Algebra.Classes |
stdAssociate | Algebra.Classes |
stdUnit | Algebra.Classes |
subst | |
1 (Function) | Algebra.Morphism.LinComb |
2 (Function) | Algebra.Morphism.Affine |
subtract | Algebra.Classes |
Sum | |
1 (Type/Class) | Algebra.Classes |
2 (Data Constructor) | Algebra.Classes |
sum | Algebra.Classes |
SumKind | Algebra.Types |
swap | |
1 (Function) | Algebra.CategoryRecords |
2 (Function) | Algebra.Category |
swap_ | |
1 (Function) | Algebra.CategoryRecords |
2 (Function) | Algebra.Category |
Symmetric | Algebra.Category |