Next: Category algebraic, Previous: Category archimedean, Up: Unions of Number Types [Contents][Index]
Deductively, the category of non-archimedeans contains all numbers which do not have an archimedean valuation – hence this category also holds numbers with trivial valuation.
Currently, only residue classes are non-archimedeans for their only possible valuation is the trival one (which is not archimedean).
The category’s predicate is nonarchimedeanp
.
Return t
if object is a number with an non-archimedean
valuation, nil
otherwise.
(nonarchimedeanp 0) ⇒ nil (nonarchimedeanp 1/2) ⇒ nil (nonarchimedeanp 1.2) ⇒ nil (nonarchimedeanp 12+121Z) ⇒ t