On April 23, 2021 3:27:19 AM PDT, Kunhao Zheng <[email protected]> wrote:
> For example, I want to write
>2121_3 - 212_3 (both in base 3).
The obvious way to represent the left hand number is ((3 · 2) + ((3 · 1) + ((3
· 2) + 1))) .
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/ED8CBC05-E2B8-4412-AD2B-4A9130BBA33B%40panix.com.
