Editing Balanced ternary (section)

=== Conversion to decimal ===

In the balanced ternary system the value of a digit ''n'' places left of the [[radix point]] is the product of the digit and 3<sup>''n''</sup>. This is useful when converting between decimal and balanced ternary. In the following the strings denoting balanced ternary carry the suffix, ''bal3''. For instance,
: 10<sub>bal3</sub> = 1 × 3<sup>1</sup> + 0 × 3<sup>0</sup> = 3<sub>dec</sub>
: 10𝖳<sub>bal3</sub> = 1 × 3<sup>2</sup> + 0 × 3<sup>1</sup> + (−1) × 3<sup>0</sup> = 8<sub>dec</sub>
: −9<sub>dec</sub> = −1 × 3<sup>2</sup> + 0 × 3<sup>1</sup> + 0 × 3<sup>0</sup> = 𝖳00<sub>bal3</sub>
: 8<sub>dec</sub> = 1 × 3<sup>2</sup> + 0 × 3<sup>1</sup> + (−1) × 3<sup>0</sup> = 10𝖳<sub>bal3</sub>

Similarly, the first place to the right of the radix point holds 3<sup>−1</sup> = {{sfrac|1|3}}, the second place holds 3<sup>−2</sup> = {{sfrac|1|9}}, and so on. For instance,
: −{{sfrac|2|3}}<sub>dec</sub> = −1 + {{sfrac|1|3}} = −1 × 3<sup>0</sup> + 1 × 3<sup>−1</sup> = 𝖳.1<sub>bal3</sub>.

<div style="display: flex; column-gap: 1em; margin-inline-start: 1.5em;">
{| class="wikitable" style="border: none; text-align:right"
! Dec !! Bal3 !! Expansion
|-
|   0 ||   0 ||      0
|-
|   1 ||   1 ||     +1
|-
|   2 ||  1𝖳 ||   +3−1
|-
|   3 ||  10 ||   +3
|-
|   4 ||  11 ||   +3+1
|-
|   5 || 1𝖳𝖳 || +9−3−1
|-
|   6 || 1𝖳0 || +9−3
|-
|   7 || 1𝖳1 || +9−3+1
|-
|   8 || 10𝖳 || +9−1
|-
|   9 || 100 || +9
|-
|  10 || 101 || +9+1
|-
|  11 || 11𝖳 || +9+3−1
|-
|  12 || 110 || +9+3
|-
|  13 || 111 || +9+3+1
|}
{| class="wikitable" style="border: none; text-align:right"
! Dec !! Bal3 !! Expansion
|-
|   0 ||   0 ||      0
|-
|  −1 ||   𝖳 ||     −1
|-
|  −2 ||  𝖳1 ||   −3+1
|-
|  −3 ||  𝖳0 ||   −3
|-
|  −4 ||  𝖳𝖳 ||  −3−1
|-
|  −5 || 𝖳11 || −9+3+1
|-
|  −6 || 𝖳10 || −9+3
|-
|  −7 || 𝖳1𝖳 || −9+3−1
|-
|  −8 || 𝖳01 || −9+1
|-
|  −9 || 𝖳00 || −9
|-
| −10 || 𝖳0𝖳 || −9−1
|-
| −11 || 𝖳𝖳1 || −9−3+1
|-
| −12 || 𝖳𝖳0 || −9−3
|-
| −13 || 𝖳𝖳𝖳 || −9−3−1
|}
</div>

An integer is divisible by three if and only if the digit in the units place is zero.

We may check the [[Parity (mathematics)|parity]] of a balanced ternary integer by checking the parity of the sum of all trits. This sum has the same parity as the integer itself.

Balanced ternary can also be extended to fractional numbers similar to how decimal numbers are written to the right of the [[radix point]].<ref>{{cite web |url=http://www.abhijit.info/tristate/tristate.html |title=Balanced ternary |last=Bhattacharjee |first=Abhijit |date=24 July 2006 |archiveurl=https://web.archive.org/web/20090919053547/http://www.abhijit.info/tristate/tristate.html |archivedate=2009-09-19}}</ref>

:{| class="wikitable"
|-
! Decimal
! style="text-align: right" | −0.9
! style="text-align: right" | −0.8
! style="text-align: right" | −0.7
! style="text-align: right" | −0.6
! style="text-align: right" | −0.5
! style="text-align: right" | −0.4
! style="text-align: right" | −0.3
! style="text-align: right" | −0.2
! style="text-align: right" | −0.1
! style="text-align: right" |  0
|-
! Balanced Ternary 
| 𝖳.{{overline|010𝖳}}||𝖳.{{overline|1𝖳𝖳1}}|| 𝖳.{{overline|10𝖳0}}|| 𝖳.{{overline|11𝖳𝖳}}|| 0.{{overline|𝖳}} or 𝖳.{{overline|1}} || 0.{{overline|𝖳𝖳11}} || 0.{{overline|𝖳010}} || 0.{{overline|𝖳11𝖳}} || 0.{{overline|0𝖳01}} || 0
|-
! Decimal
! style="text-align: right" | 0.9
! style="text-align: right" | 0.8
! style="text-align: right" | 0.7
! style="text-align: right" | 0.6
! style="text-align: right" | 0.5
! style="text-align: right" | 0.4
! style="text-align: right" | 0.3
! style="text-align: right" | 0.2
! style="text-align: right" | 0.1
! style="text-align: right" | 0
|-
! Balanced Ternary 
| 1.{{overline|0𝖳01}}||1.{{overline|𝖳11𝖳}}|| 1.{{overline|𝖳010}}|| 1.{{overline|𝖳𝖳11}}|| 0.{{overline|1}} or 1.{{overline|𝖳}} || 0.{{overline|11𝖳𝖳}} || 0.{{overline|10𝖳0}} || 0.{{overline|1𝖳𝖳1}} || 0.{{overline|010𝖳}} || 0
|}

In decimal or binary, integer values and terminating fractions have multiple representations. For example, {{sfrac|1|10}} = 0.1 = 0.1{{overline|0}} = 0.0{{overline|9}}. And, {{sfrac|1|2}} = 0.1<sub>2</sub> = 0.1{{overline|0}}<sub>2</sub> = 0.0{{overline|1}}<sub>2</sub>. Some balanced ternary fractions have multiple representations too. For example, {{sfrac|1|6}} = 0.1{{overline|𝖳}}<sub>bal3</sub> = 0.0{{overline|1}}<sub>bal3</sub>. Certainly, in the decimal and binary, we may omit the rightmost trailing infinite 0s after the radix point and gain a representations of integer or terminating fraction. But, in balanced ternary, we can't omit the rightmost trailing infinite −1s after the radix point in order to gain a representations of integer or terminating fraction.

[[Donald Knuth]]<ref name="Knuth">{{Cite book
|last=Knuth
|first=Donald
|authorlink=Donald Knuth
|title=The art of Computer Programming
|volume=2
|pages=195–213
|publisher=Addison-Wesley
|year=1997
|isbn=0-201-89684-2}}</ref> has pointed out that truncation and rounding are the same operation in balanced ternary&mdash;they produce exactly the same result (a property shared with other balanced numeral systems). The number {{sfrac|1|2}} is not exceptional; it has two equally valid representations, and two equally valid truncations: 0.{{overline|1}} (round to 0, and truncate to 0) and 1.{{overline|𝖳}} (round to 1, and truncate to 1). With an odd [[radix]], [[Rounding#Double rounding|double rounding]] is also equivalent to directly rounding to the final precision, unlike with an even radix.

The basic operations&mdash;addition, subtraction, multiplication, and division&mdash;are done as in regular ternary. Multiplication by two can be done by adding a number to itself, or subtracting itself after a-trit-left-shifting.

An arithmetic shift left of a balanced ternary number is the equivalent of multiplication by a (positive, integral) power of 3; and an arithmetic shift right of a balanced ternary number is the equivalent of division by a (positive, integral) power of 3.