Tower.Algebra

general group structure

class Magma a

class Unital a

class Associative a

class Commutative a

class Invertible a

class Idempotent a

class Homomorphic a b

class Monoidal a

class CMonoidal a

class Loop a

class Group a

class Abelian a

Additive Structure

class AdditiveMagma a

class AdditiveUnital a

class AdditiveAssociative a

class AdditiveCommutative a

class AdditiveInvertible a

class AdditiveHomomorphic a b

class AdditiveMonoidal a

class Additive a

class AdditiveGroup a

Multiplicative Structure

class MultiplicativeMagma a

class MultiplicativeUnital a

class MultiplicativeAssociative a

class MultiplicativeCommutative a

class MultiplicativeInvertible a

class MultiplicativeHomomorphic a b

class MultiplicativeMonoidal a

class Multiplicative a

class MultiplicativeGroup a

Distributive

class Distributive a

Ring

class Semiring a

class Ring a

class Field a

Module

class AdditiveBasis a

class AdditiveGroupBasis a

class AdditiveModule s a

class AdditiveGroupModule s a

class MultiplicativeBasis a

class MultiplicativeGroupBasis a

class MultiplicativeModule s a

class MultiplicativeGroupModule s a

Integral

class Integral a

Metric

class Metric r m

class Normed a

abs

class Banach a

class BoundedField a

infinity

Exponential

class ExpRing a

(^)

class ExpField a

Tensor Algebra

class Hilbert a r

class TensorAlgebra a

squaredInnerProductNorm

innerProductNorm

innerProductDistance