名前空間
変種
操作

std::ellint_1, std::ellint_1f, std::ellint_1l

From cppreference.com
 
 
 
 
ヘッダー <cmath> で定義
(1)
float       ellint_1 ( float k, float phi );

double      ellint_1 ( double k, double phi );

long double ellint_1 ( long double k, long double phi );
(C++17以降)
(C++23まで)
/* 浮動小数点型 */ ellint_1( /* 浮動小数点型 */ k,
                                    /* floating-point-type */ phi );
(C++23から)
float       ellint_1f( float k, float phi );
(2) (C++17以降)
long double ellint_1l( long double k, long double phi );
(3) (C++17以降)
ヘッダー <cmath> で定義
template< class Arithmetic1, class Arithmetic2 >

/* 共通浮動小数点型 */

    ellint_1( Arithmetic1 k, Arithmetic2 phi );
(A) (C++17以降)
1-3) k および phi第一種不完全楕円積分を計算します。ライブラリは、パラメータ k および phi の型として、すべての cv 修飾されていない浮動小数点型に対する std::ellint_1 のオーバーロードを提供します。(since C++23)
A) その他の算術型の組み合わせすべてに対して、追加のオーバーロードが提供されます。

目次

[編集] パラメータ

k - 楕円モジュラスまたは離心率 (浮動小数点数または整数値)
phi - ヤコビ振幅 (浮動小数点数または整数値、ラジアン単位)

[編集] 戻り値

k および phi の第一種不完全楕円積分、すなわち phi
0
1-k2
sin2
θ
の値が返されます。エラーが発生しなかった場合。

[編集] エラー処理

math_errhandling で指定されたとおりにエラーが報告される場合があります。

  • 引数がNaNの場合、NaNが返され、ドメインエラーは報告されません。
  • |k|>1 の場合、ドメインエラーが発生する可能性があります。

[編集] 注記

C++17をサポートしないが、ISO 29124:2010をサポートする実装では、実装によって__STDCPP_MATH_SPEC_FUNCS__が少なくとも201003L以上の値に定義され、ユーザーが標準ライブラリヘッダをインクルードする前に__STDCPP_WANT_MATH_SPEC_FUNCS__を定義した場合、この関数が提供されます。

ISO 29124:2010をサポートしないが、TR 19768:2007 (TR1) をサポートする実装では、tr1/cmathヘッダおよびstd::tr1名前空間でこの関数が提供されます。

boost.math にもこの関数の実装があります。

追加のオーバーロードは (A) とまったく同じように提供される必要はない。それらは、最初の引数 num1 と2番目の引数 num2 に対して以下を保証するのに十分である必要がある。

  • num1 または num2long double 型の場合、std::ellint_1(num1, num2)std::ellint_1(static_cast<long double>(num1),
                  static_cast<long double>(num2))
    と同じ効果を持ちます。
  • それ以外の場合で、num1 および/または num2double 型または整数型の場合、std::ellint_1(num1, num2)std::ellint_1(static_cast<double>(num1),
                  static_cast<double>(num2))
    と同じ効果を持ちます。
  • それ以外の場合で、num1 または num2float 型の場合、std::ellint_1(num1, num2)std::ellint_1(static_cast<float>(num1),
                  static_cast<float>(num2))
    と同じ効果を持ちます。
(C++23まで)

num1num2 が算術型の場合、std::ellint_1(num1, num2)std::ellint_1(static_cast</* common-floating-point-type */>(num1),
              static_cast</* common-floating-point-type */>(num2))
と同じ効果を持ちます。ここで、/* common-floating-point-type */ は、num1num2 の型との間で、最も高い 浮動小数点変換ランク と最も高い 浮動小数点変換サブランク を持つ浮動小数点型です。整数型の引数は、double と同じ浮動小数点変換ランクを持つと見なされます。

そのような最高のランクとサブランクセを持つ浮動小数点型が存在しない場合、オーバーロード解決は提供されたオーバーロードから使用可能な候補を導出しません。

(C++23から)

[編集]

#include <cmath>
#include <iostream>
#include <numbers>
 
int main()
{
    const double hpi = std::numbers::pi / 2.0;
 
    std::cout << "F(0,π/2)  = " << std::ellint_1(0, hpi) << '\n'
              << "F(0,-π/2) = " << std::ellint_1(0, -hpi) << '\n'
              << "π/2       = " << hpi << '\n'
              << "F(0.7,0)  = " << std::ellint_1(0.7, 0) << '\n';
}

出力

F(0,π/2)  = 1.5708
F(0,-π/2) = -1.5708
π/2       = 1.5708
F(0.7,0)  = 0

[編集] 関連項目

(完全)第一種楕円積分
(関数) [編集]

[編集] 外部リンク

Weisstein, Eric W. "Elliptic Integral of the First Kind." MathWorld — A Wolfram Web Resource より。
English 日本語 中文(简体) 中文(繁體)