Dimension theory of iterated function systems | Synapse