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

Interface DivisibleGroupTheory<E extends DivisibleGroupElement<E>>

All Superinterfaces:
AlgebraicStructureTheory<E>, BasicObjectTheory<E>, ElementTheory<E>, MagmaTheory<E>, MultiplicativeAbelianGroupTheory<E>, MultiplicativeAbelianSemiGroupTheory<E>, MultiplicativeGroupTheory<E>, MultiplicativeMonoidTheory<E>, MultiplicativeSemiGroupTheory<E>
All Known Subinterfaces:
CompleteFieldTheory<E>, CompleteScalarFieldTheory<E>, FieldTheory<E>, ScalarFieldTheory<E>
public interface DivisibleGroupTheory<E extends DivisibleGroupElement<E>> extends MultiplicativeAbelianGroupTheory<E>
Since:
0.4
Author:
Michiel Meeuwissen

  • Method Details

    • dividedByLong

      @Property default void dividedByLong(@ForAll("elements") E v1, @ForAll("positiveLongs") long divisor)

    • positiveLongs

      @Provide default net.jqwik.api.Arbitrary<Long> positiveLongs()