Index

*	Algebra.Classes
*<	Algebra.Linear
*^	Algebra.Classes
+	Algebra.Classes
-	Algebra.Classes
.	Algebra.Category
/	Algebra.Classes
<+>	Algebra.Linear
=.=	Algebra.Classes
AbelianAdditive	Algebra.Classes
Additive	Algebra.Classes
Category	Algebra.Category
Con	Algebra.Category
crossProductMatrix	Algebra.Linear
DecidableZero	Algebra.Classes
diagonal	Algebra.Linear
div	Algebra.Classes
Division	Algebra.Classes
divMod	Algebra.Classes
Euclid
1 (Type/Class)	Algebra.Linear
2 (Data Constructor)	Algebra.Linear
EuclideanDomain	Algebra.Classes
Exponential
1 (Type/Class)	Algebra.Classes
2 (Data Constructor)	Algebra.Classes
Field	Algebra.Classes
Flat
1 (Type/Class)	Algebra.Linear
2 (Data Constructor)	Algebra.Linear
flatMat	Algebra.Linear
fromEuclid	Algebra.Linear
fromExponential	Algebra.Classes
fromFlat	Algebra.Linear
fromInteger	Algebra.Classes
fromIntegerDefault	Algebra.Classes
fromMat	Algebra.Linear
fromProduct	Algebra.Classes
fromRational	Algebra.Classes
fromSum	Algebra.Classes
gcd	Algebra.Classes
Group	Algebra.Classes
id	Algebra.Category
identity	Algebra.Linear
ifThenElse	Algebra.Classes
index	Algebra.Linear
inner	Algebra.Linear
InnerProdSpace	Algebra.Linear
Integral	Algebra.Classes
isZero	Algebra.Classes
laws_abelian_additive	Algebra.Classes
laws_abelian_group	Algebra.Classes
laws_additive	Algebra.Classes
laws_group	Algebra.Classes
laws_module	Algebra.Classes
law_decidable_zero	Algebra.Classes
law_module_mul	Algebra.Classes
law_module_one	Algebra.Classes
law_module_sum	Algebra.Classes
law_module_sum_left	Algebra.Classes
law_module_zero	Algebra.Classes
law_mult	Algebra.Classes
law_negate_minus	Algebra.Classes
law_plus_assoc	Algebra.Classes
law_plus_comm	Algebra.Classes
law_plus_zero	Algebra.Classes
law_times	Algebra.Classes
law_zero_plus	Algebra.Classes
Mat
1 (Type/Class)	Algebra.Linear
2 (Data Constructor)	Algebra.Linear
Mat2x2
1 (Type/Class)	Algebra.Linear
2 (Data Constructor)	Algebra.Linear
Mat3x3
1 (Type/Class)	Algebra.Linear
2 (Data Constructor)	Algebra.Linear
matFlat	Algebra.Linear
matMul	Algebra.Linear
matVecMul	Algebra.Linear
mod	Algebra.Classes
Module	Algebra.Classes
mult	Algebra.Classes
multDefault	Algebra.Classes
Multiplicative	Algebra.Classes
nameLaw	Algebra.Classes
Natural	Algebra.Classes
negate	Algebra.Classes
norm	Algebra.Linear
normalize
1 (Function)	Algebra.Classes
2 (Function)	Algebra.Linear
one	Algebra.Classes
OrthoMat
1 (Type/Class)	Algebra.Linear
2 (Data Constructor)	Algebra.Linear
PreRing	Algebra.Classes
Product
1 (Type/Class)	Algebra.Classes
2 (Data Constructor)	Algebra.Classes
product	Algebra.Classes
pureMat	Algebra.Linear
quot	Algebra.Classes
quotRem	Algebra.Classes
recip	Algebra.Classes
rem	Algebra.Classes
Ring	Algebra.Classes
rotation2d	Algebra.Linear
rotation3d	Algebra.Linear
rotationFromTo	Algebra.Linear
SemiRing	Algebra.Classes
SqMat	Algebra.Linear
sqNorm	Algebra.Linear
stdAssociate	Algebra.Classes
stdUnit	Algebra.Classes
Sum
1 (Type/Class)	Algebra.Classes
2 (Data Constructor)	Algebra.Classes
sum	Algebra.Classes
tensorWith	Algebra.Linear
TestEqual	Algebra.Classes
times	Algebra.Classes
timesDefault	Algebra.Classes
toInteger	Algebra.Classes
transpose	Algebra.Linear
V1'
1 (Type/Class)	Algebra.Linear
2 (Data Constructor)	Algebra.Linear
V2
1 (Type/Class)	Algebra.Linear
2 (Data Constructor)	Algebra.Linear
V2'
1 (Type/Class)	Algebra.Linear
2 (Data Constructor)	Algebra.Linear
V3
1 (Type/Class)	Algebra.Linear
2 (Data Constructor)	Algebra.Linear
V3'
1 (Type/Class)	Algebra.Linear
2 (Data Constructor)	Algebra.Linear
VectorR	Algebra.Linear
VectorSpace	Algebra.Linear
VNext
1 (Type/Class)	Algebra.Linear
2 (Data Constructor)	Algebra.Linear
VZero
1 (Type/Class)	Algebra.Linear
2 (Data Constructor)	Algebra.Linear
zero	Algebra.Classes
^	Algebra.Classes
^+	Algebra.Classes
·	Algebra.Linear
×	Algebra.Linear
⊗	Algebra.Linear
⊙	Algebra.Linear