algebra-4.3.1: Constructive abstract algebra

Signatures

Modules

• Numeric
  • Additive
    • Numeric.Additive.Class
    • Numeric.Additive.Group
  •  Numeric.Algebra
    • Numeric.Algebra.Class
    • Numeric.Algebra.Commutative
    •  Numeric.Algebra.Complex
      • Numeric.Algebra.Complex.Class
    • Distinguished
      • Numeric.Algebra.Distinguished.Class
    • Numeric.Algebra.Division
    •  Numeric.Algebra.Dual
      • Numeric.Algebra.Dual.Class
    • Numeric.Algebra.Factorable
    • Numeric.Algebra.Hopf
    • Numeric.Algebra.Hyperbolic
    • Numeric.Algebra.Idempotent
    • Numeric.Algebra.Incidence
    • Numeric.Algebra.Involutive
    •  Numeric.Algebra.Quaternion
      • Numeric.Algebra.Quaternion.Class
    •  Numeric.Algebra.Unital
      • Numeric.Algebra.Unital.UnitNormalForm
  • Band
    • Numeric.Band.Class
    • Numeric.Band.Rectangular
  • Coalgebra
    • Numeric.Coalgebra.Categorical
    • Numeric.Coalgebra.Dual
    • Numeric.Coalgebra.Geometric
    •  Numeric.Coalgebra.Hyperbolic
      • Numeric.Coalgebra.Hyperbolic.Class
    • Numeric.Coalgebra.Incidence
    • Numeric.Coalgebra.Quaternion
    •  Numeric.Coalgebra.Trigonometric
      • Numeric.Coalgebra.Trigonometric.Class
  • Numeric.Covector
  • Decidable
    • Numeric.Decidable.Associates
    • Numeric.Decidable.Nilpotent
    • Numeric.Decidable.Units
    • Numeric.Decidable.Zero
  • Dioid
    • Numeric.Dioid.Class
  • Domain
    • Numeric.Domain.Class
    • Numeric.Domain.Euclidean
    • Numeric.Domain.GCD
    • Numeric.Domain.Integral
    • Numeric.Domain.PID
    • Numeric.Domain.UFD
  • Numeric.Exp
  • Field
    • Numeric.Field.Class
    • Numeric.Field.Fraction
  • Numeric.Log
  • Numeric.Map
  • Module
    • Numeric.Module.Class
    • Numeric.Module.Representable
  • Order
    • Numeric.Order.Additive
    • Numeric.Order.Class
    • Numeric.Order.LocallyFinite
  • Partial
    • Numeric.Partial.Group
    • Numeric.Partial.Monoid
    • Numeric.Partial.Semigroup
  • Quadrance
    • Numeric.Quadrance.Class
  • Rig
    • Numeric.Rig.Characteristic
    • Numeric.Rig.Class
    • Numeric.Rig.Ordered
  • Ring
    • Numeric.Ring.Class
    • Numeric.Ring.Division
    • Numeric.Ring.Endomorphism
    • Numeric.Ring.Local
    • Numeric.Ring.Opposite
    • Numeric.Ring.Rng
  • Rng
    • Numeric.Rng.Class
    • Numeric.Rng.Zero
  • Semiring
    • Numeric.Semiring.Involutive
    • Numeric.Semiring.ZeroProduct