solver_linear.cpp 文件参考

#include "internal/expression_transform.hpp"
#include "solver.hpp"
#include "internal/symbolic_ast.hpp"
#include "poly_utils.hpp"
#include "internal/expression_analysis.hpp"
#include "internal/exact_matrix.hpp"
#include "assumption_context.hpp"
#include <iostream>
#include <vector>
#include <string>
#include <map>
#include <algorithm>
#include <numeric>
#include <cmath>
#include <set>
#include <queue>
#include <unordered_map>
#include <optional>
#include <limits>
#include "internal/solver_support.hpp"

solver_linear.cpp 的引用(Include)关系图:

浏览该文件的源代码.

类
struct	LMCAS::NodeLess

命名空间
namespace	LMCAS

函数
static std::shared_ptr< const NumberNode >	LMCAS::add_number_nodes (const std::shared_ptr< const NumberNode > &a, const std::shared_ptr< const NumberNode > &b)
static bool	LMCAS::collect_operand_denominators (const std::vector< std::shared_ptr< const SymbolicNode > > &operands, std::vector< std::shared_ptr< const SymbolicNode > > &den_factors, std::vector< std::shared_ptr< SymbolicExpr > > &den_constraints)
static bool	LMCAS::collect_power_denominators (const PowerNode &power, std::vector< std::shared_ptr< const SymbolicNode > > &den_factors, std::vector< std::shared_ptr< SymbolicExpr > > &den_constraints)
static bool	LMCAS::get_integer_value (const std::shared_ptr< const SymbolicNode > &node, BigInt &value)
static std::pair< SymbolicExpr, SymbolicExpr >	LMCAS::isolate_linear_coeff (const SymbolicExpr &expr, const std::string &var, ComputationContext &context)
static std::shared_ptr< const NumberNode >	LMCAS::multiply_number_nodes (const std::shared_ptr< const NumberNode > &a, const std::shared_ptr< const NumberNode > &b)