!!! | Algebra.Matrix |
%| | Algebra.Structures.ExplicitUnits |
*> | Algebra.Structures.Module |
<* | Algebra.Structures.Module |
<*> | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
<+> | |
1 (Function) | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
2 (Function) | Algebra.Structures.Group |
<-> | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
</> | Algebra.Structures.Field |
<^> | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
A | Algebra.TypeChar.Char |
AbelianGroup | Algebra.Structures.Group |
addCol | Algebra.Matrix |
addId | Algebra.Ideal |
addM | Algebra.Matrix |
addRow | Algebra.Matrix |
A_ | Algebra.TypeChar.Char |
B | Algebra.TypeChar.Char |
bezout | Algebra.Structures.BezoutDomain |
BezoutDomain | Algebra.Structures.BezoutDomain |
B_ | Algebra.TypeChar.Char |
C | |
1 (Type/Class) | Algebra.TypeChar.Char |
2 (Data Constructor) | Algebra.EllipticCurve |
calcUVW | Algebra.Structures.PruferDomain |
calcUVWT | Algebra.Structures.PruferDomain |
calcUVW_B | Algebra.Structures.PruferDomain |
Coherent | Algebra.Structures.Coherent |
CommutativeRing | Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
computePLM_B | Algebra.PLM |
computePLM_PD | Algebra.Structures.PruferDomain |
cont | Algebra.UPoly |
crt | Algebra.Structures.BezoutDomain |
C_ | Algebra.TypeChar.Char |
D | Algebra.TypeChar.Char |
deg | Algebra.UPoly |
denominator | Algebra.Structures.FieldOfFractions |
deriv | Algebra.UPoly |
dimension | Algebra.Matrix |
divides | Algebra.Structures.EuclideanDomain |
D_ | Algebra.TypeChar.Char |
E | Algebra.TypeChar.Char |
EllipticCurve | Algebra.EllipticCurve |
euclidAlg | Algebra.Structures.EuclideanDomain |
EuclideanDomain | Algebra.Structures.EuclideanDomain |
eval | Algebra.Ideal |
ExplicitUnits | Algebra.Structures.ExplicitUnits |
extendedEuclidAlg | Algebra.Structures.EuclideanDomain |
E_ | Algebra.TypeChar.Char |
F | |
1 (Type/Class) | Algebra.TypeChar.Char |
2 (Data Constructor) | Algebra.Structures.FieldOfFractions |
Field | Algebra.Structures.Field |
FieldOfFractions | Algebra.Structures.FieldOfFractions |
FieldOfRationalFunctions | Algebra.FieldOfRationalFunctions |
findPivot | Algebra.Matrix |
forwardElim | Algebra.Matrix |
fromFieldOfFractions | Algebra.Structures.FieldOfFractions |
fromId | Algebra.Ideal |
fromUVWTtoUVW | Algebra.Structures.PruferDomain |
F_ | Algebra.TypeChar.Char |
G | Algebra.TypeChar.Char |
gaussElim | Algebra.Matrix |
gaussElimCorrect | Algebra.Matrix |
gaussLemma | Algebra.UPoly |
gcd' | Algebra.Structures.GCDDomain |
gcdB | Algebra.Structures.BezoutDomain |
GCDDomain | Algebra.Structures.GCDDomain |
gcdUPolyWitness | Algebra.UPoly |
genEuclidAlg | Algebra.Structures.EuclideanDomain |
genExtendedEuclidAlg | Algebra.Structures.EuclideanDomain |
genLcmE | Algebra.Structures.EuclideanDomain |
ggcd | Algebra.Structures.GCDDomain |
Group | Algebra.Structures.Group |
G_ | Algebra.TypeChar.Char |
H | Algebra.TypeChar.Char |
H_ | Algebra.TypeChar.Char |
I | Algebra.TypeChar.Char |
Id | Algebra.Ideal |
Ideal | Algebra.Ideal |
identity | Algebra.Matrix |
IntegralDomain | Algebra.Structures.IntegralDomain, Algebra.Structures.Field, Algebra.Z |
intersectionB | Algebra.Structures.BezoutDomain |
intersectionBWitness | Algebra.Structures.BezoutDomain |
intersectionPD | Algebra.Structures.PruferDomain |
intersectionPDWitness | Algebra.Structures.PruferDomain |
inv | Algebra.Structures.Field |
invertIdeal | Algebra.Structures.PruferDomain |
isPrimitive | Algebra.UPoly |
isPrincipal | Algebra.Ideal |
isSameIdeal | Algebra.Ideal |
isSolution | Algebra.Structures.Coherent |
isSquareMatrix | Algebra.Matrix |
isUnit | Algebra.Structures.ExplicitUnits |
I_ | Algebra.TypeChar.Char |
J | Algebra.TypeChar.Char |
J_ | Algebra.TypeChar.Char |
K | Algebra.TypeChar.Char |
K_ | Algebra.TypeChar.Char |
L | Algebra.TypeChar.Char |
lcmE | Algebra.Structures.EuclideanDomain |
lengthVec | Algebra.Matrix |
lt | Algebra.UPoly |
L_ | Algebra.TypeChar.Char |
M | |
1 (Type/Class) | Algebra.TypeChar.Char |
2 (Data Constructor) | Algebra.Matrix |
Matrix | Algebra.Matrix |
matrix | Algebra.Matrix |
matrixToVector | Algebra.Matrix |
member | Algebra.Structures.StronglyDiscrete |
Module | Algebra.Structures.Module |
modulo | Algebra.Structures.EuclideanDomain |
monomial | Algebra.UPoly |
mulId | Algebra.Ideal |
mulM | Algebra.Matrix |
M_ | Algebra.TypeChar.Char |
N | Algebra.TypeChar.Char |
neg | |
1 (Function) | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
2 (Function) | Algebra.Structures.Group |
norm | Algebra.Structures.EuclideanDomain |
numerator | Algebra.Structures.FieldOfFractions |
N_ | Algebra.TypeChar.Char |
O | Algebra.TypeChar.Char |
one | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
O_ | Algebra.TypeChar.Char |
P | Algebra.TypeChar.Char |
pivot | Algebra.Matrix |
productRing | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
propAbelianGroup | Algebra.Structures.Group |
propAddAssoc | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
propAddComm | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
propAddIdentity | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
propAddInv | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
propAssoc | Algebra.Structures.Group |
propBezoutDomain | Algebra.Structures.BezoutDomain |
propCalcUVW | Algebra.Structures.PruferDomain |
propCalcUVWT | Algebra.Structures.PruferDomain |
propCoherent | Algebra.Structures.Coherent |
propComm | Algebra.Structures.Group |
propCommutativeRing | Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
propEuclideanDomain | Algebra.Structures.EuclideanDomain |
propField | Algebra.Structures.Field |
propGCD | Algebra.Structures.GCDDomain |
propGCDDomain | Algebra.Structures.GCDDomain |
propGroup | Algebra.Structures.Group |
propId | Algebra.Structures.Group |
propIntegralDomain | Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
propInv | Algebra.Structures.Group |
propIsSameIdeal | Algebra.Structures.BezoutDomain |
propLeftDist | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
propLeftIdentity | Algebra.Matrix |
propModule | Algebra.Structures.Module |
propMulAssoc | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
propMulComm | Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
propMulIdentity | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
propMulInv | Algebra.Structures.Field |
propNorm | Algebra.Structures.EuclideanDomain |
propPLM | Algebra.PLM |
propPruferDomain | Algebra.Structures.PruferDomain |
propQuotRem | Algebra.Structures.EuclideanDomain |
propReduce | Algebra.Structures.FieldOfFractions |
propRightDist | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
propRightIdentity | Algebra.Matrix |
propRing | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
propScalarAdd | Algebra.Structures.Module |
propScalarAssoc | Algebra.Structures.Module |
propScalarMul | Algebra.Structures.Module |
propSolveGeneral | Algebra.Structures.Coherent |
propSolveGeneralEquation | Algebra.Structures.Coherent |
propSolveMxN | Algebra.Structures.Coherent |
propStronglyDiscrete | Algebra.Structures.StronglyDiscrete |
propToPrimitive | Algebra.UPoly |
propToPrincipal | Algebra.Structures.BezoutDomain |
propUnit | Algebra.Structures.ExplicitUnits |
propZeroDivisors | Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
PruferDomain | Algebra.Structures.PruferDomain |
P_ | Algebra.TypeChar.Char |
Q | |
1 (Type/Class) | Algebra.TypeChar.Char |
2 (Type/Class) | Algebra.Q |
quotient | Algebra.Structures.EuclideanDomain |
quotientRemainder | Algebra.Structures.EuclideanDomain |
QX | Algebra.FieldOfRationalFunctions |
Qx | Algebra.UPoly |
Q_ | Algebra.TypeChar.Char |
R | Algebra.TypeChar.Char |
reduce | Algebra.Structures.FieldOfFractions |
Ring | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
R_ | Algebra.TypeChar.Char |
S | Algebra.TypeChar.Char |
scale | Algebra.Matrix |
solve | Algebra.Structures.Coherent |
solveB | Algebra.Structures.BezoutDomain |
solveGeneral | Algebra.Structures.Coherent |
solveGeneralEquation | Algebra.Structures.Coherent |
solveMxN | Algebra.Structures.Coherent |
solvePD | Algebra.Structures.PruferDomain |
solveWithIntersection | Algebra.Structures.Coherent |
sqfr | Algebra.UPoly |
sqfrDec | Algebra.UPoly |
StronglyDiscrete | Algebra.Structures.StronglyDiscrete |
subCol | Algebra.Matrix |
subRow | Algebra.Matrix |
sumGroup | Algebra.Structures.Group |
sumRing | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
swap | Algebra.Matrix |
S_ | Algebra.TypeChar.Char |
T | Algebra.TypeChar.Char |
toFieldOfFractions | Algebra.Structures.FieldOfFractions |
toPrimitive | Algebra.UPoly |
toPrincipal | Algebra.Structures.BezoutDomain |
toQ | Algebra.Q |
toQX | Algebra.FieldOfRationalFunctions |
toQx | Algebra.FieldOfRationalFunctions |
toUPoly | Algebra.UPoly |
toZ | Algebra.Q |
transpose | Algebra.Matrix |
T_ | Algebra.TypeChar.Char |
U | Algebra.TypeChar.Char |
unit | Algebra.Structures.ExplicitUnits |
unM | Algebra.Matrix |
unMVec | Algebra.Matrix |
unVec | Algebra.Matrix |
UP | Algebra.UPoly |
UPoly | Algebra.UPoly |
U_ | Algebra.TypeChar.Char |
V | Algebra.TypeChar.Char |
Vec | Algebra.Matrix |
Vector | Algebra.Matrix |
vectorToMatrix | Algebra.Matrix |
V_ | Algebra.TypeChar.Char |
W | Algebra.TypeChar.Char |
W_ | Algebra.TypeChar.Char |
X | Algebra.TypeChar.Char |
x | Algebra.UPoly |
X_ | Algebra.TypeChar.Char |
Y | Algebra.TypeChar.Char |
Y_ | Algebra.TypeChar.Char |
Z | |
1 (Type/Class) | Algebra.TypeChar.Char |
2 (Type/Class) | Algebra.Z |
Z3 | Algebra.Zn |
zero | |
1 (Function) | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
2 (Function) | Algebra.Structures.Group |
zeroIdeal | Algebra.Ideal |
zeroIdealWitnesses | Algebra.Ideal |
Zn | |
1 (Type/Class) | Algebra.Zn |
2 (Data Constructor) | Algebra.Zn |
ZSqrt5 | |
1 (Type/Class) | Algebra.ZSqrt5 |
2 (Data Constructor) | Algebra.ZSqrt5 |
Z_ | Algebra.TypeChar.Char |
~= | Algebra.Structures.ExplicitUnits |