Reduced a little bit the number of calls to Magma.