1/* tyn -- test file for the Bessel function of second kind
2
3Copyright 2007-2023 Free Software Foundation, Inc.
4Contributed by the AriC and Caramba projects, INRIA.
5
6This file is part of the GNU MPFR Library.
7
8The GNU MPFR Library is free software; you can redistribute it and/or modify
9it under the terms of the GNU Lesser General Public License as published by
10the Free Software Foundation; either version 3 of the License, or (at your
11option) any later version.
12
13The GNU MPFR Library is distributed in the hope that it will be useful, but
14WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
15or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
16License for more details.
17
18You should have received a copy of the GNU Lesser General Public License
19along with the GNU MPFR Library; see the file COPYING.LESSER.  If not, see
20https://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
2151 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */
22
23#include "mpfr-test.h"
24
25int
26main (int argc, char *argv[])
27{
28  mpfr_t x, y;
29  long n;
30  mpfr_prec_t prec = 53;
31
32  tests_start_mpfr ();
33
34  mpfr_init (x);
35  mpfr_init (y);
36
37  if (argc != 1)
38    {
39      if (argc != 4)
40        {
41          printf ("Usage: tyn n x prec\n");
42          exit (1);
43        }
44      n = atoi (argv[1]);
45      prec = atoi (argv[3]);
46      mpfr_set_prec (x, prec);
47      mpfr_set_prec (y, prec);
48      mpfr_set_str (x, argv[2], 10, MPFR_RNDN);
49      mpfr_yn (y, n, x, MPFR_RNDN);
50      printf ("Y(%ld,", n);
51      mpfr_out_str (stdout, 10, 0, x, MPFR_RNDN);
52      printf (")=");
53      mpfr_out_str (stdout, 10, 0, y, MPFR_RNDN);
54      printf ("\n");
55      goto end;
56    }
57
58  /* special values */
59  mpfr_set_nan (x);
60  mpfr_yn (y, 17, x, MPFR_RNDN);
61  MPFR_ASSERTN(mpfr_nan_p (y));
62
63  mpfr_set_inf (x, 1); /* +Inf */
64  mpfr_yn (y, 17, x, MPFR_RNDN);
65  MPFR_ASSERTN(mpfr_cmp_ui (y, 0) == 0 && MPFR_IS_POS (y));
66
67  mpfr_set_inf (x, -1); /* -Inf */
68  mpfr_yn (y, 17, x, MPFR_RNDN);
69  MPFR_ASSERTN(mpfr_nan_p (y));
70
71  mpfr_set_ui (x, 0, MPFR_RNDN); /* +0 */
72  mpfr_yn (y, 0, x, MPFR_RNDN);
73  MPFR_ASSERTN(mpfr_inf_p (y) && MPFR_IS_NEG (y)); /* y0(+0)=-Inf */
74  mpfr_yn (y, 17, x, MPFR_RNDN);
75  MPFR_ASSERTN(mpfr_inf_p (y) && MPFR_IS_NEG (y)); /* y17(+0)=-Inf */
76  mpfr_yn (y, -17, x, MPFR_RNDN);
77  MPFR_ASSERTN(mpfr_inf_p (y) && MPFR_IS_POS (y)); /* y(-17,+0)=+Inf */
78  mpfr_yn (y, -42, x, MPFR_RNDN);
79  MPFR_ASSERTN(mpfr_inf_p (y) && MPFR_IS_NEG (y)); /* y(-42,+0)=-Inf */
80
81  mpfr_set_ui (x, 0, MPFR_RNDN);
82  mpfr_neg (x, x, MPFR_RNDN); /* -0 */
83  mpfr_yn (y, 0, x, MPFR_RNDN);
84  MPFR_ASSERTN(mpfr_inf_p (y) && MPFR_IS_NEG (y)); /* y0(-0)=-Inf */
85  mpfr_yn (y, 17, x, MPFR_RNDN);
86  MPFR_ASSERTN(mpfr_inf_p (y) && MPFR_IS_NEG (y)); /* y17(-0)=-Inf */
87  mpfr_yn (y, -17, x, MPFR_RNDN);
88  MPFR_ASSERTN(mpfr_inf_p (y) && MPFR_IS_POS (y)); /* y(-17,-0)=+Inf */
89  mpfr_yn (y, -42, x, MPFR_RNDN);
90  MPFR_ASSERTN(mpfr_inf_p (y) && MPFR_IS_NEG (y)); /* y(-42,-0)=-Inf */
91
92  mpfr_set_prec (x, 53);
93  mpfr_set_prec (y, 53);
94
95  mpfr_set_ui (x, 1, MPFR_RNDN);
96  mpfr_yn (y, 0, x, MPFR_RNDN);
97  mpfr_set_str_binary (x, "0.00010110100110000000001000100110111100110101100011011111");
98  if (mpfr_cmp (x, y))
99    {
100      printf ("Error in mpfr_yn for n=0, x=1, rnd=MPFR_RNDN\n");
101      printf ("Expected "); mpfr_dump (x);
102      printf ("Got      "); mpfr_dump (y);
103      exit (1);
104    }
105
106  mpfr_set_ui (x, 1, MPFR_RNDN);
107  mpfr_yn (y, 1, x, MPFR_RNDN);
108  mpfr_set_str_binary (x, "-0.110001111111110110010000001111101011001101011100101");
109  if (mpfr_cmp (x, y))
110    {
111      printf ("Error in mpfr_yn for n=1, x=1, rnd=MPFR_RNDN\n");
112      printf ("Expected "); mpfr_dump (x);
113      printf ("Got      "); mpfr_dump (y);
114      exit (1);
115    }
116
117  mpfr_set_ui (x, 1, MPFR_RNDN);
118  mpfr_yn (y, -1, x, MPFR_RNDN);
119  mpfr_set_str_binary (x, "0.110001111111110110010000001111101011001101011100101");
120  if (mpfr_cmp (x, y))
121    {
122      printf ("Error in mpfr_yn for n=-1, x=1, rnd=MPFR_RNDN\n");
123      printf ("Expected "); mpfr_dump (x);
124      printf ("Got      "); mpfr_dump (y);
125      exit (1);
126    }
127
128  mpfr_set_ui (x, 1, MPFR_RNDN);
129  mpfr_yn (y, 2, x, MPFR_RNDN);
130  mpfr_set_str_binary (x, "-1.101001101001001100100010101001000101101000010010001");
131  if (mpfr_cmp (x, y))
132    {
133      printf ("Error in mpfr_yn for n=2, x=1, rnd=MPFR_RNDN\n");
134      printf ("Expected "); mpfr_dump (x);
135      printf ("Got      "); mpfr_dump (y);
136      exit (1);
137    }
138
139  mpfr_set_ui (x, 1, MPFR_RNDN);
140  mpfr_yn (y, -2, x, MPFR_RNDN);
141  mpfr_set_str_binary (x, "-1.101001101001001100100010101001000101101000010010001");
142  if (mpfr_cmp (x, y))
143    {
144      printf ("Error in mpfr_yn for n=-2, x=1, rnd=MPFR_RNDN\n");
145      printf ("Expected "); mpfr_dump (x);
146      printf ("Got      "); mpfr_dump (y);
147      exit (1);
148    }
149
150  mpfr_set_ui (x, 1, MPFR_RNDN);
151  mpfr_yn (y, 17, x, MPFR_RNDN);
152  mpfr_set_str_binary (x, "-0.11000100111000100010101101011000110011001101100001011E60");
153  if (mpfr_cmp (x, y))
154    {
155      printf ("Error in mpfr_yn for n=17, x=1, rnd=MPFR_RNDN\n");
156      printf ("Expected "); mpfr_dump (x);
157      printf ("Got      "); mpfr_dump (y);
158      exit (1);
159    }
160
161  mpfr_set_ui (x, 1, MPFR_RNDN);
162  mpfr_yn (y, -17, x, MPFR_RNDN);
163  mpfr_set_str_binary (x, "0.11000100111000100010101101011000110011001101100001011E60");
164  if (mpfr_cmp (x, y))
165    {
166      printf ("Error in mpfr_yn for n=-17, x=1, rnd=MPFR_RNDN\n");
167      printf ("Expected "); mpfr_dump (x);
168      printf ("Got      "); mpfr_dump (y);
169      exit (1);
170    }
171
172  mpfr_set_ui (x, 17, MPFR_RNDN);
173  mpfr_yn (y, 1, x, MPFR_RNDN);
174  mpfr_set_str_binary (x, "0.00101010110011011111001100000001101011011001111111");
175  if (mpfr_cmp (x, y))
176    {
177      printf ("Error in mpfr_yn for n=1, x=17, rnd=MPFR_RNDN\n");
178      printf ("Expected "); mpfr_dump (x);
179      printf ("Got      "); mpfr_dump (y);
180      exit (1);
181    }
182
183 end:
184  mpfr_clear (x);
185  mpfr_clear (y);
186
187  tests_end_mpfr ();
188  return 0;
189}
190