Package dk.jonaslindstrom.ruffini.common.abstractions

package dk.jonaslindstrom.ruffini.common.abstractions
  • Interfaces
    Class
    Description
    AdditiveGroup<E>
    An additive group is like a Group but where the operation is commutative and is called add.
    CommutativeMonoid<E>
    A commutative monoid is a set with an associative and commutative addition operation.
    EuclideanDomain<E>
    A Euclidean domain is a ring with Euclidean division.
    Field<E>
    A field is a commutative ring where every non-zero element has a multiplicative inverse.
    Group<E>
    A group is a set with an operation and an inverse operation.
    InnerProductSpace<V,S,F extends Field<S>>
    A group is a set with an associative addition operation and an inverse operation.
    Module<V,S,R extends Ring<S>>
    A module over a ring R is an additive group V together with a scalar multiplication.
    Monoid<E>
    A monoid is a set with an associative operation.
    NormedVectorSpace<V,S,F extends Field<S>>
    An inner product space is a vector space with an inner product.
    OrderedSet<E>
    A set with an ordering.
    Ring<E>
    A ring is a set with an associative and commutative addition operation and an associative multiplication operation.
    Semigroup<E>
    A semigroup is a set with an associative multiplication operation.
    SemiRing<E>
    A semiring is a set with an associative and commutative addition operation and an associative multiplication operation.
    Set<E>
    A set is a collection of elements.
    VectorSpace<V,S,F extends Field<S>>
    A vector space is a module over a field.