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 |