symbolic_cancel.cpp 文件参考

#include "internal/expression_transform.hpp"
#include "symbolic.hpp"
#include "internal/symbolic_ast.hpp"
#include "internal/expression_analysis.hpp"
#include "poly_utils.hpp"
#include <vector>

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

浏览该文件的源代码.

类
struct	LMCAS::anonymous_namespace{symbolic_cancel.cpp}::CancellationFraction

命名空间
namespace	LMCAS
namespace	LMCAS::anonymous_namespace{symbolic_cancel.cpp}

类型定义
using	LMCAS::anonymous_namespace{symbolic_cancel.cpp}::CancellationExpr = std::shared_ptr<SymbolicExpr>
using	LMCAS::anonymous_namespace{symbolic_cancel.cpp}::CancellationNode = std::shared_ptr<const SymbolicNode>

函数
static CancellationExpr	LMCAS::anonymous_namespace{symbolic_cancel.cpp}::build_product (const std::vector< CancellationNode > &factors)
template<typename Coefficient>
static void	LMCAS::anonymous_namespace{symbolic_cancel.cpp}::cancel_polynomial_gcd (const Polynomial< Coefficient > &numerator, const Polynomial< Coefficient > &denominator, CancellationExpr &cur_num, CancellationExpr &cur_den, ComputationContext &context)
static CancellationExpr	LMCAS::anonymous_namespace{symbolic_cancel.cpp}::cancel_variable (CancellationExpr &cur_num, CancellationExpr &cur_den, const std::string &var, const CancellationExpr &simp, ComputationContext &context)
static void	LMCAS::anonymous_namespace{symbolic_cancel.cpp}::classify_fraction_factor (const CancellationNode &factor, std::vector< CancellationNode > &numerator, std::vector< CancellationNode > &denominator)
static bool	LMCAS::anonymous_namespace{symbolic_cancel.cpp}::collect_fraction_terms (const AddNode &addition, std::vector< CancellationFraction > &terms, ComputationContext &context)
static CancellationFraction	LMCAS::anonymous_namespace{symbolic_cancel.cpp}::combine_fraction_terms (const std::vector< CancellationFraction > &terms, ComputationContext &context)
static CancellationExpr	LMCAS::anonymous_namespace{symbolic_cancel.cpp}::distinct_denominator_product (const std::vector< CancellationFraction > &terms, ComputationContext &context)
static CancellationExpr	LMCAS::anonymous_namespace{symbolic_cancel.cpp}::finish_cancellation (const CancellationExpr &cur_num, const CancellationExpr &cur_den, ComputationContext &context)
static CancellationNode	LMCAS::anonymous_namespace{symbolic_cancel.cpp}::positive_denominator_exponent (const NumberNode &exponent)
static CancellationExpr	LMCAS::anonymous_namespace{symbolic_cancel.cpp}::reduce_fraction (CancellationFraction fraction, const CancellationExpr &simp, bool from_sum, ComputationContext &context)
static bool	LMCAS::anonymous_namespace{symbolic_cancel.cpp}::same_denominators (const std::vector< CancellationFraction > &terms)
static void	LMCAS::anonymous_namespace{symbolic_cancel.cpp}::separate_num_den (const CancellationNode &node, std::vector< CancellationNode > &numerator, std::vector< CancellationNode > &denominator)

---

类说明

LMCAS::anonymous_namespace{symbolic_cancel.cpp}::CancellationFraction

struct LMCAS::anonymous_namespace{symbolic_cancel.cpp}::CancellationFraction

在文件 symbolic_cancel.cpp 第 64 行定义.

LMCAS::anonymous_namespace{symbolic_cancel.cpp}::CancellationFraction 的协作图:

类成员
CancellationExpr	denominator
CancellationExpr	numerator