assumption_simplification.hpp 文件参考

#include "symbolic.hpp"
#include <string>
#include <vector>

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

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

浏览该文件的源代码.

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

函数
ExpressionResult	LMCAS::detail::differentiate_expression (const ExprPtr &expression, const std::string &variable, ComputationContext &context)
ExpressionResult	LMCAS::detail::expand_expression (const ExprPtr &expression, ComputationContext &context)
ExpressionResult	LMCAS::detail::simplify_expression (const ExprPtr &expression, ComputationContext &context)
ExpressionResult	LMCAS::detail::substitute_expression (const ExprPtr &expression, const std::string &variable, const ExprPtr &replacement, ComputationContext &context)
ExpressionResult	LMCAS::detail::substitute_expression (const ExprPtr &expression, const std::vector< Binding > &replacements, ComputationContext &context)