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

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 - M

M
1 (Type/Class)	Algebra.TypeChar.Char
2 (Data Constructor)	Algebra.Matrix
Matrix	Algebra.Matrix
matrix	Algebra.Matrix
matrixToVector	Algebra.Matrix
member	Algebra.Structures.StronglyDiscrete
modulo	Algebra.Structures.EuclideanDomain
monomial	Algebra.UPoly
mulId	Algebra.Ideal
mulM	Algebra.Matrix
M_	Algebra.TypeChar.Char