Lines Matching refs:flint_mpz_set_ui
48 flint_mpz_set_ui(x, a); in main()
49 flint_mpz_set_ui(y, b); in main()
84 flint_mpz_set_ui(x, a); in main()
85 flint_mpz_set_ui(y, b); in main()
120 flint_mpz_set_ui(x, a); in main()
121 flint_mpz_set_ui(y, b); in main()
157 flint_mpz_set_ui(x, a); in main()
158 flint_mpz_set_ui(y, b); in main()
159 flint_mpz_set_ui(z, m); in main()
194 flint_mpz_set_ui(y, b); in main()
195 flint_mpz_set_ui(z, m); in main()
229 flint_mpz_set_ui(y, b); in main()
230 flint_mpz_set_ui(z, m); in main()