Package rocks.palaiologos.maja.structure

package rocks.palaiologos.maja.structure
  • Interfaces
    Class
    Description
    AdditiveAbelianGroup<T>
    Group with a commutative binary operation.
    AdditiveCommutativeMonoid<T>
    An algebraic structure with an associative and commutative binary operation and an identity element.
    AdditiveGroup<T>
    An extension to the concept of monoid.
    AdditiveGroupoid<T>
    Basic algebraic structure with a closed binary operation.
    AdditiveMonoid<T>
    An algebraic structure with an associative binary operation (implied by semigroup properties) and an identity element.
    AdditiveSemigroup<T>
    Basic algebraic structure with an associative binary operation.
    CommutativeRing<T>
    A division ring is a set R equipped with two binary operations + and ·, where (R, +) is an abelian group and (R, ·) is a commutative monoid.
    DivisionRing<T>
    A division ring is a set R equipped with two binary operations + and ·, where (R, +) is an abelian group and (R, ·) is a group.
    Field<T>
    A a commutative division ring (i.e.
    MultiplicativeAbelianGroup<T>
    Group with a commutative binary operation.
    MultiplicativeCommutativeMonoid<T>
    An algebraic structure with an associative and commutative binary operation and an identity element.
    MultiplicativeGroup<T>
    An extension to the concept of monoid.
    MultiplicativeGroupoid<T>
    Basic algebraic structure with a closed binary operation.
    MultiplicativeMonoid<T>
    An algebraic structure with an associative binary operation (implied by semigroup properties) and an identity element.
    MultiplicativeSemigroup<T>
    Basic algebraic structure with an associative binary operation.
    Ring<T>
    A ring is a set R equipped with two binary operations + and ·, where (R, +) is an abelian group and (R, ·) is a monoid.
    SemiRing<T>
    A ring is a set R equipped with two binary operations + and ·, where (R, +) is a commutative monoid and (R, ·) is a monoid.