- gcd(): cofactor computation is faster in partially factorized case