poly_utils.cpp 文件参考

#include <stdexcept>
#include "internal/rewrite_budget.hpp"
#include "internal/expression_transform.hpp"
#include "polynomial_conversion.hpp"
#include "internal/expression_analysis.hpp"
#include "internal/facts_query.hpp"
#include "internal/normalization_utils.hpp"
#include "internal/symbolic_ast.hpp"
#include "internal/visitors/normalization_visitor.hpp"
#include <algorithm>
#include <cmath>
#include <cstdint>
#include <limits>
#include <type_traits>
#include <utility>

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

浏览该文件的源代码.

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

函数
template<typename T>
	LMCAS::__attribute__ ((visibility("default"))) Result< Polynomial< T > > symbolic_to_poly(const std
Polynomial< SymbolicPolyCoeff >	LMCAS::anonymous_namespace{poly_utils.cpp}::add_checked_coefficients (const Polynomial< SymbolicPolyCoeff > &left, const Polynomial< SymbolicPolyCoeff > &right, detail::RewriteBudget &budget)
Result< void >	LMCAS::anonymous_namespace{poly_utils.cpp}::check_power_coefficient_count (std::size_t base_count, int exponent, detail::RewriteBudget *budget)
Result< void >	LMCAS::anonymous_namespace{poly_utils.cpp}::check_zero_power_base (const detail::SymbolicNodePtr &base, ComputationContext &context)
void	LMCAS::anonymous_namespace{poly_utils.cpp}::checked_coefficient_count (std::size_t count, detail::RewriteBudget &budget)
std::size_t	LMCAS::anonymous_namespace{poly_utils.cpp}::checked_product_count (std::size_t left, std::size_t right, detail::RewriteBudget &budget)
template<typename Node>
detail::SymbolicNodePtr	LMCAS::anonymous_namespace{poly_utils.cpp}::coefficient_arithmetic (const detail::SymbolicNodePtr &left, const detail::SymbolicNodePtr &right, detail::RewriteBudget &budget)
template<typename T>
Result< Polynomial< T > >	LMCAS::anonymous_namespace{poly_utils.cpp}::constant_to_poly (const detail::SymbolicNodePtr &node, const std::string &variable, detail::RewriteBudget *budget)
bool	LMCAS::contains (const SymbolicExpr &expression, const std::string &variable)
template<>
Result< BigInt >	LMCAS::extract_coeff_value< BigInt > (const std::shared_ptr< SymbolicExpr > &coefficient)
template<>
Result< Rational >	LMCAS::extract_coeff_value< Rational > (const std::shared_ptr< SymbolicExpr > &coefficient)
template<>
Result< SymbolicPolyCoeff >	LMCAS::extract_coeff_value< SymbolicPolyCoeff > (const std::shared_ptr< SymbolicExpr > &coefficient)
Polynomial< SymbolicPolyCoeff >	LMCAS::anonymous_namespace{poly_utils.cpp}::multiply_checked_coefficients (const Polynomial< SymbolicPolyCoeff > &left, const Polynomial< SymbolicPolyCoeff > &right, detail::RewriteBudget &budget)
detail::SymbolicNodePtr	LMCAS::anonymous_namespace{poly_utils.cpp}::normalize_coefficient (const detail::SymbolicNodePtr &node, detail::RewriteBudget &budget)
template<typename T>
bool	LMCAS::polynomial_product_fits (const Polynomial< T > &left, const Polynomial< T > &right)
template<typename T>
Result< Polynomial< T > >	LMCAS::symbolic_power_to_poly (const PowerNode &power, const std::string &variable, ComputationContext *context, detail::RewriteBudget *budget)
template<typename T>
Result< Polynomial< T > >	LMCAS::symbolic_product_to_poly (const MultiplyNode &multiply, const std::string &variable, ComputationContext *context, detail::RewriteBudget *budget)
template<typename T>
Result< Polynomial< T > >	LMCAS::symbolic_sum_to_poly (const AddNode &add, const std::string &variable, ComputationContext *context, detail::RewriteBudget *budget)
template<typename T>
Result< Polynomial< T > >	LMCAS::symbolic_to_poly_recursive (const std::shared_ptr< const SymbolicNode > &node, const std::string &variable, ComputationContext *context, detail::RewriteBudget *budget)
void	LMCAS::anonymous_namespace{poly_utils.cpp}::trim_checked_coefficients (Polynomial< SymbolicPolyCoeff > &polynomial, detail::RewriteBudget &budget)