Home | History | Annotate | Download | only in mpz

Lines Matching refs:want

29 try_mpz_bin_ui (mpz_srcptr want, mpz_srcptr n, unsigned long k)
36 if (mpz_cmp (got, want) != 0)
42 printf (" want="); mpz_out_str (stdout, 10, want); printf ("\n");
50 try_mpz_bin_uiui (mpz_srcptr want, unsigned long n, unsigned long k)
57 if (mpz_cmp (got, want) != 0)
63 printf (" want="); mpz_out_str (stdout, 10, want); printf ("\n");
76 const char *want;
115 mpz_t n, want;
119 mpz_init (want);
124 mpz_set_str_or_abort (want, data[i].want, 0);
126 try_mpz_bin_ui (want, n, data[i].k);
129 try_mpz_bin_uiui (want, mpz_get_ui (n), data[i].k);
133 mpz_clear (want);
142 mpz_t n, want;
147 mpz_init_set_ui (want, (unsigned long) 2);
151 try_mpz_bin_ui (want, n, k);
153 try_mpz_bin_uiui (want, 2*k, k);
155 mpz_mul_ui (want, want, 2*(2*k+1));
156 mpz_fdiv_q_ui (want, want, k+1);
160 mpz_clear (want);
168 mpz_t n_z, want, tmp;
178 mpz_init_set_ui (want, (unsigned long) 220); /* binomial(12,3) = 220 */
186 mpz_mul_ui (want, want, n);
187 mpz_fdiv_q_ui (want, want, k);
192 mpz_mul_ui (want, want, n);
193 mpz_fdiv_q_ui (want, want, n - k);
197 try_mpz_bin_ui (want, n_z, k);
199 try_mpz_bin_uiui (want, n, k);
204 mpz_mul (want, n_z, n_z); /* want = n_z ^ 2 */
205 mpz_sub (want, want, n_z); /* want = n_z ^ 2 - n_z = n_z (n_z- 1) */
206 mpz_tdiv_q_2exp (want, want, 1); /* want = n_z (n_z- 1) / 2 = binomial (n_z, 2) */
215 mpz_mul (want, want, n_z);
216 mpz_tdiv_q_ui (want, want, k);
221 mpz_mul (want, want, n_z);
223 mpz_tdiv_q (want, want, tmp);
226 try_mpz_bin_ui (want, n_z, k);
231 mpz_clear (want);
239 mpz_t n_z, want, tmp;
250 mpz_init_set_ui (want, n);
251 mpz_mul_ui (want, want, n >> 1);
258 mpz_mul_ui (want, want, n - k);
260 mpz_tdiv_q_ui (want, want, k);
264 mpz_mul_ui (want, want, n - k);
265 mpz_tdiv_q_ui (want, want, n);
270 try_mpz_bin_ui (want, n_z, n - k);
272 try_mpz_bin_uiui (want, n, n - k);
277 mpz_clear (want);
285 mpz_t n_z, want;
289 mpz_init (want);
293 mpz_set_ui (want, (unsigned long) 1);
297 try_mpz_bin_ui (want, n_z, k);
298 try_mpz_bin_uiui (want, n, k);
299 mpz_mul_ui (want, want, n - k);
300 mpz_fdiv_q_ui (want, want, k + 1);
302 try_mpz_bin_ui (want, n_z, k);
303 try_mpz_bin_uiui (want, n, k);
307 mpz_clear (want);