1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
|
module Numeric.Algebra
(
-- * Additive
-- ** additive semigroups
Additive(..)
, sum1
-- ** additive Abelian semigroups
, Abelian
-- ** additive idempotent semigroups
, Idempotent
, sinnum1pIdempotent
, sinnumIdempotent
-- ** partitionable additive semigroups
, Partitionable(..)
-- ** additive monoids
, Monoidal(..)
, sum
-- ** additive groups
, Group(..)
-- * Multiplicative
-- ** multiplicative semigroups
, Multiplicative(..)
, product1
-- ** commutative multiplicative semigroups
, Commutative
-- ** multiplicative monoids
, Unital(..)
, product
-- ** idempotent multiplicative semigroups
, Band
, pow1pBand
, powBand
-- ** multiplicative groups
, Division(..)
-- ** factorable multiplicative semigroups
, Factorable(..)
-- ** involutive multiplicative semigroups
, InvolutiveMultiplication(..)
, TriviallyInvolutive
-- * Ring-Structures
-- ** Semirings
, Semiring
, InvolutiveSemiring
, Dioid
-- ** Rngs
, Rng
-- ** Rigs
, Rig(..)
-- * Rings
, Ring(..)
-- ** Division Rings
, LocalRing
, DivisionRing
, Field
-- * Modules
, LeftModule(..)
, RightModule(..)
, Module
-- * Algebras
-- ** associative algebras over (non-commutative) semirings
, Algebra(..)
, Coalgebra(..)
-- ** unital algebras
, UnitalAlgebra(..)
, CounitalCoalgebra(..)
, Bialgebra
-- ** involutive algebras
, InvolutiveAlgebra(..)
, InvolutiveCoalgebra(..)
, InvolutiveBialgebra
, TriviallyInvolutiveAlgebra
, TriviallyInvolutiveCoalgebra
, TriviallyInvolutiveBialgebra
-- ** idempotent algebras
, IdempotentAlgebra
, IdempotentBialgebra
-- ** commutative algebras
, CommutativeAlgebra
, CommutativeBialgebra
, CocommutativeCoalgebra
-- ** division algebras
, DivisionAlgebra(..)
-- ** Hopf alegebras
, HopfAlgebra(..)
-- * Ring Properties
-- ** Characteristic
, Characteristic(..)
, charInt, charWord
-- ** Order
, Order(..)
, OrderedRig
, AdditiveOrder
, LocallyFiniteOrder
, DecidableZero
, DecidableUnits
, DecidableAssociates
-- * Natural numbers
, Natural
, Whole(toNatural)
-- * Representable Additive
, addRep, sinnum1pRep
-- * Representable Monoidal
, zeroRep, sinnumRep
-- * Representable Group
, negateRep, minusRep, subtractRep, timesRep
-- * Representable Multiplicative (via Algebra)
, mulRep
-- * Representable Unital (via UnitalAlgebra)
, oneRep
-- * Representable Rig (via Algebra)
, fromNaturalRep
-- * Representable Ring (via Algebra)
, fromIntegerRep
-- * Norm
, Quadrance(..)
-- * Covectors
, Covector(..)
-- ** Covectors as linear functionals
, counitM
, unitM
, comultM
, multM
, invM
, coinvM
, antipodeM
, convolveM
, memoM
) where
import Prelude ()
import Numeric.Additive.Class
import Numeric.Additive.Group
import Numeric.Algebra.Class
import Numeric.Algebra.Involutive
import Numeric.Algebra.Idempotent
import Numeric.Algebra.Commutative
import Numeric.Algebra.Division
import Numeric.Algebra.Factorable
import Numeric.Algebra.Unital
import Numeric.Algebra.Hopf
import Numeric.Covector
import Numeric.Decidable.Units
import Numeric.Decidable.Associates
import Numeric.Decidable.Zero
import Numeric.Dioid.Class
import Numeric.Module.Representable
import Numeric.Natural.Internal
import Numeric.Order.Class
import Numeric.Order.Additive
import Numeric.Order.LocallyFinite
import Numeric.Quadrance.Class
import Numeric.Rig.Class
import Numeric.Rig.Characteristic
import Numeric.Rig.Ordered
import Numeric.Rng.Class
import Numeric.Ring.Class
import Numeric.Ring.Local
import Numeric.Ring.Division
import Numeric.Field.Class
|
