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

Interface AdditiveGroupTheory<E extends AdditiveGroupElement<E>>

All Superinterfaces:
AdditiveMonoidTheory<E>, AdditiveSemiGroupTheory<E>, AlgebraicStructureTheory<E>, BasicObjectTheory<E>, ElementTheory<E>, MagmaTheory<E>
All Known Subinterfaces:
AbelianRingTheory<E>, AdditiveAbelianGroupTheory<E>, CompleteFieldTheory<E>, CompleteScalarFieldTheory<E>, DivisionRingTheory<E>, FieldTheory<E>, RingTheory<E>, RngTheory<E>, ScalarFieldTheory<E>, VectorSpaceTheory<V,S>
public interface AdditiveGroupTheory<E extends AdditiveGroupElement<E>> extends AdditiveMonoidTheory<E>
Since:
0.4
Author:
Michiel Meeuwissen

  • Method Details

    • additiveGroupOperators

      @Property default void additiveGroupOperators(@ForAll("structure") AdditiveGroup<E> s)

    • minus

      @Property default void minus(@ForAll("elements") E v1, @ForAll("elements") E v2)

    • repeatedPlusZeroTimes

      @Property default void repeatedPlusZeroTimes(@ForAll("elements") E v1)

    • repeatedPlusOneTimes

      @Property default void repeatedPlusOneTimes(@ForAll("elements") E v1)

    • repeatedPlusPositiveTimes

      @Property default void repeatedPlusPositiveTimes(@ForAll("elements") E v1)

    • repeatedPlusNegativeTimes

      @Property default void repeatedPlusNegativeTimes(@ForAll("elements") E v1)