#include "internal/expression_transform.hpp"
#include <map>
#include <vector>
#include <string>
#include <algorithm>
#include <set>
#include <optional>
#include "symbolic.hpp"
#include "internal/symbolic_ast.hpp"
#include "poly_utils.hpp"
#include "internal/expression_analysis.hpp"
#include "internal/multivariate_conversion.hpp"
#include "internal/normalization_utils.hpp"
#include "transcendental_factor.hpp"
#include "solve_polynomial.hpp"
#include "solve_strategies.hpp"
#include "multivariate_factor.hpp"

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

类
struct	LMCAS::RationalRootReconstruction

命名空间
namespace	LMCAS
namespace	LMCAS::anonymous_namespace{symbolic_factor.cpp}

函数
static std::optional< ExpressionResult >	LMCAS::factor_common_polynomial (const std::shared_ptr< const AddNode > &add_node, ComputationContext &context)
static std::optional< ExpressionResult >	LMCAS::factor_multivariate_expression (const std::shared_ptr< SymbolicExpr > &simp, const std::set< std::string > &factor_variables, ComputationContext &context)
static std::optional< ExpressionResult >	LMCAS::factor_numeric_content (const std::shared_ptr< SymbolicExpr > &simp, const std::shared_ptr< const AddNode > &add_node, ComputationContext &context)
static std::optional< ExpressionResult >	LMCAS::factor_rational_univariate (const std::shared_ptr< SymbolicExpr > &simp, const std::string &var, ComputationContext &context)
static std::optional< ExpressionResult >	LMCAS::factor_symbolic_quadratic (const std::shared_ptr< SymbolicExpr > &simp, const std::string &var, ComputationContext &context)
static ExpressionResult	LMCAS::factor_transcendental_expression (const std::shared_ptr< SymbolicExpr > &simp, ComputationContext &context)
static std::optional< ExpressionResult >	LMCAS::factor_variable_rational_roots (const std::shared_ptr< SymbolicExpr > &simp, const std::string &var, ComputationContext &context)
static bool	LMCAS::anonymous_namespace{symbolic_factor.cpp}::is_poly_expr_node (const std::shared_ptr< const SymbolicNode > &node)
static std::shared_ptr< SymbolicExpr >	LMCAS::multipoly_to_symbolic (const LMCAS::MultiPoly &poly, ComputationContext &context)
static std::shared_ptr< SymbolicExpr >	LMCAS::multivariate_factor_expression (const MultiFactorResult &result, ComputationContext &context)
static std::optional< int >	LMCAS::anonymous_namespace{symbolic_factor.cpp}::polynomial_exponent (const std::shared_ptr< const SymbolicNode > &node)
	多元因式分解辅助函数
static std::vector< std::shared_ptr< const SymbolicNode > >	LMCAS::rational_root_factors (const std::vector< Rational > &roots, const Rational &leading, const std::shared_ptr< SymbolicExpr > &x_node, ComputationContext &context)
static Polynomial< Rational >	LMCAS::rational_root_product (const std::vector< Rational > &roots, const Rational &leading, const std::string &var)
static std::optional< ExpressionResult >	LMCAS::reconstruct_rational_root_factors (const Polynomial< Rational > &polynomial, const std::vector< Rational > &roots, const std::string &var, ComputationContext &context)
static RationalRootReconstruction	LMCAS::reconstruct_rational_roots (const Polynomial< Rational > &polynomial, const std::vector< Rational > &roots, const std::string &variable, ComputationContext &context)
static LMCAS::MultiPoly	LMCAS::symbolic_node_to_multipoly (const std::shared_ptr< const SymbolicNode > &node, const std::vector< std::string > &vars)

类说明

◆ LMCAS::RationalRootReconstruction

struct LMCAS::RationalRootReconstruction

在文件 symbolic_factor.cpp 第 274 行定义.

LMCAS::RationalRootReconstruction 的协作图:

类成员
vector< shared_ptr< const SymbolicNode > >	factors
Polynomial< Rational >	quotient
Polynomial< Rational >	remainder

类

命名空间

函数

类说明

◆ LMCAS::RationalRootReconstruction