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

Interface CompleteFieldTheory<E extends CompleteFieldElement<E>>

All Superinterfaces:
AdditiveAbelianGroupTheory<E>, AdditiveAbelianSemiGroupTheory<E>, AdditiveGroupTheory<E>, AdditiveMonoidTheory<E>, AdditiveSemiGroupTheory<E>, AlgebraicStructureTheory<E>, BasicObjectTheory<E>, DivisibleGroupTheory<E>, DivisionRingTheory<E>, ElementTheory<E>, FieldTheory<E>, GroupTheory<E>, MagmaTheory<E>, MultiplicativeAbelianGroupTheory<E>, MultiplicativeAbelianSemiGroupTheory<E>, MultiplicativeGroupTheory<E>, MultiplicativeMonoidTheory<E>, MultiplicativeSemiGroupTheory<E>, RingTheory<E>, RngTheory<E>
All Known Subinterfaces:
CompleteScalarFieldTheory<E>
public interface CompleteFieldTheory<E extends CompleteFieldElement<E>> extends FieldTheory<E>
Since:
0.4
Author:
Michiel Meeuwissen

  • Method Details

    • getUnary

      @Property default void getUnary(@ForAll("structure") CompleteField<E> struct)

    • getOperators

      @Property default void getOperators(@ForAll("structure") CompleteField<E> struct)

    • lnAndPow

      @Property default void lnAndPow(@ForAll("elements") E a, @ForAll("elements") E b)

    • ePowZero

      @Property default void ePowZero(@ForAll("structure") CompleteField<E> struct)

    • sinPi

      @Property default void sinPi(@ForAll("structure") CompleteField<E> struct)

    • cosPi

      @Property default void cosPi(@ForAll("structure") CompleteField<E> struct)

    • goldenRatio

      @Property default void goldenRatio(@ForAll("structure") CompleteField<E> struct)