AN ALGORITHM CHECKING A NECESSARY CONDITION OF NUMBER SYSTEM CONSTRUCTIONS

In this paper we investigate from an algorithmic point of view one of the three necessary conditions - the expansivity of the base - of the number system property.