Module gcds_for_sum

Source

Functionsยง

gcds_for_sum
a_i > 0, lcm_prod(a_i) = sum.