integration_support.hpp 文件参考

#include "assumption_context.hpp"
#include "integration.hpp"
#include "poly_utils.hpp"
#include "internal/expression_analysis.hpp"
#include "internal/expression_transform.hpp"
#include "internal/normalization_utils.hpp"
#include "matcher.hpp"
#include "polynomial.hpp"
#include "solve_polynomial.hpp"
#include "internal/symbolic_ast.hpp"
#include "lmmc/config.h"
#include "lmmc/numeric.h"
#include <algorithm>
#include <cmath>
#include <functional>
#include <iostream>
#include <optional>
#include <variant>
#include <unordered_set>

integration_support.hpp 的引用(Include)关系图:

此图展示该文件被哪些文件直接或间接地引用了:

浏览该文件的源代码.

类
struct	LMCAS::detail::IntegralParts
struct	LMCAS::detail::IntegrationEntry

命名空间
namespace	LMCAS
namespace	LMCAS::detail
	多元 Hensel 提升（单变量步）

函数
bool	LMCAS::contains_unevaluated_integral (const std::shared_ptr< const SymbolicNode > &node)
bool	LMCAS::depends_on_integration_variable (const SymbolicExpr &expression, const std::string &variable)
Result< std::optional< SymbolicExpr > >	LMCAS::detail::integrate_power_primitive (const SymbolicExpr &base, const SymbolicExpr &exponent, const std::string &variable, ComputationContext &)
std::optional< int >	LMCAS::integration_bounded_exponent (const NumberNode &number, int minimum_exponent, int maximum_exponent)
template<typename Transform>
std::shared_ptr< SymbolicExpr >	LMCAS::lookup_integral (const std::vector< detail::IntegrationEntry > &table, const SymbolicExpr &matched, const std::string &matched_variable, detail::RewriteBudget &budget, Transform &&transform)
std::shared_ptr< SymbolicExpr >	LMCAS::make_arctan (const std::shared_ptr< SymbolicExpr > &operand)
std::vector< IntegrationEntry >	LMCAS::detail::make_integration_entries ()
std::shared_ptr< SymbolicExpr >	LMCAS::make_unary_function (FunctionNode::FuncType type, const std::shared_ptr< SymbolicExpr > &operand)
SymbolicExpr	LMCAS::detail::materialize_integral (const IntegralParts &parts, const std::string &variable, RewriteBudget &budget)
std::shared_ptr< SymbolicExpr >	LMCAS::sym_rational (const BigInt &numerator, const BigInt &denominator)
std::shared_ptr< SymbolicExpr >	LMCAS::sym_sub (const SymbolicExpr &lhs, const SymbolicExpr &rhs)

---

类说明

LMCAS::detail::IntegralParts

struct LMCAS::detail::IntegralParts

在文件 integration_support.hpp 第 26 行定义.

LMCAS::detail::IntegralParts 的协作图:

类成员
SymbolicExpr	primitive
SymbolicExpr	remainder