Package dk.jonaslindstrom.ruffini.common.abstractions

Interface Group<E>

Type Parameters:

E - Element type.

All Superinterfaces:

Monoid<E>, Semigroup<E>, Set<E>

All Known Subinterfaces:

Field<E>

All Known Implementing Classes:

AlgebraicFieldExtension, BigFiniteField, BigPrimeField, BigRationals, ClassGroup, ComplexNumbers, ConstructiveReals, FieldOfFractions, FiniteField, GaussianRationals, GeneralLinearGroup, PerformanceLoggingField, PrimeField, QuadraticField, Rationals, RealNumbers, SymmetricGroup, TestUtils.TestField

public interface Group<E>
extends Monoid<E>

A group is a set with an operation and an inverse operation.

Method Summary

Modifier and Type	Method	Description
default E	divide(E a, E b)	Return ab-1.
E	invert(E a)	Return the inverse a-1.

Methods inherited from interface dk.jonaslindstrom.ruffini.common.abstractions.Monoid

identity, isIdentity, power

Methods inherited from interface dk.jonaslindstrom.ruffini.common.abstractions.Semigroup

multiply, multiply, multiply

Methods inherited from interface dk.jonaslindstrom.ruffini.common.abstractions.Set

equals, toString

Method Details

invert

E invert(E a)

Return the inverse a^-1.

divide

default E divide(E a,
 E b)

Return ab^-1.