| <*> | 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 |