polynomial_solver_support.hpp

浏览该文件的文档.

#pragma once
#include "solve_polynomial.hpp"
#include "computation_context.hpp"
 
namespace LMCAS::polynomial_solver_detail {
bool is_purely_numeric(const std::shared_ptr<SymbolicExpr>& expr);
std::shared_ptr<SymbolicExpr> negate(const std::shared_ptr<SymbolicExpr>& expr);
std::shared_ptr<SymbolicExpr> sub(const std::shared_ptr<SymbolicExpr>& a,
                                 const std::shared_ptr<SymbolicExpr>& b);
std::shared_ptr<SymbolicExpr> num(int value);
std::vector<std::shared_ptr<SymbolicExpr>> solve_quadratic_internal(
    const std::shared_ptr<SymbolicExpr>& a, const std::shared_ptr<SymbolicExpr>& b,
    const std::shared_ptr<SymbolicExpr>& c, ComputationContext& context);
bool convert_to_rational_poly(const Polynomial<SymbolicPolyCoeff>& poly,
                              Polynomial<Rational>& output, ComputationContext& context);
bool bounded_rational_root_search(const Polynomial<Rational>& polynomial);
std::vector<std::shared_ptr<SymbolicExpr>> exact_polynomial_roots(
    const Polynomial<Rational>& polynomial, ComputationContext& context);
struct SymbolicQuarticDepression {
    std::shared_ptr<SymbolicExpr> p, q, r, shift;
};
SymbolicQuarticDepression symbolic_quartic_depression(
    const std::shared_ptr<SymbolicExpr>& a, const std::shared_ptr<SymbolicExpr>& b,
    const std::shared_ptr<SymbolicExpr>& c, const std::shared_ptr<SymbolicExpr>& d,
    const std::shared_ptr<SymbolicExpr>& e, ComputationContext& context);
std::vector<std::shared_ptr<SymbolicExpr>> symbolic_quartic_roots(
    const SymbolicQuarticDepression& depression, const std::string& variable,
    ComputationContext& context);
std::vector<std::shared_ptr<SymbolicExpr>> solve_cubic_impl(
    const std::shared_ptr<SymbolicExpr>& a, const std::shared_ptr<SymbolicExpr>& b,
    const std::shared_ptr<SymbolicExpr>& c, const std::shared_ptr<SymbolicExpr>& d,
    const std::string& variable, ComputationContext& context);
std::vector<std::shared_ptr<SymbolicExpr>> solve_quartic_impl(
    const std::shared_ptr<SymbolicExpr>& a, const std::shared_ptr<SymbolicExpr>& b,
    const std::shared_ptr<SymbolicExpr>& c, const std::shared_ptr<SymbolicExpr>& d,
    const std::shared_ptr<SymbolicExpr>& e, const std::string& variable,
    ComputationContext& context);
std::vector<std::shared_ptr<SymbolicExpr>> solve_biquadratic_impl(
    const std::shared_ptr<SymbolicExpr>& a, const std::shared_ptr<SymbolicExpr>& b,
    const std::shared_ptr<SymbolicExpr>& c, const std::string& variable,
    ComputationContext& context);
std::vector<std::shared_ptr<SymbolicExpr>> solve_by_factoring_impl(
    const Polynomial<SymbolicPolyCoeff>& polynomial, const std::string& variable,
    ComputationContext& context);
}