Module org.meeuw.math.abstractalgebra.test

Package org.meeuw.theories.numbers

Interface ScalarTheory<S extends Scalar<S>>

All Superinterfaces:

BasicObjectTheory<S>, ComparableTheory<S>, ElementTheory<S>, OrderedTheory<S>, SizeableScalarTheory<S,S>, SizeableTheory<S,S>, StrictlyOrderedTheory<S>

All Known Subinterfaces:

CompleteScalarFieldTheory<E>, ScalarFieldTheory<E>

public interface ScalarTheory<S extends Scalar<S>>
extends SizeableScalarTheory<S,S>

Since:

0.4

Author:

Michiel Meeuwissen

Field Summary

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	absSignum(S e)
default void	implementsScalar(S e1)

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.ComparableTheory

compareToEqualsDatapoints3, compareToIsAntiCommutative, compareToIsTransitiveBigger, compareToIsTransitiveEquals, compareToIsTransitiveSmaller, compareToNull, equalsConsistentWithComparable

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

datapoints, elements, getLogger, setupForAll

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

orderedTransitive, orderedTransitiveImpl

Methods inherited from interface org.meeuw.theories.numbers.SizeableScalarTheory

bigDecimalValue, compareTo, compareToConsistentWithEquals, floatValues, implementsSizeableScalar, integerValues, isFinite, isNaN, ltegte, ltgt

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

abs

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

orderedAntisymmetric, orderedReflexive, orderedStronglyConnected, strictOrderedTransitive

Method Details

implementsScalar

@Property
default void implementsScalar(@ForAll("elements")
 S e1)

absSignum

@Property
default void absSignum(@ForAll("elements")
 S e)