multivariate_factor_evaluation.cpp 文件参考

#include "internal/multivariate_factor_checked_support.hpp"
#include "internal/multivariate_factor_support.hpp"
#include <algorithm>
#include <map>
#include <new>
#include <optional>
#include <stdexcept>
#include <utility>

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

浏览该文件的源代码.

类
struct	LMCAS::multivariate_checked_detail::LinearAssignments
struct	LMCAS::multivariate_checked_detail::LinearSamples

命名空间
namespace	LMCAS
namespace	LMCAS::multivariate_checked_detail

函数
static Result< bool >	LMCAS::multivariate_checked_detail::collect_linear_samples (const LinearSamples &input, std::vector< std::vector< Rational > > &samples)
static Result< bool >	LMCAS::multivariate_checked_detail::enumerate_linear_assignments (LinearAssignments &search, size_t index)
std::optional< MultiFactorCheckedResult >	LMCAS::multivariate_checked_detail::factor_evaluated_linear (const MultiPoly &original, const MultiPoly &primitive, const std::string &main_variable, ComputationContext &context)
static std::optional< MultiFactorCheckedResult >	LMCAS::multivariate_checked_detail::factor_linear_assignments (const MultiPoly &original, const LinearSamples &input)
static std::optional< MultiFactorCheckedResult >	LMCAS::multivariate_checked_detail::factor_linear_hensel (const MultiPoly &poly, const MultiPoly &primitive, const std::string &main_variable, const std::vector< std::string > &auxiliary_variables, const std::map< std::string, Rational > &zero_evaluation, MathResult< std::vector< Polynomial< Rational > > > &base_value, ComputationContext &context)
static MultiPoly	LMCAS::multivariate_checked_detail::linear_assignment_factor (const LinearAssignments &search, size_t factor_index)
static bool	LMCAS::multivariate_checked_detail::restore_specialization_unit (const MultiPoly &poly, const std::string &main_var, const std::map< std::string, Rational > &eval_points, std::vector< Polynomial< Rational > > &univariate_factors)
static Result< bool >	LMCAS::multivariate_checked_detail::verify_linear_assignment (LinearAssignments &search)

---

类说明

LMCAS::multivariate_checked_detail::LinearAssignments

struct LMCAS::multivariate_checked_detail::LinearAssignments

在文件 multivariate_factor_evaluation.cpp 第 65 行定义.

LMCAS::multivariate_checked_detail::LinearAssignments 的协作图:

类成员
vector< vector< size_t > >	assignments
vector< MultiPoly >	found_factors
const LinearSamples &	input
const vector< vector< Rational > > &	samples

LMCAS::multivariate_checked_detail::LinearSamples

struct LMCAS::multivariate_checked_detail::LinearSamples

在文件 multivariate_factor_evaluation.cpp 第 33 行定义.

LMCAS::multivariate_checked_detail::LinearSamples 的协作图:

类成员
const vector< string > &	auxiliary
const vector< Rational > &	base_constants
ComputationContext &	context
const string &	main_variable
const MultiPoly &	primitive
const map< string, Rational > &	zero_evaluation