constructive-algebra-0.1.6: A library of constructive algebra. (Index - S)

constructive-algebra-0.1.6: A library of constructive algebra.

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
*
<

Index - S

S	Algebra.TypeChar.Char
solve	Algebra.Structures.Coherent
solveB	Algebra.Structures.BezoutDomain
solveGeneral	Algebra.Structures.Coherent
solveGeneralEquation	Algebra.Structures.Coherent
solveMxN	Algebra.Structures.Coherent
solvePD	Algebra.Structures.PruferDomain
solveWithIntersection	Algebra.Structures.Coherent
sqfr	Algebra.UPoly
sqfrDec	Algebra.UPoly
StronglyDiscrete	Algebra.Structures.StronglyDiscrete
sumRing	Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field
S_	Algebra.TypeChar.Char