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