Article ID Journal Published Year Pages File Type
437542 Theoretical Computer Science 2011 11 Pages PDF
Abstract

We study the numeration system with a negative base, introduced by Ito and Sadahiro. We focus on arithmetic operations in the sets and Z−β of numbers having finite resp. integer (−β)-expansions. We show that is trivial if β is smaller than the golden ratio . For we prove that is a ring, only if β is a Pisot or Salem number with no negative conjugates. We prove the conjecture of Ito and Sadahiro that is a ring if β is a quadratic Pisot number with positive conjugate. For quadratic Pisot units, we determine the number of fractional digits that may appear when adding or multiplying two (−β)-integers.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics