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