<*> | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Z, Algebra.Structures.Field |
<+> | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Z, Algebra.Structures.Field |
<-> | 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 |
addId | Algebra.Ideal |
addM | Algebra.Matrix |
BezoutDomain | Algebra.Structures.BezoutDomain |
Coherent | Algebra.Structures.Coherent |
CommutativeRing | Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
computePLM_B | Algebra.PLM |
d | Algebra.Structures.EuclideanDomain |
dimension | Algebra.Matrix |
divides | Algebra.Structures.EuclideanDomain |
euclidAlg | Algebra.Structures.EuclideanDomain |
EuclideanDomain | Algebra.Structures.EuclideanDomain |
eval | Algebra.Ideal |
extendedEuclidAlg | Algebra.Structures.EuclideanDomain |
F | Algebra.Structures.FieldOfFractions |
Field | Algebra.Structures.Field |
FieldOfFractions | Algebra.Structures.FieldOfFractions |
fromFieldOfFractions | Algebra.Structures.FieldOfFractions |
fromId | Algebra.Ideal |
gcd' | Algebra.Structures.GCDDomain |
GCDDomain | Algebra.Structures.GCDDomain |
genEuclidAlg | Algebra.Structures.EuclideanDomain |
genExtendedEuclidAlg | Algebra.Structures.EuclideanDomain |
genLcmE | Algebra.Structures.EuclideanDomain |
Id | Algebra.Ideal |
Ideal | Algebra.Ideal |
identity | Algebra.Matrix |
IntegralDomain | Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
intersectionB | Algebra.Structures.BezoutDomain |
intersectionBWitness | Algebra.Structures.BezoutDomain |
inv | Algebra.Structures.Field |
isPrincipal | Algebra.Ideal |
isSameIdeal | Algebra.Ideal |
isSquareMatrix | Algebra.Matrix |
lcmE | Algebra.Structures.EuclideanDomain |
lengthVec | Algebra.Matrix |
M | Algebra.Matrix |
Matrix | Algebra.Matrix |
matrix | Algebra.Matrix |
matrixToVector | Algebra.Matrix |
member | Algebra.Structures.StronglyDiscrete |
modulo | Algebra.Structures.EuclideanDomain |
mulId | Algebra.Ideal |
mulM | Algebra.Matrix |
neg | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Z, Algebra.Structures.Field |
one | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Z, Algebra.Structures.Field |
productRing | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
propBezoutDomain | Algebra.Structures.BezoutDomain |
propCoherent | Algebra.Structures.Coherent |
propCommutativeRing | Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
propEuclideanDomain | Algebra.Structures.EuclideanDomain |
propField | Algebra.Structures.Field |
propGCDDomain | Algebra.Structures.GCDDomain |
propIntegralDomain | Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
propPLM | Algebra.PLM |
propRing | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
propSolveGeneral | Algebra.Structures.Coherent |
propSolveGeneralEquation | Algebra.Structures.Coherent |
propSolveMxN | Algebra.Structures.Coherent |
propStronglyDiscrete | Algebra.Structures.StronglyDiscrete |
Q | Algebra.Q |
quotient | Algebra.Structures.EuclideanDomain |
quotientRemainder | Algebra.Structures.EuclideanDomain |
reduce | Algebra.Structures.FieldOfFractions |
Ring | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Z, Algebra.Structures.Field |
solve | Algebra.Structures.Coherent |
solveB | Algebra.Structures.BezoutDomain |
solveGeneral | Algebra.Structures.Coherent |
solveGeneralEquation | Algebra.Structures.Coherent |
solveMxN | Algebra.Structures.Coherent |
solveWithIntersection | Algebra.Structures.Coherent |
StronglyDiscrete | Algebra.Structures.StronglyDiscrete |
sumRing | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
toFieldOfFractions | Algebra.Structures.FieldOfFractions |
toPrincipal | Algebra.Structures.BezoutDomain |
toQ | Algebra.Q |
toZ | Algebra.Q |
transpose | Algebra.Matrix |
unM | Algebra.Matrix |
unMVec | Algebra.Matrix |
unVec | Algebra.Matrix |
Vec | Algebra.Matrix |
Vector | Algebra.Matrix |
vectorToMatrix | Algebra.Matrix |
Z | Algebra.Z |
zero | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Z, Algebra.Structures.Field |
zeroIdeal | Algebra.Ideal |
zeroIdealWitnesses | Algebra.Ideal |