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


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