Next: , Previous: Category archimedean, Up: Unions of Number Types

64.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