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

64.3.7 The category ‘archimedean’

Deductively, the category of archimedeans contains all numbers which do have an archimedean valuation. Inductively, the category of archimedeans is the union of reals, rationals, complices and quaternions.

The category's predicate is archimedeanp.

— Function: archimedeanp object

Return t if object is a number with an archimedean valuation, nil otherwise. 

     (archimedeanp 0)
          ⇒ t
     (archimedeanp 1/2)
          ⇒ t
     (archimedeanp 1.2)
          ⇒ t
     (archimedeanp pi)
          ⇒ t
     (archimedeanp (sqrt -2))
          ⇒ t