Module is_quadratic_residue

Source