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

Interface MagmaTheory<E extends MagmaElement<E>>

All Superinterfaces:
AlgebraicStructureTheory<E>, BasicObjectTheory<E>, ElementTheory<E>
All Known Subinterfaces:
AbelianRingTheory<E>, AdditiveAbelianGroupTheory<E>, AdditiveAbelianSemiGroupTheory<E>, AdditiveGroupTheory<E>, AdditiveMonoidTheory<E>, AdditiveSemiGroupTheory<E>, CompleteFieldTheory<E>, CompleteScalarFieldTheory<E>, DivisibleGroupTheory<E>, DivisionRingTheory<E>, FieldTheory<E>, GroupTheory<E>, MultiplicativeAbelianGroupTheory<E>, MultiplicativeAbelianSemiGroupTheory<E>, MultiplicativeGroupTheory<E>, MultiplicativeMonoidTheory<E>, MultiplicativeSemiGroupTheory<E>, RingTheory<E>, RngTheory<E>, ScalarFieldTheory<E>, VectorSpaceTheory<V,S>
public interface MagmaTheory<E extends MagmaElement<E>> extends AlgebraicStructureTheory<E>
Since:
0.8
Author:
Michiel Meeuwissen

  • Method Details

    • magmaOperators

      @Property default void magmaOperators(@ForAll("structure") AlgebraicStructure<E> s)

    • operatorAndCommutativity

      @Property default void operatorAndCommutativity(@ForAll("elements") E m1, @ForAll("elements") E m2)