TY - RPRT TI - Effective normal basis theorem AU - Pascal Autissier PY - 2026 UR - https://arxiv.org/abs/2601.14856 ID - 2601.14856 ER -