p-adic splitting only needs Magma at initialization.