The first incompleted version of this algorithm
Merge branch 'master' of https://github.com/YijunYuan/AKS_Berrizbeitia_FLINT_CXX