Next: , Previous: , Up: Unions of Number Types   [Contents][Index]


63.3.8 The category ‘nonarchimedean

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.

Function: nonarchimedeanp object

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