Index - R
R | Algebra.TypeChar.Char |
reduce | Algebra.Structures.FieldOfFractions |
Ring | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Z, Algebra.Structures.Field |
R_ | Algebra.TypeChar.Char |
constructive-algebra-0.1.4: A library of constructive algebra.