Expressions¶

概要¶

数式を記述するための機能を提供する。

• ヘッダ

#include <tlnc/expressions.hpp>

関数一覧¶

いずれもtlnc名前空間に属する。 詳しい使い方は使い方を参照。

特に説明のない関数は、 引数としてdouble型やkv::interval<double>等の通常の値型を渡すと Genericの関数と同様の動作をする。 いずれの関数も引数として式を渡すと数式となる。

cos(Expr&&)¶

sin(Expr&&)¶

tan(Expr&&)¶

log(Expr&&)¶

pow(Base&&, Exponent&&)¶

prod(Expr1&&, Expr2&&)¶

Boost.uBLASのprodと同様な動作をする。 ベクトルや行列の積を計算する。

element_prod(Expr1&&, Expr2&&)¶

Boost.uBLASのelement_prodと同様な動作をする。 同じ大きさのベクトルや行列を渡すと要素ごとの積を計算する。

at<Is...>(Expr&&)¶

ベクトルや行列を返す式を受け取り、 式の評価結果からIs...要素を取り出す式を返す。 Is...が1個の時はベクトルを返す式を、 Is...が2個の時は行列を返す式を渡さなければならない。

c<T>(T&&)¶

定数関数を返す。 Tは何らかの値を表す型で、T::valueで保持している値を取得できるものとする。

変数一覧¶

いずれもtlnc名前空間に属する。 詳しい使い方は使い方を参照。

unspecified x<Is...>¶

std::size_t型の非型テンプレートパラメータIs...を受け取る変数テンプレート。 Is...が空の時は引数そのものを表し、 Is...が1個の時は引数として渡されるベクトルのある要素を表し、 Is...が2個の時は引数として渡される行列のある要素を指す。 Is...が3個以上の時はコンパイルエラーとなる。

unspecified _1¶

プレースホルダーを表す。同様の変数が_10まで定義されている。 使い方はプレースホルダーを参照。

unspecified holder<I>¶

プレースホルダーが10個で足りないときに使う。

使い方¶

呼び出し方についてはCallを、 微分についてはDerivativeを参照。

#include <tlnc/constant.hpp>

auto f = TLNC_C(1.0);
auto g = TLNC_I(1.0);
auto h = TLNC_I(1.0, 2.0);

#include <bcl/literals.hpp>  // double型の定数を生成する
#include <cti/literals.hpp>  // double型の点区間を生成する
#include <cti/operators.hpp> // double型の区間を生成する

using bcl::literals;  // _dcリテラルを使えるようにする
using cti::literals;  // _diリテラルを使えるようにする
using cti::operators; // _dcリテラルに対するoperator,を使えるようにする

{
    // (定数関数ではない)定数
    auto f = 1.0_dc;           // 定数1.0
    auto g = 1.0_di;           // 点区間[1.0, 1.0]
    auto h = (1.0_dc, 2.0_dc); // 区間[1.0, 2.0]
}

{
    // 定数関数
    auto f = tlnc::c(1.0_dc);
    auto g = tlnc::c(1.0_di);
    auto h = tlnc::c((1.0_dc, 2.0_dc));
}

{
    // 関数
    using tlnc::x;

    auto f = 1.0_dc * x<>;
    auto g = tlnc::c(1.0_dc) * x<>;
}

using tlnc::x;
using tlnc::pow;

auto f = pow(x<>, 2_dc) + 2_dc * x<> + 1_dc;

using tlnc::x;
using tlnc::cos;
using tlnc::sin;

auto g = cos(sin(x<>));

using tlnc::x;
using tlnc::cos;
using tlnc::sin;

auto f = x<0> * x<1> + cos(sin(x<0>));

using bcl::literals;
using tlnc::x;

auto f = (x<>, 2.0_dc * x<>);
auto g = (f, (3.0_dc * x<>, 4.0_dc * x<>));

#include <tlnc/call.hpp>
#include <bcl/tuple.hpp>

using tlnc::_1;
using tlnc::x;

auto f = _1 * x<>;

auto v = tlnc::call(f, bcl::make_tuple(1.0, 2.0));