TY - RPRT TI - Algorithms for $p$-rationality and for $p$-saturation of units AU - Tommy Hofmann AU - Henri Johnston PY - 2026 UR - https://arxiv.org/abs/2609.15190 ID - 2609.15190 ER -