Y0(3) | Linux Programmer's Manual | Y0(3) |
名前¶
y0, y0f, y0l, y1, y1f, y1l, yn, ynf, ynl - 第二種ベッセル関数
書式¶
#include <math.h> double y0(double x);
double y1(double x);
double yn(int n, double x); float y0f(float x);
float y1f(float x);
float ynf(int n, float x); long double y0l(long double x);
long double y1l(long double x);
long double ynl(int n, long double x);
-lm でリンクする。
glibc
向けの機能検査マクロの要件
(feature_test_macros(7) 参照):
y0(), y1(), yn(): _SVID_SOURCE || _BSD_SOURCE
|| _XOPEN_SOURCE
y0f(), y0l(), y1f(), y1l(), ynf(),
ynl(): _SVID_SOURCE || _BSD_SOURCE ||
_XOPEN_SOURCE >= 600
説明¶
関数 y0() と y1() はそれぞれ x の 0 次、1 次の 第二種ベッセル関数の値を返す。 関数 yn() は x の n 次の 第二種ベッセル関数の値を返す。
x は正の値でなければならない。
y0f() 群の関数、 y0l() 群の関数は、それぞれ float 型、 long double 型の返り値を返す。
返り値¶
成功すると、これらの関数は x に対する第二種ベッセル関数の値を返す。
x が NaN の場合、NaN が返される。
x が負の場合、領域エラー (domain error) が発生し、 各関数はそれぞれ -HUGE_VAL, -HUGE_VALF, -HUGE_VALL を返す (POSIX.1-2001 ではこの場合に NaN を返すことも認めている)。
x が 0.0 の場合、極エラー (pole error) が発生し、 各関数はそれぞれ -HUGE_VAL, -HUGE_VALF, -HUGE_VALL を返す。
結果がアンダーフローする場合、 範囲エラー (range error) が発生し、 各関数は 0.0 を返す。
結果がオーバーフローする場合、範囲エラーが発生し、 各関数はそれぞれ -HUGE_VAL, -HUGE_VALF, -HUGE_VALL を返す (POSIX.1-2001 ではこの場合に 0.0 を返すことも認めている)。
エラー¶
これらの関数を呼び出した際にエラーが発生したかの判定方法についての情報は math_error(7) を参照のこと。
以下のエラーが発生する可能性がある。
- 領域エラー: x が負
- errno に EDOM が設定される。 不正 (invalid) 浮動小数点例外 (FE_INVALID) が上がる。
- 極エラー: x が 0.0
- errno に ERANGE が設定される (「バグ」の節を参照のこと)。 このエラーの場合、 fetestexcept(3) は FE_DIVBYZERO 例外を返さない。
- 範囲エラー: 結果のアンダーフロー
- errno に ERANGE が設定される。 このエラーの場合、 fetestexcept(3) は FE_UNDERFLOW 例外を返さない。
- 範囲エラー: 結果のオーバーフロー
- この場合、 errno は設定されない。 オーバーフロー浮動小数点例外 (FE_OVERFLOW) が上がる。
準拠¶
double 型の値を返す関数は、SVr4, 4.3BSD, POSIX.1-2001 に準拠する。 それ以外は非標準の関数で、BSD にも存在する。
バグ¶
極エラーの場合、これらの関数は errno に EDOM を設定するが、 POSIX.1-2004 では ERANGE を設定することが要求されている。
glibc バージョン 2.3.2 以前では、 領域エラーが発生した場合に、これらの関数は 不正浮動小数点例外 (FE_INVALID) を上げない。
関連項目¶
2008-08-10 |