Contents
Index
gasp-1.1.0.0: A framework of algebraic classes
Index
*
Algebra.Classes
*^
Algebra.Classes
+
Algebra.Classes
-
Algebra.Classes
/
Algebra.Classes
:%
Algebra.Classes
:+
Algebra.Classes
AbelianAdditive
Algebra.Classes
add
Algebra.Classes
Additive
Algebra.Classes
DecidableZero
Algebra.Classes
div
Algebra.Classes
Division
Algebra.Classes
divMod
Algebra.Classes
EuclideanDomain
Algebra.Classes
Exponential
1 (Type/Class)
Algebra.Classes
2 (Data Constructor)
Algebra.Classes
Field
Algebra.Classes
fromExponential
Algebra.Classes
fromInteger
Algebra.Classes
fromProduct
Algebra.Classes
fromRational
Algebra.Classes
fromSum
Algebra.Classes
gcd
Algebra.Classes
Group
Algebra.Classes
ifThenElse
Algebra.Classes
InitialAdditive
Algebra.Classes
Integral
Algebra.Classes
isZero
Algebra.Classes
mod
Algebra.Classes
Module
Algebra.Classes
mult
Algebra.Classes
Multiplicative
Algebra.Classes
multiply
Algebra.Classes
MyRational
Algebra.Classes
Natural
Algebra.Classes
negate
Algebra.Classes
normalize
Algebra.Classes
one
Algebra.Classes
Product
1 (Type/Class)
Algebra.Classes
2 (Data Constructor)
Algebra.Classes
quot
Algebra.Classes
quotRem
Algebra.Classes
Ratio
Algebra.Classes
recip
Algebra.Classes
rem
Algebra.Classes
Ring
Algebra.Classes
SemiRing
Algebra.Classes
stdAssociate
Algebra.Classes
stdUnit
Algebra.Classes
Sum
1 (Type/Class)
Algebra.Classes
2 (Data Constructor)
Algebra.Classes
times
Algebra.Classes
toInteger
Algebra.Classes
VectorSpace
Algebra.Classes
Zero
Algebra.Classes
zero
Algebra.Classes
^
Algebra.Classes