symbolic_gcd.cpp 文件参考

#include "poly_utils.hpp"
#include "multivariate_factor.hpp"
#include "internal/symbolic_ast.hpp"
#include "internal/expression_analysis.hpp"
#include "internal/multivariate_conversion.hpp"
#include "internal/rewrite_budget.hpp"
#include "internal/normalization_utils.hpp"
#include <algorithm>
#include <cstdint>
#include <exception>
#include <limits>
#include <memory>
#include <new>
#include <set>
#include <string>
#include <utility>
#include <vector>

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

浏览该文件的源代码.

类
class	LMCAS::anonymous_namespace{symbolic_gcd.cpp}::RecursionFrame

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

函数
Result< void >	LMCAS::anonymous_namespace{symbolic_gcd.cpp}::check_term_budget (std::size_t lhs_terms, std::size_t rhs_terms, ComputationContext &context)
Result< void >	LMCAS::anonymous_namespace{symbolic_gcd.cpp}::collect_polynomial_operands (const std::vector< std::shared_ptr< const SymbolicNode > > &operands, std::set< std::string > &variables, ComputationContext &context)
Result< void >	LMCAS::anonymous_namespace{symbolic_gcd.cpp}::collect_polynomial_variables (const std::shared_ptr< const SymbolicNode > &node, std::set< std::string > &variables, ComputationContext &context)
MultiPoly	LMCAS::anonymous_namespace{symbolic_gcd.cpp}::make_monic (const MultiPoly &polynomial)
Result< MultiPoly >	LMCAS::anonymous_namespace{symbolic_gcd.cpp}::multiply_checked (const MultiPoly &lhs, const MultiPoly &rhs, ComputationContext &context)
Result< std::shared_ptr< SymbolicExpr > >	LMCAS::anonymous_namespace{symbolic_gcd.cpp}::multivariate_polynomial_to_expression (const MultiPoly &polynomial, detail::RewriteBudget &budget)
Result< MultiPoly >	LMCAS::anonymous_namespace{symbolic_gcd.cpp}::node_to_multivariate_polynomial (const std::shared_ptr< const SymbolicNode > &node, const std::vector< std::string > &variables, ComputationContext &context)
Result< std::size_t >	LMCAS::anonymous_namespace{symbolic_gcd.cpp}::polynomial_exponent (const std::shared_ptr< const SymbolicNode > &node)
Result< std::shared_ptr< SymbolicExpr > >	LMCAS::anonymous_namespace{symbolic_gcd.cpp}::polynomial_term_to_expression (const Monomial &monomial, const Rational &coefficient, const MultiPoly &polynomial, detail::RewriteBudget &budget)
Result< MultiPoly >	LMCAS::anonymous_namespace{symbolic_gcd.cpp}::power_to_polynomial (const std::shared_ptr< const PowerNode > &power, const std::vector< std::string > &variables, ComputationContext &context)
Result< MultiPoly >	LMCAS::anonymous_namespace{symbolic_gcd.cpp}::sum_to_polynomial (const std::shared_ptr< const AddNode > &addition, const std::vector< std::string > &variables, ComputationContext &context)
Result< Rational >	LMCAS::symbolic_polynomial_content (const SymbolicExpr &expression, ComputationContext &context)
SymbolicGcdResult	LMCAS::symbolic_polynomial_gcd (const SymbolicExpr &lhs, const SymbolicExpr &rhs, ComputationContext &context)
Result< void >	LMCAS::anonymous_namespace{symbolic_gcd.cpp}::verify_gcd_candidate (const MultiPoly &lhs, const MultiPoly &rhs, const MultiPoly &gcd)

变量
constexpr const char *	LMCAS::anonymous_namespace{symbolic_gcd.cpp}::kOperation = "symbolic_polynomial_gcd"