solve_transcendental.hpp 文件参考

超越方程求解：三角、指数、对数方程的符号反演。 更多...

#include "symbolic.hpp"
#include "solve_strategies.hpp"
#include "result.hpp"
#include <vector>
#include <memory>
#include <string>
#include <optional>

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

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

浏览该文件的源代码.

类
struct	LMCAS::SubstitutionResult
	换元结果，记录换元表达式、换元后的多项式及换元变量名。 更多...

命名空间
namespace	LMCAS

函数
class	LMCAS::__attribute__ ((visibility("default"))) AssumptionContext
	Scoped assumption context with push/pop management.

详细描述

超越方程求解：三角、指数、对数方程的符号反演。

在文件 solve_transcendental.hpp 中定义.

---

类说明

LMCAS::SubstitutionResult

struct LMCAS::SubstitutionResult

换元结果，记录换元表达式、换元后的多项式及换元变量名。

在文件 solve_transcendental.hpp 第 18 行定义.

LMCAS::SubstitutionResult 的协作图:

类成员
shared_ptr< SymbolicExpr >	poly_in_u	换元后关于 u 的多项式
shared_ptr< SymbolicExpr >	u_expr	换元表达式（u = f(x) 中的 f(x)）
string	u_var	换元变量名