Module org.meeuw.math.abstractalgebra.test

Package org.meeuw.theories.abstractalgebra

Interface ElementTheory<E>

All Superinterfaces:

BasicObjectTheory<E>

All Known Subinterfaces:

AbelianRingTheory<E>, AdditiveAbelianGroupTheory<E>, AdditiveAbelianSemiGroupTheory<E>, AdditiveGroupTheory<E>, AdditiveMonoidTheory<E>, AdditiveSemiGroupTheory<E>, AlgebraicStructureTheory<E>, CompleteFieldTheory<E>, CompleteScalarFieldTheory<E>, DivisibleGroupTheory<E>, DivisionRingTheory<E>, FieldTheory<E>, GroupTheory<E>, MagmaTheory<E>, MetricSpaceTheory<E,S>, MultiplicativeAbelianGroupTheory<E>, MultiplicativeAbelianSemiGroupTheory<E>, MultiplicativeGroupTheory<E>, MultiplicativeMonoidTheory<E>, MultiplicativeSemiGroupTheory<E>, OrderedTheory<E>, RingTheory<E>, RngTheory<E>, ScalarFieldTheory<E>, ScalarTheory<S>, SignedNumberTheory<E>, SizeableScalarTheory<S,SIZE>, SizeableTheory<E,SIZE>, StrictlyOrderedTheory<E>, UncertainDoubleTheory<E>, VectorSpaceTheory<V,S>, WithScalarTheory<E,S>

public interface ElementTheory<E>
extends BasicObjectTheory<E>

The connection between BasicObjectTheory and algebra testing. BasicObjectTheory.datapoints() is identified with elements()

Since:

0.4

Author:

Michiel Meeuwissen

Field Summary

Fields

Modifier and Type	Field	Description
static final String	ELEMENTS

Fields inherited from interface org.meeuw.theories.BasicObjectTheory

DATAPOINTS, DATAPOINTS_OR_NULL, EQUAL_DATAPOINTS, RANDOMS

Method Summary

Modifier and Type	Method	Description
default net.jqwik.api.Arbitrary<E>	datapoints()	Provide non-null datapoints
net.jqwik.api.Arbitrary<E>	elements()
default org.apache.logging.log4j.Logger	getLogger()
default void	setupForAll()

Methods inherited from interface org.meeuw.theories.BasicObjectTheory

datapointsOrNull, equalDatapoints, equals, equalsIsConsistent, equalsIsReflexive, equalsIsSymmetric, equalsIsTransitive, equalsReturnFalseOnNull, equalsReturnFalseOnOtherObject, hashCodeIsConsistentWithEquals, hashCodeIsSelfConsistent, log, randoms, toString

Field Details

ELEMENTS

static final String ELEMENTS

See Also:

• Constant Field Values

Method Details

setupForAll

@BeforeEach
default void setupForAll()

elements

@Provide
net.jqwik.api.Arbitrary<E> elements()

getLogger

default org.apache.logging.log4j.Logger getLogger()

datapoints

default net.jqwik.api.Arbitrary<E> datapoints()

Description copied from interface: BasicObjectTheory

Provide non-null datapoints

Specified by:

datapoints in interface BasicObjectTheory<E>