fix: use igcd instead of gcd (gcd might return 1 if SW_RATIONAL is on)
chg: use sqrf version of bivariate factorization
chg: improve docu
Merge pull request #659 from mmklee/incomplete_fac

Incomplete fac