Contents:

• AbelianGroup
• AbelianMonoid
• AbelianMonoidRing
• AbelianProductCategory
• AbelianSemiGroup
• additiveValuation
• Aggregate
• Algebra
• AlgebraicallyClosedField
• AlgebraicallyClosedFunctionSpace
• Approximate
• arbitraryExponent
• arbitraryPrecision
• ArcHyperbolicFunctionCategory
• ArcTrigonometricFunctionCategory
• AssociationListAggregate
• BagAggregate
• BasicType
• Bialgebra
• BiCPO
• BiModule
• BinaryRecursiveAggregate
• BinaryTreeCategory
• BitAggregate
• BoundedDistributiveLattice
• BoundedJoinSemilattice
• BoundedLattice
• BoundedMeetSemilattice
• CachableSet
• CancellationAbelianMonoid
• Canonical
• canonicalsClosed
• canonicalUnitNormal
• CharacteristicNonZero
• CharacteristicZero
• Coalgebra
• CoDcpo
• CoercibleFrom
• CoercibleTo
• Collection
• CombinatorialFunctionCategory
• CombinatorialOpsCategory
• CommutativeRing
• CommutativeStar
• Comparable
• ComplexCategory
• ConvertibleFrom
• ConvertibleTo
• Dcpo
• DequeueAggregate
• Dictionary
• DictionaryOperations
• DifferentialExtension
• DifferentialPolynomialCategory
• DifferentialRing
• DifferentialVariableCategory
• DirectProductCategory
• DistributionCategory
• DistributiveLattice
• DivisionRing
• DoublyLinkedAggregate
• ElementaryFunctionCategory
• Eltable
• EltableAggregate
• EntireRing
• EuclideanDomain
• Evalable
• ExpressionSpace
• ExpressionSpace2
• ExtensibleLinearAggregate
• ExtensionField
• FacetCategory
• Field
• FieldOfPrimeCharacteristic
• FileCategory
• FileNameCategory
• Finite
• FiniteAbelianMonoidRing
• finiteAggregate
• FiniteAlgebraicExtensionField
• FiniteDivisorCategory
• FiniteFieldCategory
• FiniteGraph
• FiniteGroup
• FiniteLinearAggregate
• FinitelyGenerated
• FiniteRankAlgebra
• FiniteRankNonAssociativeAlgebra
• FiniteSetAggregate
• FloatingPointSystem
• FormatterCategory
• FortranFunctionCategory
• FortranMachineTypeCategory
• FortranMatrixCategory
• FortranMatrixFunctionCategory
• FortranProgramCategory
• FortranVectorCategory
• FortranVectorFunctionCategory
• FramedAlgebra
• FramedModule
• FramedNonAssociativeAlgebra
• FreeLieAlgebra
• FreeModuleCategory
• FullyEvalableOver
• FullyLinearlyExplicitOver
• FullyPatternMatchable
• FullyRetractableTo
• FunctionFieldCategory
• FunctionSpace
• FunctionSpace2
• GcdDomain
• GradedAlgebra
• GradedModule
• Group
• Hashable
• HomogeneousAggregate
• HopfAlgebra
• HyperbolicFunctionCategory
• IndexedAggregate
• IndexedDirectProductCategory
• IndexedProductCategory
• InnerEvalable
• IntegerNumberSystem
• IntegralDomain
• IntervalCategory
• JetBundleBaseFunctionCategory
• JetBundleCategory
• JetBundleFunctionCategory
• JoinSemilattice
• KernelCategory
• KeyedDictionary
• Lattice
• lazyRepresentation
• LazyStreamAggregate
• LeftAlgebra
• LeftModule
• LeftOreRing
• LieAlgebra
• LinearAggregate
• LinearlyExplicitOver
• LinearOrdinaryDifferentialOperatorCategory
• LiouvillianFunctionCategory
• ListAggregate
• Logic
• Magma
• MagmaWithUnit
• MatrixCategory
• MaybeSkewPolynomialCategory
• MeetSemilattice
• ModularAlgebraicGcdOperations
• ModularEvaluationCategory
• ModularFactorizationOperations
• Module
• MonogenicAlgebra
• Monoid
• MonoidRingCategory
• MultiDictionary
• multiplicativeValuation
• MultisetAggregate
• MultivariateSkewPolynomialCategory
• MultivariateTaylorSeriesCategory
• NonAssociativeAlgebra
• NonAssociativeRing
• NonAssociativeRng
• NonAssociativeSemiRing
• NonAssociativeSemiRng
• NormalizedTriangularSetCategory
• noZeroDivisors
• OctonionCategory
• OneDimensionalArrayAggregate
• OpenMath
• OrderedAbelianGroup
• OrderedAbelianMonoid
• OrderedAbelianMonoidSup
• OrderedAbelianSemiGroup
• OrderedCancellationAbelianMonoid
• OrderedFinite
• OrderedIntegralDomain
• OrderedMonoid
• OrderedMultisetAggregate
• OrderedRing
• OrderedSemiGroup
• OrderedSet
• OutputFormatterCategory
• PAdicIntegerCategory
• PartialDifferentialRing
• PartialOrder
• PartialTranscendentalFunctions
• Patternable
• PatternMatchable
• PermutationCategory
• PlottablePlaneCurveCategory
• PlottableSpaceCurveCategory
• PointCategory
• PolynomialCategory
• PolynomialFactorizationExplicit
• PolynomialSetCategory
• Poset
• PowerSeriesCategory
• Preorder
• PrimitiveFunctionCategory
• PrincipalIdealDomain
• PriorityQueueAggregate
• QuaternionCategory
• QueueAggregate
• QuotientFieldCategory
• RadicalCategory
• RealClosedField
• RealConstant
• RealNumberSystem
• RealRootCharacterizationCategory
• RectangularMatrixCategory
• RecursiveAggregate
• RecursivePolynomialCategory
• RegularTriangularSetCategory
• RetractableFrom
• RetractableTo
• RightModule
• Ring
• Rng
• SegmentCategory
• SegmentExpansionCategory
• SemiGroup
• SemiRing
• SemiRng
• SequenceCategory
• SetAggregate
• SetCategory
• SExpressionCategory
• shallowlyMutable
• SolvableSkewPolynomialCategory
• SpecialFunctionCategory
• SPointCategory
• SquareFreeNormalizedTriangularSetCategory
• SquareFreeRegularTriangularSetCategory
• SquareMatrixCategory
• StackAggregate
• StepThrough
• StreamAggregate
• StringAggregate
• StringCategory
• TableAggregate
• TaylorSeriesExpansion
• TensorPowerCategory
• TensorProductCategory
• TensorProductProperty
• ThreeSpaceCategory
• TranscendentalFunctionCategory
• TriangularSetCategory
• TrigonometricFunctionCategory
• TwoDimensionalArrayCategory
• TwoSidedRecip
• Type
• UnaryRecursiveAggregate
• UniqueFactorizationDomain
• unitsKnown
• UnivariateLaurentSeriesCategory
• UnivariateLaurentSeriesConstructorCategory
• UnivariatePolynomialCategory
• UnivariatePowerSeriesCategory
• UnivariatePuiseuxSeriesCategory
• UnivariatePuiseuxSeriesConstructorCategory
• UnivariateSeriesWithRationalExponents
• UnivariateSkewPolynomialCategory
• UnivariateTaylorSeriesCategory
• VarCat
• VariablesCommuteWithCoefficients
• VectorCategory
• XAlgebra
• XFreeAlgebra
• XPolynomialsCat