Let $Bin[n]$ denote the binary expansion of integer $n$.
Does there exist a simplification of the formula $Bin[\sum a_i 2^i]$ ?
Clearly when $a_i \in \{0,1\}$, then the $a_i$ already represent binary digits, but what about $a_i \in \mathbb{Z}$ ?
Let $Bin[n]$ denote the binary expansion of integer $n$.
Does there exist a simplification of the formula $Bin[\sum a_i 2^i]$ ?
Clearly when $a_i \in \{0,1\}$, then the $a_i$ already represent binary digits, but what about $a_i \in \mathbb{Z}$ ?