numpy
sympy
gmpy2
fpylll
cysignals
