Package rocks.palaiologos.maja.structure

Interface Field<T>

All Superinterfaces:
AdditiveAbelianGroup<T>, AdditiveGroup<T>, AdditiveGroupoid<T>, AdditiveMonoid<T>, AdditiveSemigroup<T>, MultiplicativeAbelianGroup<T>, MultiplicativeGroup<T>, MultiplicativeGroupoid<T>, MultiplicativeMonoid<T>, MultiplicativeSemigroup<T>
public interface Field<T> extends AdditiveAbelianGroup<T>, MultiplicativeAbelianGroup<T>
A a commutative division ring (i.e. a commutative ring which contains a multiplicative inverse for every nonzero element).