Categories¶
Contents:
- AbelianGroup
- AbelianMonoid
- AbelianMonoidRing(R, E)
- AbelianProductCategory A
- AbelianSemiGroup
- additiveValuation
- Aggregate
- AIntervalCategory R
- Algebra R
- AlgebraicallyClosedField
- AlgebraicallyClosedFunctionSpace R
- Approximate
- arbitraryExponent
- arbitraryPrecision
- ArcHyperbolicFunctionCategory
- ArcTrigonometricFunctionCategory
- AssociationListAggregate(Key, Entry)
- BagAggregate S
- BasicType
- Bialgebra(R, MxM)
- BiCPO S
- BiModule(R, S)
- BinaryRecursiveAggregate S
- BinaryTreeCategory S
- BitAggregate
- BoundedDistributiveLattice
- BoundedJoinSemilattice
- BoundedLattice
- BoundedMeetSemilattice
- CachableSet
- CancellationAbelianMonoid
- Canonical
- canonicalsClosed
- canonicalUnitNormal
- CharacteristicNonZero
- CharacteristicZero
- Coalgebra(R, MxM)
- CoDcpo S
- CoercibleFrom S
- CoercibleTo S
- Collection S
- CombinatorialFunctionCategory
- CombinatorialOpsCategory
- CommutativeRing
- CommutativeStar
- Comparable
- ComplexCategory R
- ConvertibleFrom S
- ConvertibleTo S
- Dcpo S
- DequeueAggregate S
- Dictionary S
- DictionaryOperations S
- DifferentialExtension R
- DifferentialPolynomialCategory(R, S, V, E)
- DifferentialRing
- DifferentialVariableCategory S
- DirectProductCategory(dim, R)
- DistributionCategory R
- DistributiveLattice
- DivisionRing
- DoublyLinkedAggregate S
- ElementaryFunctionCategory
- Eltable(D, I)
- EltableAggregate(Dom, Im)
- EntireRing
- EuclideanDomain
- Evalable R
- ExpressionSpace
- ExpressionSpace2 K
- ExtensibleLinearAggregate S
- ExtensionField F
- FacetCategory
- Field
- FieldOfPrimeCharacteristic
- FileCategory(Name, S)
- FileNameCategory
- Finite
- FiniteAbelianMonoidRing(R, E)
- finiteAggregate
- FiniteAlgebraicExtensionField F
- FiniteDivisorCategory(F, UP, UPUP, R)
- FiniteFieldCategory
- FiniteGraph S
- FiniteGroup
- FiniteLinearAggregate S
- FinitelyGenerated
- FiniteRankAlgebra(R, UP)
- FiniteRankNonAssociativeAlgebra R
- FiniteSetAggregate S
- FloatingPointSystem
- FormatterCategory
- FortranFunctionCategory
- FortranMachineTypeCategory
- FortranMatrixCategory
- FortranMatrixFunctionCategory
- FortranProgramCategory
- FortranVectorCategory
- FortranVectorFunctionCategory
- FramedAlgebra(R, UP)
- FramedModule R
- FramedNonAssociativeAlgebra R
- FreeLieAlgebra(VarSet, R)
- FreeModuleCategory(R, S)
- FullyEvalableOver R
- FullyLinearlyExplicitOver R
- FullyPatternMatchable R
- FullyRetractableTo S
- FunctionFieldCategory(F, UP, UPUP)
- FunctionSpace R
- FunctionSpace2(R, K)
- GcdDomain
- GradedAlgebra(R, E)
- GradedModule(R, E)
- Group
- Hashable
- HomogeneousAggregate S
- HopfAlgebra(R, MxM)
- HyperbolicFunctionCategory
- IndexedAggregate(Index, Entry)
- IndexedDirectProductCategory(A, S)
- IndexedProductCategory(A, S)
- InnerEvalable(A, B)
- IntegerNumberSystem
- IntegralDomain
- IntervalCategory R
- JetBundleBaseFunctionCategory JB
- JetBundleCategory
- JetBundleFunctionCategory JB
- JetBundleOperationsCategory
- JLArbitraryPrecision
- JLCommutativeRing
- JLMachineFloat
- JLMachineType
- JLMatrixCategory(R, Row, Col)
- JLObjectAggregate
- JLObjectRing
- JLObjectType
- JLRing
- JLType
- JLVectorCategory JT
- JoinSemilattice
- KernelCategory S
- KeyedDictionary(Key, Entry)
- Lattice
- lazyRepresentation
- LazyStreamAggregate S
- LeftAlgebra R
- LeftModule R
- LeftOreRing
- LieAlgebra R
- LinearAggregate S
- LinearlyExplicitOver R
- LinearOrdinaryDifferentialOperatorCategory A
- LiouvillianFunctionCategory
- ListAggregate S
- Logic
- Magma
- MagmaWithUnit
- MatrixCategory(R, Row, Col)
- MatrixOperationsCategory(R, Row, Col)
- MaybeSkewPolynomialCategory(R, E, VarSet)
- MeetSemilattice
- ModularAlgebraicGcdOperations(MP, MPT, MD)
- ModularEvaluationCategory(PT, MP)
- ModularFactorizationOperations(PA, MMT, MD, PMD)
- Module R
- MonogenicAlgebra(R, UP)
- Monoid
- MonoidRingCategory(R, M)
- MultiDictionary S
- multiplicativeValuation
- MultisetAggregate S
- MultivariateSkewPolynomialCategory(R, E, Var)
- MultivariateTaylorSeriesCategory(Coef, Var)
- NMCommutativeRing
- NMField
- NMPadicNumberCategory p
- NMRing
- NMType
- NonAssociativeAlgebra R
- NonAssociativeRing
- NonAssociativeRng
- NonAssociativeSemiRing
- NonAssociativeSemiRng
- NormalizedTriangularSetCategory(R, E, V, P)
- noZeroDivisors
- OctonionCategory R
- OneDimensionalArrayAggregate S
- OpenMath
- OrderedAbelianGroup
- OrderedAbelianMonoid
- OrderedAbelianMonoidSup
- OrderedAbelianSemiGroup
- OrderedCancellationAbelianMonoid
- OrderedFinite
- OrderedIntegralDomain
- OrderedMonoid
- OrderedMultisetAggregate S
- OrderedRing
- OrderedSemiGroup
- OrderedSet
- OutputFormatterCategory
- PAdicIntegerCategory p
- PartialDifferentialRing S
- PartialOrder
- PartialTranscendentalFunctions K
- Patternable R
- PatternMatchable S
- PermutationCategory S
- PlottablePlaneCurveCategory
- PlottableSpaceCurveCategory
- PointCategory R
- PolynomialCategory(R, E, VarSet)
- PolynomialFactorizationExplicit
- PolynomialSetCategory(R, E, VarSet, P)
- Poset S
- PowerSeriesCategory(Coef, Expon, Var)
- Preorder S
- PrimitiveFunctionCategory
- PrincipalIdealDomain
- PriorityQueueAggregate S
- QuaternionCategory R
- QueueAggregate S
- QuotientFieldCategory S
- RadicalCategory
- RealClosedField
- RealConstant
- RealNumberSystem
- RealRootCharacterizationCategory(TheField, ThePols)
- RectangularMatrixCategory(m, n, R, Row, Col)
- RecursiveAggregate S
- RecursivePolynomialCategory(R, E, V)
- RegularTriangularSetCategory(R, E, V, P)
- RetractableFrom S
- RetractableTo S
- RightModule R
- Ring
- Rng
- SegmentCategory S
- SegmentExpansionCategory(S, L)
- SemiGroup
- SemiRing
- SemiRng
- SequenceCategory R
- SetAggregate S
- SetCategory
- SExpressionCategory(Str, Sym, Int, Flt)
- shallowlyMutable
- SolvableSkewPolynomialCategory(R, Expon)
- SpecialFunctionCategory
- SPointCategory
- SquareFreeNormalizedTriangularSetCategory(R, E, V, P)
- SquareFreeRegularTriangularSetCategory(R, E, V, P)
- SquareMatrixCategory(ndim, R, Row, Col)
- StackAggregate S
- StepThrough
- StreamAggregate S
- StreamTaylorSeriesOperationsCategory(R, M)
- StringAggregate
- StringCategory
- TableAggregate(Key, Entry)
- TaylorSeriesExpansion(Coef, Expon, Var, PS, UTS)
- TensorPowerCategory(n, R, M)
- TensorProductCategory(R, M, N)
- TensorProductProperty(R, M, N, MxN, S)
- ThreeSpaceCategory R
- TranscendentalFunctionCategory
- TriangularSetCategory(R, E, V, P)
- TrigonometricFunctionCategory
- TwoDimensionalArrayCategory(R, Row, Col)
- TwoSidedRecip
- Type
- UnaryRecursiveAggregate S
- UniqueFactorizationDomain
- unitsKnown
- UnivariateLaurentSeriesCategory Coef
- UnivariateLaurentSeriesConstructorCategory(Coef, UTS)
- UnivariatePolynomialCategory R
- UnivariatePowerSeriesCategory(Coef, Expon)
- UnivariatePuiseuxSeriesCategory Coef
- UnivariatePuiseuxSeriesConstructorCategory(Coef, ULS)
- UnivariateSeriesWithRationalExponents(Coef, Expon)
- UnivariateSkewPolynomialCategory R
- UnivariateTaylorSeriesCategory Coef
- VarCat
- VariablesCommuteWithCoefficients
- VectorCategory R
- WSAggregate E
- WSNumber
- WSObject
- WSRing
- XAlgebra R
- XFreeAlgebra(vl, R)
- XPolynomialsCat(vl, R)