algebra-4.3.1: Constructive abstract algebra

Index - S

scalarPartNumeric.Algebra.Quaternion
scalarPart'Numeric.Coalgebra.Quaternion
SemiringNumeric.Algebra.Class, Numeric.Algebra
SinNumeric.Coalgebra.Trigonometric
sinNumeric.Coalgebra.Trigonometric.Class, Numeric.Coalgebra.Trigonometric
SinhNumeric.Coalgebra.Hyperbolic
sinhNumeric.Coalgebra.Hyperbolic.Class, Numeric.Coalgebra.Hyperbolic, Numeric.Algebra.Hyperbolic
Sinh'Numeric.Algebra.Hyperbolic
sinnumNumeric.Algebra.Class, Numeric.Algebra
sinnum1pNumeric.Additive.Class, Numeric.Algebra
sinnum1pIdempotentNumeric.Additive.Class, Numeric.Algebra
sinnum1pRepNumeric.Module.Representable, Numeric.Algebra
sinnumIdempotentNumeric.Algebra.Class, Numeric.Algebra
sinnumRepNumeric.Module.Representable, Numeric.Algebra
splitUnitNumeric.Algebra.Unital.UnitNormalForm
subtractNumeric.Additive.Group, Numeric.Algebra
subtractRepNumeric.Module.Representable, Numeric.Algebra
sumNumeric.Algebra.Class, Numeric.Algebra
sum1Numeric.Additive.Class, Numeric.Algebra
sumWithNumeric.Algebra.Class, Numeric.Algebra
sumWith1Numeric.Additive.Class, Numeric.Algebra