|
LMCAS
Lamina Computer Algebra System
|
#include "solve_mixed_transcendental.hpp"#include "internal/symbolic_ast.hpp"#include "internal/rewrite_budget.hpp"命名空间 | |
| namespace | LMCAS |
| namespace | LMCAS::detail |
| 多元 Hensel 提升(单变量步) | |
函数 | |
| bool | LMCAS::detail::consume_mixed_step (ComputationContext &context, std::optional< CasError > *failure, bool *complete) |
| std::vector< IsolatedInterval > | LMCAS::detail::isolate_roots_with_context (const std::shared_ptr< SymbolicExpr > &expr, const std::shared_ptr< SymbolicExpr > &derivative, const std::string &var, const SearchInterval &interval, const SolveOptions &opts, RewriteBudget &budget, std::optional< CasError > *failure, bool *complete) |
| lmmc_real_t | LMCAS::detail::mixed_evaluate_at (const std::shared_ptr< SymbolicExpr > &expr, const std::string &var, lmmc_real_t x, RewriteBudget &budget) |
| lmmc_real_t | LMCAS::detail::mixed_evaluate_with_retry (const std::shared_ptr< SymbolicExpr > &expr, const std::string &var, lmmc_real_t x, lmmc_real_t half_width, RewriteBudget &budget, int max_retries=3) |
| Result< std::vector< NumericRoot > > | LMCAS::detail::mixed_numerical_path (const std::shared_ptr< SymbolicExpr > &factor, const std::string &var, const SearchInterval &interval, const SolveOptions &opts, RewriteBudget &budget, bool &complete) |
| 隔离并精化单个因子的数值根。 | |
| std::optional< NumericRoot > | LMCAS::detail::refine_root_with_context (const std::shared_ptr< SymbolicExpr > &expr, const std::shared_ptr< SymbolicExpr > &derivative, const std::string &var, const IsolatedInterval &interval, const SolveOptions &opts, RewriteBudget &budget, std::optional< CasError > *failure, bool *complete) |