SET-PRINT-RADIX

control printing of the radix for numbers
Major Section:  IO

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 !>