refactor
Added monomorphic version of `resultant' and `hasCommonFactor'