LMCAS::anonymous_namespace{integration_special_functions.cpp} 命名空间参考

函数
bool	sf_is_fn_of_var (const std::shared_ptr< const SymbolicNode > &node, FunctionNode::FuncType t, const std::string &var)
bool	sf_is_inv_ln_var (const std::shared_ptr< const SymbolicNode > &node, const std::string &var)
bool	sf_is_inv_var (const std::shared_ptr< const SymbolicNode > &node, const std::string &var)
Result< bool >	sf_match_exp_neg_quad (const std::shared_ptr< const SymbolicNode > &node, const std::string &var, Rational &c_out, ComputationContext &context)
bool	sf_split_inv_var (const std::shared_ptr< const SymbolicNode > &node, const std::string &var, std::vector< std::shared_ptr< const SymbolicNode > > &other_factors, bool &has_inv_var)
std::shared_ptr< SymbolicExpr >	sf_sqrt_pi ()

函数说明

sf_is_fn_of_var()

bool LMCAS::anonymous_namespace{integration_special_functions.cpp}::sf_is_fn_of_var	(	const std::shared_ptr< const SymbolicNode > &	node,
		FunctionNode::FuncType	t,
		const std::string &	var )

在文件 integration_special_functions.cpp 第 17 行定义.

                                           {
    auto fn = std::dynamic_pointer_cast<const FunctionNode>(node);
    if (!fn || fn->type() != t) { return false; }
    if (fn->arguments().size() != 1) { return false; }
    auto v = std::dynamic_pointer_cast<const VariableNode>(fn->arguments()[0]);
    return v && !v->is_constant() && v->name() == var;
}

引用了 sf_is_fn_of_var(), LMCAS::t , 以及 LMCAS::v.

被这些函数引用 sf_is_fn_of_var() , 以及 sf_is_inv_ln_var().

函数调用图:

这是这个函数的调用关系图:

sf_is_inv_ln_var()

bool LMCAS::anonymous_namespace{integration_special_functions.cpp}::sf_is_inv_ln_var	(	const std::shared_ptr< const SymbolicNode > &	node,
		const std::string &	var )

在文件 integration_special_functions.cpp 第 40 行定义.

                                            {
    auto pw = std::dynamic_pointer_cast<const PowerNode>(node);
    if (!pw) { return false; }
    if (!sf_is_fn_of_var(pw->base(), FunctionNode::FuncType::Ln, var)) { return false; }
    const auto exponent = detail::exact_rational_value(pw->exponent());
    return exponent && *exponent == Rational(-1);
}

引用了 LMCAS::detail::exact_rational_value(), LMCAS::exponent, LMCAS::FunctionNode::Ln, sf_is_fn_of_var() , 以及 sf_is_inv_ln_var().

被这些函数引用 sf_is_inv_ln_var().

函数调用图:

这是这个函数的调用关系图:

sf_is_inv_var()

bool LMCAS::anonymous_namespace{integration_special_functions.cpp}::sf_is_inv_var	(	const std::shared_ptr< const SymbolicNode > &	node,
		const std::string &	var )

在文件 integration_special_functions.cpp 第 29 行定义.

                                         {
    auto pw = std::dynamic_pointer_cast<const PowerNode>(node);
    if (!pw) { return false; }
    auto b = std::dynamic_pointer_cast<const VariableNode>(pw->base());
    if (!b || b->is_constant() || b->name() != var) { return false; }
    const auto exponent = detail::exact_rational_value(pw->exponent());
    return exponent && *exponent == Rational(-1);
}

引用了 LMCAS::b, LMCAS::detail::exact_rational_value(), LMCAS::exponent , 以及 sf_is_inv_var().

被这些函数引用 sf_is_inv_var() , 以及 sf_split_inv_var().

函数调用图:

这是这个函数的调用关系图:

sf_match_exp_neg_quad()

Result< bool > LMCAS::anonymous_namespace{integration_special_functions.cpp}::sf_match_exp_neg_quad	(	const std::shared_ptr< const SymbolicNode > &	node,
		const std::string &	var,
		Rational &	c_out,
		ComputationContext &	context )

在文件 integration_special_functions.cpp 第 81 行定义.

                                                                         {
    auto fn = std::dynamic_pointer_cast<const FunctionNode>(node);
    if (!fn || fn->type() != FunctionNode::FuncType::Exp) { return false; }
    if (fn->arguments().size() != 1) { return false; }
    auto arg = LMCAS::detail::expression_from_node(fn->arguments()[0]);
    auto converted = recognize_rational_polynomial(arg, var, context);
    if (!converted) { return Result<bool>::failure(converted.error()); }
    if (!converted.value()) { return false; }
    const auto& poly = *converted.value();
    if (poly.degree() != 2) { return false; }
    if (poly.coeffs.size() < 3) { return false; }
    // Constant and linear terms must be zero.
    if (!(poly.coeffs[0] == Rational(0))) { return false; }
    if (!(poly.coeffs[1] == Rational(0))) { return false; }
    Rational a2 = poly.coeffs[2];
    // Need a strictly negative coefficient: exp(-c*x^2) with c > 0.
    if (!(a2 < Rational(0))) { return false; }
    c_out = Rational(0) - a2; // c = -a2 > 0
    return true;
}

引用了 LMCAS::context, LMCAS::FunctionNode::Exp, LMCAS::detail::expression_from_node(), LMCAS::Result< T >::failure(), LMCAS::recognize_rational_polynomial() , 以及 sf_match_exp_neg_quad().

被这些函数引用 sf_match_exp_neg_quad().

函数调用图:

这是这个函数的调用关系图:

sf_split_inv_var()

bool LMCAS::anonymous_namespace{integration_special_functions.cpp}::sf_split_inv_var	(	const std::shared_ptr< const SymbolicNode > &	node,
		const std::string &	var,
		std::vector< std::shared_ptr< const SymbolicNode > > &	other_factors,
		bool &	has_inv_var )

多个 1/x 因子形成 1/x^2 类幂次，超出此路径的处理范围。

在文件 integration_special_functions.cpp 第 52 行定义.

                                         {
    other_factors.clear();
    has_inv_var = false;
    std::vector<std::shared_ptr<const SymbolicNode>> factors;
    if (auto mul = std::dynamic_pointer_cast<const MultiplyNode>(node)) {
        factors = mul->operands();
    } else {
        factors.push_back(node);
    }
    for (const auto& f : factors) {
        if (sf_is_inv_var(f, var)) {
            if (has_inv_var) { return false; } /** @brief 多个 1/x 因子形成 1/x^2 类幂次，超出此路径的处理范围。 */
            has_inv_var = true;
        } else {
            other_factors.push_back(f);
        }
    }
    return true;
}

引用了 LMCAS::mul(), sf_is_inv_var() , 以及 sf_split_inv_var().

被这些函数引用 sf_split_inv_var().

函数调用图:

这是这个函数的调用关系图:

sf_sqrt_pi()

std::shared_ptr< SymbolicExpr > LMCAS::anonymous_namespace{integration_special_functions.cpp}::sf_sqrt_pi ( )

inline

在文件 integration_special_functions.cpp 第 10 行定义.

                                                {
    return SymbolicExpr::sqrt(LMCAS::detail::make_expression_ptr(
        LMCAS::detail::make_node<VariableNode>("pi", true)));
}

引用了 LMCAS::detail::make_expression_ptr(), LMCAS::detail::make_node() , 以及 sf_sqrt_pi().

被这些函数引用 sf_sqrt_pi().

函数调用图:

这是这个函数的调用关系图: