ideas-math-types-1.0: Common types for mathematical domain reasoners (Index - S)

ideas-math-types-1.0: Common types for mathematical domain reasoners

A
B
C
D
E
F
G
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
:
.
<
>
^
|
All

Index - S

SafeDiv	Domain.Math.Safe
safeDiv	Domain.Math.Safe
safeDivFractional	Domain.Math.Safe
SafeNum	Domain.Algebra.Field
safeNum	Domain.Algebra.Field
SafePower	Domain.Math.Safe
safePower	Domain.Math.Safe
safeRecip	Domain.Math.Safe
safeRoot	Domain.Math.Safe
safeSqrt	Domain.Math.Safe
scale	Domain.Math.Data.SquareRoot
segments	Domain.Math.Data.Interval
selectVar	Domain.Math.Expr.Views, Domain.Math.Expr
SemiRing	Domain.Algebra.Field
semiRingLaws	Domain.Algebra.FieldLaws
signumSymbol	Domain.Math.Expr.Symbols, Domain.Math.Expr
simpleProductView	Domain.Math.Expr.Views, Domain.Math.Expr
simpleSumView	Domain.Math.Expr.Views, Domain.Math.Expr
simplify	Domain.Logic.Views
sinhSymbol	Domain.Math.Expr.Symbols, Domain.Math.Expr
sinSymbol	Domain.Math.Expr.Symbols, Domain.Math.Expr
SLogic	Domain.Logic.Formula
Smart
1 (Type/Class)	Domain.Algebra.SmartGroup
2 (Data Constructor)	Domain.Algebra.SmartGroup
SmartField
1 (Type/Class)	Domain.Algebra.SmartGroup
2 (Data Constructor)	Domain.Algebra.SmartGroup
SmartGroup
1 (Type/Class)	Domain.Algebra.SmartGroup
2 (Data Constructor)	Domain.Algebra.SmartGroup
SmartZero
1 (Type/Class)	Domain.Algebra.SmartGroup
2 (Data Constructor)	Domain.Algebra.SmartGroup
splitPower	Domain.Math.Data.PrimeFactors
Sqrt	Domain.Math.Expr.Data, Domain.Math.Expr
sqrt	Domain.Math.Data.SquareRoot
sqrtRational	Domain.Math.Data.SquareRoot
SquareRoot	Domain.Math.Data.SquareRoot
sum	Domain.Algebra.Field
sumView	Domain.Math.Expr.Views, Domain.Math.Expr
Sym	Domain.Math.Expr.Data, Domain.Math.Expr