		Search-engine friendly clone of the ACL2 documentation.

Set-print-radix

Control printing of the radix for numbers

Also see set-print-base-radix for a nice combined use of set-print-base and set-print-radix.

See set-print-base for background on how the print base affects the printing of numbers. set-print-radix affects whether a radix indicated when a number is printed. The radix is not indicated by default, or after evaluating (set-print-radix nil state). But if set-print-radix is called with a first argument that evaluates to a nonnil value — for example, (set-print-radix t state) — then the radix is shown when printing. (This behavior is consistent with the handling of Common Lisp global *print-radix*.) The following log illustrates how this works.

ACL2 !>(list 25 25/3)
(25 25/3)
ACL2 !>(set-print-base 16 state)
<state>
ACL2 !>(list 25 25/3)
(19 19/3)
ACL2 !>(set-print-radix t state)
<state>
ACL2 !>(list 25 25/3)
(#x19 #x19/3)
ACL2 !>(set-print-base 10 state)
<state>
ACL2 !>(list 25 25/3)
(25. #10r25/3)
ACL2 !>(set-print-radix nil state)
<state>
ACL2 !>(list 25 25/3)
(25 25/3)
ACL2 !>