Package org.meeuw.theories.abstractalgebra
package org.meeuw.theories.abstractalgebra
-
ClassDescriptionAbelianRingTheory<E extends AbelianRingElement<E>>AdditiveAbelianGroupTheory<E extends AdditiveGroupElement<E>>AdditiveAbelianSemiGroupTheory<E extends AdditiveSemiGroupElement<E>>AdditiveGroupTheory<E extends AdditiveGroupElement<E>>AdditiveMonoidTheory<E extends AdditiveMonoidElement<E>>AdditiveSemiGroupTheory<E extends AdditiveSemiGroupElement<E>>AlgebraicStructureTheory<E extends AlgebraicElement<E>>CompleteFieldTheory<E extends CompleteFieldElement<E>>CompleteScalarFieldTheory<E extends CompleteScalarFieldElement<E>>DivisibleGroupTheory<E extends DivisibleGroupElement<E>>DivisionRingTheory<E extends DivisionRingElement<E>>The connection between
BasicObjectTheoryand algebra testing.FieldTheory<E extends FieldElement<E>>GroupTheory<E extends GroupElement<E>>MagmaTheory<E extends MagmaElement<E>>MultiplicativeAbelianGroupTheory<E extends MultiplicativeGroupElement<E>>MultiplicativeGroupTheory<E extends MultiplicativeGroupElement<E>>MultiplicativeMonoidTheory<E extends MultiplicativeMonoidElement<E>>MultiplicativeSemiGroupTheory<E extends MultiplicativeSemiGroupElement<E>>OrderedTheory<E extends StrictlyOrdered<E>>RingTheory<E extends RingElement<E>>RngTheory<E extends RngElement<E>>ScalarFieldTheory<E extends ScalarFieldElement<E>>SignedNumberTheory<E extends SignedNumber<E>>StrictlyOrderedTheory<E extends StrictlyOrdered<E>>UncertainDoubleTheory<E extends UncertainDouble<E>>