Lines Matching +defs:a +defs:b +defs:c
38 mpz_class a(1); in check_mpz() local
39 mpz_class b; in check_mpz() local
45 mpz_class a(2); in check_mpz() local
46 mpz_class b; in check_mpz() local
52 mpz_class a(3); in check_mpz() local
53 mpz_class b; in check_mpz() local
59 mpz_class a(-123); in check_mpz() local
60 mpz_class b; in check_mpz() local
68 mpz_class a(25); in check_mpz() local
69 mpz_class b; in check_mpz() local
73 mpz_class a(125); in check_mpz() local
74 mpz_class b; in check_mpz() local
80 mpz_class a(123); in check_mpz() local
81 int b = sgn(a); ASSERT_ALWAYS(b == 1); in check_mpz() local
84 mpz_class a(0); in check_mpz() local
85 int b = sgn(a); ASSERT_ALWAYS(b == 0); in check_mpz() local
88 mpz_class a(-123); in check_mpz() local
89 int b = sgn(a); ASSERT_ALWAYS(b == -1); in check_mpz() local
97 mpz_class a(1), b(2); in check_mpz() local
98 mpz_class c; in check_mpz() local
102 mpz_class a(3); in check_mpz() local
103 signed int b = 4; in check_mpz() local
104 mpz_class c; in check_mpz() local
108 mpz_class a(5); in check_mpz() local
109 double b = 6.0; in check_mpz() local
110 mpz_class c; in check_mpz() local
116 mpz_class a(3), b(6); in check_mpz() local
117 mpz_class c; in check_mpz() local
123 mpz_class a(-2), b(4); in check_mpz() local
124 mpz_class c; in check_mpz() local
128 mpz_class a(2); in check_mpz() local
129 long b = -4; in check_mpz() local
130 mpz_class c; in check_mpz() local
135 mpz_class a(-2); in check_mpz() local
136 unsigned long b = 4; in check_mpz() local
137 mpz_class c; in check_mpz() local
144 mpz_class a(12), b(4); in check_mpz() local
145 mpz_class c; in check_mpz() local
150 mpz_class a(7), b(5); in check_mpz() local
151 mpz_class c; in check_mpz() local
156 mpz_class a(-10); in check_mpz() local
158 mpz_class b(3); in check_mpz() local
160 mpz_class c; in check_mpz() local
169 mpz_class a(-10); in check_mpz() local
171 mpz_class b(-3); in check_mpz() local
173 mpz_class c; in check_mpz() local
182 mpz_class a (LONG_MIN); in check_mpz() local
184 mpz_class b = - mpz_class (LONG_MIN); in check_mpz() local
185 mpz_class c; in check_mpz() local
198 mpz_class a(3); in check_mpz() local
199 unsigned int b = 4; in check_mpz() local
200 mpz_class c; in check_mpz() local
206 mpz_class a(127); in check_mpz() local
207 unsigned int b = 4; in check_mpz() local
208 mpz_class c; in check_mpz() local
221 mpz_class a(123), b(45); in check_mpz() local
222 int c; in check_mpz() local
227 mpz_class a(123); in check_mpz() local
228 unsigned long b = 45; in check_mpz() local
229 int c; in check_mpz() local
234 mpz_class a(123); in check_mpz() local
235 long b = 45; in check_mpz() local
236 int c; in check_mpz() local
241 mpz_class a(123); in check_mpz() local
242 double b = 45; in check_mpz() local
243 int c; in check_mpz() local
253 mpz_class a(1), b(2), c(3); in check_mpz() local
258 mpz_class a(1), b(2); in check_mpz() local
259 unsigned int c = 3; in check_mpz() local
264 mpz_class a(1), b(3); in check_mpz() local
265 unsigned int c = 2; in check_mpz() local
270 mpz_class a(1), b(2); in check_mpz() local
271 signed int c = 3; in check_mpz() local
276 mpz_class a(1), b(3); in check_mpz() local
277 signed int c = 2; in check_mpz() local
282 mpz_class a(1), b(2); in check_mpz() local
283 double c = 3.0; in check_mpz() local
288 mpz_class a(1), b(3); in check_mpz() local
289 double c = 2.0; in check_mpz() local
295 mpz_class a(2), b(3), c(4); in check_mpz() local
300 mpz_class a(2), b(4); in check_mpz() local
301 unsigned int c = 3; in check_mpz() local
306 mpz_class a(3), b(4); in check_mpz() local
307 unsigned int c = 2; in check_mpz() local
312 mpz_class a(2), b(4); in check_mpz() local
313 signed int c = 3; in check_mpz() local
318 mpz_class a(3), b(4); in check_mpz() local
319 signed int c = 2; in check_mpz() local
324 mpz_class a(2), b(4); in check_mpz() local
325 double c = 3.0; in check_mpz() local
330 mpz_class a(3), b(4); in check_mpz() local
331 double c = 2.0; in check_mpz() local
338 mpz_class a(1), b(2), c(3); in check_mpz() local
343 mpz_class a(1), b(2); in check_mpz() local
344 unsigned int c = 3; in check_mpz() local
349 mpz_class a(1), b(3); in check_mpz() local
350 unsigned int c = 2; in check_mpz() local
355 mpz_class a(1), b(2); in check_mpz() local
356 signed int c = 3; in check_mpz() local
361 mpz_class a(1), b(3); in check_mpz() local
362 signed int c = 2; in check_mpz() local
367 mpz_class a(1), b(2); in check_mpz() local
368 double c = 3.0; in check_mpz() local
373 mpz_class a(1), b(3); in check_mpz() local
374 double c = 2.0; in check_mpz() local
380 mpz_class a(2), b(3), c(4); in check_mpz() local
385 mpz_class a(2), b(4); in check_mpz() local
386 unsigned int c = 3; in check_mpz() local
391 mpz_class a(3), b(4); in check_mpz() local
392 unsigned int c = 2; in check_mpz() local
397 mpz_class a(2), b(4); in check_mpz() local
398 signed int c = 3; in check_mpz() local
403 mpz_class a(3), b(4); in check_mpz() local
404 signed int c = 2; in check_mpz() local
409 mpz_class a(2), b(4); in check_mpz() local
410 double c = 3.0; in check_mpz() local
415 mpz_class a(3), b(4); in check_mpz() local
416 double c = 2.0; in check_mpz() local
429 mpq_class a(1, 2); in check_mpq() local
430 mpq_class b; in check_mpq() local
436 mpq_class a(3, 4); in check_mpq() local
437 mpq_class b; in check_mpq() local
443 mpq_class a(-123); in check_mpq() local
444 mpq_class b; in check_mpq() local
450 mpq_class a(123); in check_mpq() local
451 int b = sgn(a); ASSERT_ALWAYS(b == 1); in check_mpq() local
454 mpq_class a(0); in check_mpq() local
455 int b = sgn(a); ASSERT_ALWAYS(b == 0); in check_mpq() local
458 mpq_class a(-123); in check_mpq() local
459 int b = sgn(a); ASSERT_ALWAYS(b == -1); in check_mpq() local
467 mpq_class a(1, 2), b(3, 4); in check_mpq() local
468 mpq_class c; in check_mpq() local
472 mpq_class a(1, 2); in check_mpq() local
473 signed int b = 2; in check_mpq() local
474 mpq_class c; in check_mpq() local
478 mpq_class a(1, 2); in check_mpq() local
479 double b = 1.5; in check_mpq() local
480 mpq_class c; in check_mpq() local
486 mpq_class a(1, 2), b(3, 4); in check_mpq() local
487 mpq_class c; in check_mpq() local
493 mpq_class a(1, 3), b(3, 4); in check_mpq() local
494 mpq_class c; in check_mpq() local
501 mpq_class a(1, 2), b(2, 3); in check_mpq() local
502 mpq_class c; in check_mpq() local
527 mpq_class a(123), b(45); in check_mpq() local
528 int c; in check_mpq() local
533 mpq_class a(123); in check_mpq() local
534 unsigned long b = 45; in check_mpq() local
535 int c; in check_mpq() local
540 mpq_class a(123); in check_mpq() local
541 long b = 45; in check_mpq() local
542 int c; in check_mpq() local
547 mpq_class a(123); in check_mpq() local
548 double b = 45; in check_mpq() local
549 int c; in check_mpq() local
554 mpq_class a(123); in check_mpq() local
555 mpz_class b(45); in check_mpq() local
556 int c; in check_mpq() local
569 mpf_class a(1); in check_mpf() local
570 mpf_class b; in check_mpf() local
576 mpf_class a(2); in check_mpf() local
577 mpf_class b; in check_mpf() local
583 mpf_class a(-123); in check_mpf() local
584 mpf_class b; in check_mpf() local
590 mpf_class a(1.5); in check_mpf() local
591 mpf_class b; in check_mpf() local
595 mpf_class a(-1.5); in check_mpf() local
596 mpf_class b; in check_mpf() local
602 mpf_class a(1.9); in check_mpf() local
603 mpf_class b; in check_mpf() local
607 mpf_class a(-1.1); in check_mpf() local
608 mpf_class b; in check_mpf() local
614 mpf_class a(1.1); in check_mpf() local
615 mpf_class b; in check_mpf() local
619 mpf_class a(-1.9); in check_mpf() local
620 mpf_class b; in check_mpf() local
626 mpf_class a(25); in check_mpf() local
627 mpf_class b; in check_mpf() local
631 mpf_class a(2.25); in check_mpf() local
632 mpf_class b; in check_mpf() local
638 mpf_class a(123); in check_mpf() local
639 int b = sgn(a); ASSERT_ALWAYS(b == 1); in check_mpf() local
642 mpf_class a(0); in check_mpf() local
643 int b = sgn(a); ASSERT_ALWAYS(b == 0); in check_mpf() local
646 mpf_class a(-123); in check_mpf() local
647 int b = sgn(a); ASSERT_ALWAYS(b == -1); in check_mpf() local
655 mpf_class a(1), b(2); in check_mpf() local
656 mpf_class c; in check_mpf() local
662 mpf_class a(3), b(4); in check_mpf() local
663 mpf_class c; in check_mpf() local
669 mpf_class a(2), b(5); in check_mpf() local
670 mpf_class c; in check_mpf() local
676 mpf_class a(7), b(4); in check_mpf() local
677 mpf_class c; in check_mpf() local
692 mpf_class a(3), b(4); in check_mpf() local
693 mpf_class c; in check_mpf() local
699 mpf_class a(123), b(45); in check_mpf() local
700 int c; in check_mpf() local
705 mpf_class a(123); in check_mpf() local
706 unsigned long b = 45; in check_mpf() local
707 int c; in check_mpf() local
712 mpf_class a(123); in check_mpf() local
713 long b = 45; in check_mpf() local
714 int c; in check_mpf() local
719 mpf_class a(123); in check_mpf() local
720 double b = 45; in check_mpf() local
721 int c; in check_mpf() local
726 mpf_class a(123); in check_mpf() local
727 mpz_class b(45); in check_mpf() local
728 int c; in check_mpf() local
733 mpf_class a(123); in check_mpf() local
734 mpq_class b(45); in check_mpf() local
735 int c; in check_mpf() local