integration_definite_algebraic.cpp 文件参考

#include "internal/integration_definite_support.hpp"
#include "internal/exact_sturm.hpp"
#include "polynomial_conversion.hpp"
#include "root_of_identity.hpp"
#include <limits>

integration_definite_algebraic.cpp 的引用(Include)关系图:

浏览该文件的源代码.

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

函数
Node	LMCAS::detail::definite::absolute_argument (const SymbolicNode &node)
	识别绝对值节点及公共接口的平方开根表示。
Result< Boundary >	LMCAS::detail::definite::boundary_checked (const SymbolicExpr &expression, ComputationContext &context)
Result< int >	LMCAS::detail::definite::compare_boundaries (const Boundary &a, const Boundary &b, ComputationContext &context)
std::optional< Rational >	LMCAS::detail::definite::exact_number (const Node &node)
static Result< Poly >	LMCAS::detail::definite::gcd_checked (Poly a, Poly b, ComputationContext &context)
static bool	LMCAS::detail::definite::include_divergence (int &divergence, int contribution)
int	LMCAS::detail::definite::infinity_sign (const Node &node)
static Result< int >	LMCAS::detail::definite::polynomial_at_root_sign (Poly polynomial, Algebraic root, ComputationContext &context)
static Result< void >	LMCAS::detail::definite::polynomial_budget (const Poly &polynomial, ComputationContext &context)
Result< std::optional< int > >	LMCAS::detail::definite::polynomial_sign_checked (const Poly &polynomial, const Boundary &a, const Boundary &b, ComputationContext &context)
Result< Poly >	LMCAS::detail::definite::product_checked (const Poly &a, const Poly &b, ComputationContext &context)
RationalResult	LMCAS::detail::definite::rational_checked (const Node &node, const std::string &var, ComputationContext &context)
Result< int >	LMCAS::detail::definite::rational_divergence_checked (RationalFunction &rational, const Boundary &a, const Boundary &b, ComputationContext &context)
static RationalResult	LMCAS::detail::definite::rational_operands_checked (const std::vector< Node > &operands, bool sum, const std::string &var, ComputationContext &context)
static Result< void >	LMCAS::detail::definite::rational_pole_divergence (const RationalFunction &rational, const Algebraic &root, const Boundary &a, const Boundary &b, int &divergence, ComputationContext &context)
static RationalResult	LMCAS::detail::definite::rational_power_checked (const PowerNode &power, const std::string &var, ComputationContext &context)
static Result< void >	LMCAS::detail::definite::recover_rational_cut (Algebraic &root, const BigInt &denominator_bound, ComputationContext &context)
Result< std::vector< Algebraic > >	LMCAS::detail::definite::roots_checked (const Poly &polynomial, ComputationContext &context)
static int	LMCAS::detail::definite::sign (const Rational &value)