Module org.meeuw.math.abstractalgebra.test
Package org.meeuw.theories.abstractalgebra

Interface DivisionRingTheory<E extends DivisionRingElement<E>>

All Superinterfaces:
AdditiveAbelianGroupTheory<E>, AdditiveAbelianSemiGroupTheory<E>, AdditiveGroupTheory<E>, AdditiveMonoidTheory<E>, AdditiveSemiGroupTheory<E>, AlgebraicStructureTheory<E>, BasicObjectTheory<E>, ElementTheory<E>, MagmaTheory<E>, MultiplicativeGroupTheory<E>, MultiplicativeMonoidTheory<E>, MultiplicativeSemiGroupTheory<E>, RingTheory<E>, RngTheory<E>
All Known Subinterfaces:
CompleteFieldTheory<E>, CompleteScalarFieldTheory<E>, FieldTheory<E>, ScalarFieldTheory<E>
public interface DivisionRingTheory<E extends DivisionRingElement<E>> extends RingTheory<E>, MultiplicativeGroupTheory<E>, AdditiveGroupTheory<E>
Since:
0.4
Author:
Michiel Meeuwissen

  • Method Details

    • fieldOperators

      @Property default void fieldOperators(@ForAll("structure") DivisionRing<E> s)

    • operatorEnums

      @Property default void operatorEnums(@ForAll("elements") E e1, @ForAll("elements") E e2)