Uses of Interface
org.meeuw.theories.abstractalgebra.MultiplicativeMonoidTheory
Packages that use MultiplicativeMonoidTheory
-
Uses of MultiplicativeMonoidTheory in org.meeuw.theories.abstractalgebra
Subinterfaces of MultiplicativeMonoidTheory in org.meeuw.theories.abstractalgebraModifier and TypeInterfaceDescriptioninterfaceAbelianRingTheory<E extends AbelianRingElement<E>>interfaceCompleteFieldTheory<E extends CompleteFieldElement<E>>interfaceCompleteScalarFieldTheory<E extends CompleteScalarFieldElement<E>>interfaceDivisibleGroupTheory<E extends DivisibleGroupElement<E>>interfaceDivisionRingTheory<E extends DivisionRingElement<E>>interfaceFieldTheory<E extends FieldElement<E>>interfaceMultiplicativeAbelianGroupTheory<E extends MultiplicativeGroupElement<E>>interfaceMultiplicativeGroupTheory<E extends MultiplicativeGroupElement<E>>interfaceRingTheory<E extends RingElement<E>>interfaceScalarFieldTheory<E extends ScalarFieldElement<E>>interfaceVectorSpaceTheory<V extends Vector<V,S>, S extends ScalarFieldElement<S>>