polynomial_conversion.hpp 文件参考

符号表达式与一元多项式的转换。 更多...

#include "computation_context.hpp"
#include "polynomial.hpp"
#include "symbolic.hpp"
#include <memory>
#include <optional>
#include <string>
#include <utility>
#include <vector>

polynomial_conversion.hpp 的引用(Include)关系图:

此图展示该文件被哪些文件直接或间接地引用了:

浏览该文件的源代码.

类
struct	LMCAS::SymbolicPolyCoeff
	符号多项式算法使用的表达式系数。 更多...

命名空间
namespace	LMCAS

类型定义
template<typename T>
using	LMCAS::OptionalRationalPolynomial = std::optional<Polynomial<Rational>>
	将符号表达式转换为一元多项式。

函数
__attribute__((visibility("default"))) Result< EqvProfile > eqv_profile_from_name(const std	LMCAS::__attribute__ ((visibility("default"))) BerlekampResult berlekamp_factor(const Polynomial< Rational > &poly
	Berlekamp 模素数分解(内部接口).
template<>
__attribute__((visibility("default"))) Result< SymbolicPolyCoeff > extract_coeff_value< SymbolicPolyCoeff >(const std __attribute__((visibility("default"))) Result< BigInt > extract_coeff_value< BigInt >(const std __attribute__((visibility("default"))) Result< Rational > extract_coeff_value< Rational >(const std	LMCAS::__attribute__ ((visibility("default"))) bool contains(const SymbolicExpr &expression
	判断表达式是否含指定变量的自由出现。
template<typename T>
Result< T >	LMCAS::extract_coeff_value (const std::shared_ptr< SymbolicExpr > &coefficient)
	精确提取系数；不支持的值返回错误，保持数值完整。

详细描述

符号表达式与一元多项式的转换。

在文件 polynomial_conversion.hpp 中定义.