On April 23, 2021 4:33:58 PM PDT, Jim Kingdon <[email protected]> wrote:
>The obvious way to represent the left hand number is ((3 · 2) + ((3 ·
>1) + ((3 · 2) + 1))) .
Uh, I think I parenthesized that wrong. But hopefully it is clear what I meant.
>
>As for whether there is a more convenient notation, have we come up
>with an arbitrary-base version of
>http://us.metamath.org/mpeuni/df-dec.html or do we just have it for
>base 10?
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/metamath/82C1B0AB-A402-4E0B-8288-7B32F97DA9A3%40panix.com.
