Next: AbelianGroup Up: sumitdoc Previous: Reference Manual Contents Index

Basic Categories

Subsections

AbelianGroup
AbelianMonoid
- +
- add!
- zero?
Algebra
CharacteristicZero
CommutativeRing
- canonicalUnitNormal
- divideBy
- divDiffProd
- divSumProd
- exactQuotient
- karatsubaCutoff
- quotient
- reciprocal
- unitNormal
- unit?
DecomposableRing
- provablyIrreducible?
- someFactors
DifferentialExtension
- lift
DifferentialRing
- derivation
- differentiate
EuclideanDomain
- diophantine
- divide,quo,rem
- divide!
- euclid
- euclideanSize
- extendedEuclidean
- remainder!
Field
FiniteField
FiniteCharacteristic
- pthPower
FiniteSet
- size
- apply
- index
- lookup
- random
GcdDomain
- gcd
- gcd!
- gcdquo
- lcm
Group
- /
- inv
IntegerCategory
- binomial
- integer
IntegralDomain
- order
- orderquo
LinearArithmeticType
- coerce
LinearCombinationType
- add!
- times!
Module
Monoid
- one?
- times!
NonCommutativeIntegralDomain
- leftExactQuotient
- rightExactQuotient
Parsable
- eval
QRing
- inv
Ring
- characteristic
- coerce
- factorial
- random
Specializable
- specialization
SumitType
- extree
- relativeSize

Manuel Bronstein 2000-12-13