|
LMCAS
Lamina Computer Algebra System
|
#include <stdexcept>#include "internal/expression_transform.hpp"#include "transcendental_factor.hpp"#include "internal/symbolic_ast.hpp"#include "poly_utils.hpp"#include "internal/expression_analysis.hpp"#include "internal/transcendental_support.hpp"#include <string>#include <vector>#include <unordered_set>#include <limits>#include <cstdint>命名空间 | |
| namespace | LMCAS |
函数 | |
| Result< TfPolyBuildResult > | LMCAS::tf_build_polynomial (const std::shared_ptr< SymbolicExpr > &poly_expr, const std::vector< std::string > &indeterminates, const std::string &original_var) |
| Result< TfPolyBuildResult > | LMCAS::tf_build_polynomial_impl (const std::shared_ptr< SymbolicExpr > &expression, const std::vector< std::string > &indeterminates, const std::string &original_variable, ComputationContext &context) |
| static Result< TfPolyBuildResult > | LMCAS::tf_convert_main_variable (TfPolyBuildResult result, const std::shared_ptr< SymbolicExpr > &expanded, const std::vector< std::string > &all_variables) |
| int | LMCAS::tf_degree_in (const std::shared_ptr< const SymbolicNode > &node, const std::string &variable) |
| static std::vector< std::string > | LMCAS::tf_polynomial_variables (const std::shared_ptr< SymbolicExpr > &expression, const std::vector< std::string > &indeterminates, const std::string &original_var) |
| static int | LMCAS::tf_power_degree (const PowerNode &power, const std::string &var) |
| static void | LMCAS::tf_select_main_variable (TfPolyBuildResult &result, const std::shared_ptr< SymbolicExpr > &expanded, const std::vector< std::string > &variables, int &max_degree) |
| static bool | LMCAS::tf_validate_polynomial (const std::shared_ptr< SymbolicExpr > &poly_expr, const std::vector< std::string > &all_variables) |
| 判断换元式是否为候选变量的多项式。 各候选变量的次数须可确定为非负整数,且超越函数不得依赖不定元或原始变量。 | |