[Axiom-developer] mathml hex(10) patch

[Arthur Ralfs]

Tim, Waldek,

This patch is a band-aid for the hex(10) bug.
I think there are some deeper inconsistencies however.
Consider the following:

(17) -> radix(5/24,39)
                    ____
   (17)  0 . 8 4 34
                                                      Type: RadixExpansion 39
(18) -> radix(5/24,40)
                     _
   (18)  0 . 8 D
                                                      Type: RadixExpansion 40

why do we get letters in (18) but all digits in (17)?

(21) -> radix(5/24,43)
                 ____
   (21)  0 . 8 41
                                                      Type: RadixExpansion 43

Here we get a ragit greater than 36 but

(22) -> radix(35,36)

   (22)  Z
                                                      Type: RadixExpansion 36
(23) -> radix(36,37)

   >> Error detected within library code:
   index out of range

(23) -> )set output tex on
(23) -> radix(10,16)

   (23)  A
$$
#\A
\leqno(23)
$$

TeX shows #\A

(25) -> )set output tex off
(25) -> radix(10,16)

   (25)  A
                                                      Type: RadixExpansion 16
(26) -> exprex(%)

   (26)  "{#\A}"

exprex shows the preconditioned output form which shows #\A

Arthur

mathml.spad.pamphlet.hex10.patch
Description: Text Data