char | Numeric.Rig.Characteristic, Numeric.Rig |
Characteristic | Numeric.Rig.Characteristic, Numeric.Rig |
charInt | Numeric.Rig.Characteristic, Numeric.Rig |
charWord | Numeric.Rig.Characteristic, Numeric.Rig |
coef | Numeric.Polynomial.Basis.Power |
cojoin | Numeric.Algebra.Free.Class, Numeric.Algebra.Free |
cojoinMap | Numeric.Map.Linear |
Commutative | Numeric.Multiplication.Commutative, Numeric.Semigroup, Numeric.Monoid, Numeric.Multiplication, Numeric.Group |
comparable | Numeric.Order.Class, Numeric.Order |
convolveMap | Numeric.Map.Linear |
counit | Numeric.Algebra.Free.Unital, Numeric.Algebra.Free |
counitCovector | Numeric.Functional.Linear |
counitMap | Numeric.Map.Linear |
Covector | Numeric.Functional.Linear |