Index
| <*> | 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 |
| BezoutDomain | Algebra.Structures.BezoutDomain |
| CommutativeRing | Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
| d | Algebra.Structures.EuclideanDomain |
| 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 |
| 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 |
| lcmE | Algebra.Structures.EuclideanDomain |
| member | Algebra.Structures.StronglyDiscrete |
| modulo | Algebra.Structures.EuclideanDomain |
| mulId | Algebra.Ideal |
| 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 |
| 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 |
| propRing | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
| 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 |
| 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 |
| Z | Algebra.Z |
| zero | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Z, Algebra.Structures.Field |
| zeroIdeal | Algebra.Ideal |
| zeroIdealWitnesses | Algebra.Ideal |