equivalence_engine.hpp 文件参考

#include "computation_context.hpp"
#include "equivalence_options.hpp"
#include "symbolic.hpp"

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

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

浏览该文件的源代码.

命名空间
namespace	LMCAS
namespace	LMCAS::detail
	多元 Hensel 提升（单变量步）

函数
__attribute__((visibility("default"))) Result< EqvProfile > eqv_profile_from_name(const std	LMCAS::__attribute__ ((visibility("default"))) BerlekampResult berlekamp_factor(const Polynomial< Rational > &poly
	Berlekamp 模素数分解(内部接口).
Result< bool >	LMCAS::detail::equivalent_impl (const SymbolicExpr &lhs, const SymbolicExpr &rhs, ComputationContext &context, const EqvOptions &options)

变量
constexpr const char *	LMCAS::kEquivalentOperation = "LMCAS.equivalent"
constexpr const char *	LMCAS::kEquivalentProfileOperation