adapted is_irreducible_ddf to factor_distinct_deg
Merge remote-tracking branch 'martin/irreducible' into trunk