use GMP if it is available
use GMP also for Pk orthonormal basis if available