Contents
Index
gasp-1.3.0.0: A framework of algebraic classes
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