Next: Category nonarchimedean, Previous: Category complex, Up: Unions of Number Types [Contents][Index]
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
.
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