Adapting Eigenvalues to include the correct MAGMA extensions.