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

Interface MultiplicativeMonoidTheory<E extends MultiplicativeMonoidElement<E>>

All Superinterfaces:
AlgebraicStructureTheory<E>, BasicObjectTheory<E>, ElementTheory<E>, MagmaTheory<E>, MultiplicativeSemiGroupTheory<E>
All Known Subinterfaces:
AbelianRingTheory<E>, CompleteFieldTheory<E>, CompleteScalarFieldTheory<E>, DivisibleGroupTheory<E>, DivisionRingTheory<E>, FieldTheory<E>, MultiplicativeAbelianGroupTheory<E>, MultiplicativeGroupTheory<E>, RingTheory<E>, ScalarFieldTheory<E>, VectorSpaceTheory<V,S>
public interface MultiplicativeMonoidTheory<E extends MultiplicativeMonoidElement<E>> extends MultiplicativeSemiGroupTheory<E>
Since:
0.4
Author:
Michiel Meeuwissen

  • Method Details