Algorithms to test open set condition for self-similar set related to P.V. numbers (Q401376)

Fix any Pisot number \(1/b>1\), define an IFS \(\{S(i):i+1,\dots,m\}\), where each \(S(i)\) is a contractive similitude on the \(d\)-dimensional space with a contracting ratio of some power of \(b\). Let \(E\) be the invariant set of the IFS. The authors give an algorithm to test whether the IFS satisfies the open set condition.