1/* Test mp*_class operators and functions.
2
3Copyright 2011, 2012 Free Software Foundation, Inc.
4
5This file is part of the GNU MP Library test suite.
6
7The GNU MP Library test suite is free software; you can redistribute it
8and/or modify it under the terms of the GNU General Public License as
9published by the Free Software Foundation; either version 3 of the License,
10or (at your option) any later version.
11
12The GNU MP Library test suite is distributed in the hope that it will be
13useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
14MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General
15Public License for more details.
16
17You should have received a copy of the GNU General Public License along with
18the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
19
20#include "t-ops2.h"
21
22void checkz (){
23  CHECK_ALL(mpz_class,5,2,+);
24  CHECK_ALL(mpz_class,5,2,-);
25  CHECK_ALL(mpz_class,5,2,*);
26  CHECK_ALL(mpz_class,5,2,/);
27  CHECK_ALL(mpz_class,5,2,%);
28  CHECK_ALL_COMPARISONS(mpz_class,5,2);
29  CHECK_ALL_SIGNS(mpz_class,11,3,+);
30  CHECK_ALL_SIGNS(mpz_class,11,3,-);
31  CHECK_ALL_SIGNS(mpz_class,11,3,*);
32  CHECK_ALL_SIGNS(mpz_class,11,3,/);
33  CHECK_ALL_SIGNS(mpz_class,11,3,%);
34  CHECK_ALL_SIGNS(mpz_class,17,2,*);
35  CHECK_ALL_SIGNS(mpz_class,17,2,/);
36  CHECK_ALL_SIGNS(mpz_class,17,2,%);
37  CHECK(unsigned long,mpz_class,5,-2,/);
38  CHECK(unsigned long,mpz_class,5,-2,%);
39  ASSERT_ALWAYS(7ul/mpz_class(1e35)==0);
40  ASSERT_ALWAYS(7ul%mpz_class(1e35)==7);
41  ASSERT_ALWAYS(7ul/mpz_class(-1e35)==0);
42  ASSERT_ALWAYS(7ul%mpz_class(-1e35)==7);
43  CHECK_ALL_SIGNS_COMPARISONS(mpz_class,11,3);
44  CHECK_ALL(mpz_class,6,3,&);
45  CHECK_ALL(mpz_class,6,3,|);
46  CHECK_ALL(mpz_class,6,3,^);
47  CHECK(mpz_class,unsigned long,6,2,<<);
48  CHECK(mpz_class,unsigned long,6,2,>>);
49  ASSERT_ALWAYS((mpz_class(-13)<<(unsigned long)2) == (-13)*4);
50  CHECK(mpz_class,unsigned long,-13,2,>>);
51  ASSERT_ALWAYS(++mpz_class(7)==8);
52  ASSERT_ALWAYS(++mpz_class(-8)==-7);
53  ASSERT_ALWAYS(--mpz_class(8)==7);
54  ASSERT_ALWAYS(--mpz_class(-7)==-8);
55  ASSERT_ALWAYS(~mpz_class(7)==-8);
56  ASSERT_ALWAYS(~mpz_class(-8)==7);
57  ASSERT_ALWAYS(+mpz_class(7)==7);
58  ASSERT_ALWAYS(+mpz_class(-8)==-8);
59  ASSERT_ALWAYS(-mpz_class(7)==-7);
60  ASSERT_ALWAYS(-mpz_class(-8)==8);
61  ASSERT_ALWAYS(abs(mpz_class(7))==7);
62  ASSERT_ALWAYS(abs(mpz_class(-8))==8);
63  ASSERT_ALWAYS(sqrt(mpz_class(7))==2);
64  ASSERT_ALWAYS(sqrt(mpz_class(0))==0);
65  ASSERT_ALWAYS(sgn(mpz_class(0))==0);
66  ASSERT_ALWAYS(sgn(mpz_class(9))==1);
67  ASSERT_ALWAYS(sgn(mpz_class(-17))==-1);
68  ASSERT_ALWAYS(mpz_class(1)+DBL_MAX>2);
69  ASSERT_ALWAYS(mpz_class(1)+DBL_MIN<2);
70  ASSERT_ALWAYS(mpz_class(1)+std::numeric_limits<double>::denorm_min()<2);
71  ASSERT_ALWAYS(gcd(mpz_class(6),mpz_class(8))==2);
72  ASSERT_ALWAYS(gcd(-mpz_class(6),mpz_class(8))==2);
73  ASSERT_ALWAYS(gcd(-mpz_class(6),-mpz_class(8))==2);
74  ASSERT_ALWAYS(gcd(mpz_class(6),8.f)==2);
75  ASSERT_ALWAYS(gcd(-mpz_class(6),static_cast<unsigned char>(8))==2);
76  ASSERT_ALWAYS(gcd(static_cast<long>(-6),mpz_class(5)+3)==2);
77  ASSERT_ALWAYS(lcm(mpz_class(6),mpz_class(8))==24);
78  ASSERT_ALWAYS(lcm(-mpz_class(6),mpz_class(8))==24);
79  ASSERT_ALWAYS(lcm(-mpz_class(6),-mpz_class(8))==24);
80  ASSERT_ALWAYS(lcm(mpz_class(6),static_cast<short>(8))==24);
81  ASSERT_ALWAYS(lcm(-mpz_class(6),static_cast<unsigned char>(8))==24);
82  ASSERT_ALWAYS(lcm(-6.,mpz_class(5)+3)==24);
83  ASSERT_ALWAYS(factorial(mpz_class(3))==6);
84  ASSERT_ALWAYS(factorial(mpz_class(5)-1)==24);
85  ASSERT_ALWAYS(mpz_class::factorial(mpz_class(3))==6);
86  ASSERT_ALWAYS(mpz_class::factorial(mpz_class(2)*2)==24);
87  ASSERT_ALWAYS(mpz_class::factorial(3)==6);
88  ASSERT_ALWAYS(mpz_class::factorial(3ul)==6);
89  ASSERT_ALWAYS(mpz_class::factorial(3.f)==6);
90  mpz_class ret;
91  try { ret=factorial(-mpz_class(3)); ASSERT_ALWAYS(0); }
92  catch (std::domain_error&) {}
93  try { ret=mpz_class::factorial(-2); ASSERT_ALWAYS(0); }
94  catch (std::domain_error&) {}
95  try { ret=factorial(mpz_class(1)<<300); ASSERT_ALWAYS(0); }
96  catch (std::bad_alloc&) {}
97  ASSERT_ALWAYS(mpz_class::primorial(mpz_class(3))==6);
98  ASSERT_ALWAYS(mpz_class::primorial(mpz_class(2)*2)==6);
99  ASSERT_ALWAYS(mpz_class::primorial(3)==6);
100  ASSERT_ALWAYS(mpz_class::primorial(3ul)==6);
101  ASSERT_ALWAYS(mpz_class::primorial(3.f)==6);
102  try { ret=primorial(-mpz_class(3)); ASSERT_ALWAYS(0); }
103  catch (std::domain_error&) {}
104  try { ret=mpz_class::primorial(-5); ASSERT_ALWAYS(0); }
105  catch (std::domain_error&) {}
106  try { ret=primorial(mpz_class(1)<<300); ASSERT_ALWAYS(0); }
107  catch (std::bad_alloc&) {}
108  ASSERT_ALWAYS(mpz_class::fibonacci(mpz_class(6))==8);
109  ASSERT_ALWAYS(mpz_class::fibonacci(mpz_class(2)*2)==3);
110  ASSERT_ALWAYS(mpz_class::fibonacci(3)==2);
111  ASSERT_ALWAYS(mpz_class::fibonacci(3ul)==2);
112  ASSERT_ALWAYS(mpz_class::fibonacci(3.f)==2);
113  ASSERT_ALWAYS(fibonacci(-mpz_class(6))==-8);
114  ASSERT_ALWAYS(mpz_class::fibonacci(-3)==2);
115  try { ret=fibonacci(mpz_class(1)<<300); ASSERT_ALWAYS(0); }
116  catch (std::bad_alloc&) {}
117}
118
119int
120main (void)
121{
122  tests_start();
123  checkz();
124  tests_end();
125  return 0;
126}
127