Totally disconnected locally compact (TDLC) groups naturally appear in various branches of mathematics as they capture the structure of symmetries of various mathematical objects, so it is natural to ask for a way of computing in such groups. Unfortunately, there is no formal framework for computation in TDLC groups and nor can there be one, […]