Module org.meeuw.math.abstractalgebra.test

Package org.meeuw.theories.abstractalgebra

Interface WithScalarTheory<E extends WithScalarOperations<E,S>,S>

All Superinterfaces:

BasicObjectTheory<E>, ElementTheory<E>

public interface WithScalarTheory<E extends WithScalarOperations<E,S>,S>
extends ElementTheory<E>

Since:

0.4

Author:

Michiel Meeuwissen

Field Summary

Fields

Modifier and Type	Field	Description
static final String	SCALARS

Fields inherited from interface org.meeuw.theories.BasicObjectTheory

DATAPOINTS, DATAPOINTS_OR_NULL, EQUAL_DATAPOINTS, RANDOMS

Fields inherited from interface org.meeuw.theories.abstractalgebra.ElementTheory

ELEMENTS

Method Summary

Modifier and Type	Method	Description
default void	dividedBy(E e, S scalar)
net.jqwik.api.Arbitrary<S>	scalars()
default void	times(E e, S scalar)

Methods inherited from interface org.meeuw.theories.BasicObjectTheory

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

Methods inherited from interface org.meeuw.theories.abstractalgebra.ElementTheory

datapoints, elements, getLogger, setupForAll

Field Details

SCALARS

static final String SCALARS

See Also:

• Constant Field Values

Method Details

times

@Property
default void times(@ForAll("elements")
 E e,
 @ForAll("scalars")
 S scalar)

dividedBy

@Property
default void dividedBy(@ForAll("elements")
 E e,
 @ForAll("scalars")
 S scalar)

scalars

@Provide
net.jqwik.api.Arbitrary<S> scalars()