Quantum.Synthesis.Diophantine

Diophantine solvers

diophantine

diophantine_dyadic

diophantine_associate

Factoring

find_factor

relatively_prime_factors

Computations in ℤ_n

power_mod

root_of_negative_one

root_mod