Numeric.Algebra
class Additive r
class Abelian r
class Idempotent r
class Partitionable m
class Monoidal m
class Group r
class Multiplicative r
class Commutative r
class Unital r
class Band r
class Division r
class Factorable m
class InvolutiveMultiplication r
class TriviallyInvolutive r
class Semiring r
class InvolutiveSemiring r
class Dioid r
class Rng r
class Rig r
class Ring r
class LocalRing r
class DivisionRing r
class Field r
class LeftModule r m
class RightModule r m
class Module r m
class Algebra r a
class Coalgebra r c
class UnitalAlgebra r a
class CounitalCoalgebra r c
class Bialgebra r a
class InvolutiveAlgebra r a
class InvolutiveCoalgebra r c
class InvolutiveBialgebra r h
class TriviallyInvolutiveAlgebra r a
class TriviallyInvolutiveCoalgebra r a
class TriviallyInvolutiveBialgebra r h
class IdempotentAlgebra r a
class IdempotentBialgebra r h
class CommutativeAlgebra r a
class CommutativeBialgebra r h
class CocommutativeCoalgebra r c
class DivisionAlgebra r a
class HopfAlgebra r h
class Characteristic r
class Order a
class OrderedRig r
class AdditiveOrder r
class LocallyFiniteOrder a
class DecidableZero r
class DecidableUnits r
class DecidableAssociates r
data Natural
class Whole n
class Quadrance r m
data Covector r a