Computing in groups of Lie type | Synapse