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

Interface CompleteScalarFieldTheory<E extends CompleteScalarFieldElement<E>>

All Superinterfaces:
AdditiveAbelianGroupTheory<E>, AdditiveAbelianSemiGroupTheory<E>, AdditiveGroupTheory<E>, AdditiveMonoidTheory<E>, AdditiveSemiGroupTheory<E>, AlgebraicStructureTheory<E>, BasicObjectTheory<E>, ComparableTheory<E>, CompleteFieldTheory<E>, DivisibleGroupTheory<E>, DivisionRingTheory<E>, ElementTheory<E>, FieldTheory<E>, GroupTheory<E>, MagmaTheory<E>, MultiplicativeAbelianGroupTheory<E>, MultiplicativeAbelianSemiGroupTheory<E>, MultiplicativeGroupTheory<E>, MultiplicativeMonoidTheory<E>, MultiplicativeSemiGroupTheory<E>, OrderedTheory<E>, RingTheory<E>, RngTheory<E>, ScalarTheory<E>, SizeableScalarTheory<E,E>, SizeableTheory<E,E>, StrictlyOrderedTheory<E>
public interface CompleteScalarFieldTheory<E extends CompleteScalarFieldElement<E>> extends CompleteFieldTheory<E>, ScalarTheory<E>
Since:
0.4
Author:
Michiel Meeuwissen

  • Method Details

    • sqrt

      @Property default void sqrt(@ForAll("elements") E e)

    • sin

      @Property default void sin(@ForAll("elements") E e)

    • cos

      @Property default void cos(@ForAll("elements") E e)

    • pow

      @Property default void pow(@ForAll("elements") E e, @ForAll("elements") E exponent)