LMCAS: src/internal/multivariate_factor_support.hpp 源文件

#pragma once


#include "computation_context.hpp"

#include "polynomial.hpp"

#include "result.hpp"


namespace LMCAS {


using UnivariateFactorResult =

    Result<MathResult<std::vector<Polynomial<Rational>>>>;


UnivariateFactorResult factor_univariate_bridge_checked(

    const Polynomial<Rational>& polynomial,

    ComputationContext& context);


Polynomial<BigInt> factor_integer_polynomial(const Polynomial<Rational>& polynomial);


} // namespace LMCAS

LMCAS::ComputationContext
定义 computation_context.hpp:99

LMCAS::Polynomial
一元多项式模板类
定义 polynomial.hpp:52

LMCAS::Result
定义 result.hpp:39

computation_context.hpp

LMCAS
定义 assumption.hpp:11

LMCAS::factor_integer_polynomial
Polynomial< BigInt > factor_integer_polynomial(const Polynomial< Rational > &polynomial)
定义 univariate_factor_bridge.cpp:9

LMCAS::context
const std::vector< Polynomial< BigInt > > const BigInt ComputationContext & context
定义 exact_factorization.hpp:65

LMCAS::UnivariateFactorResult
Result< MathResult< std::vector< Polynomial< Rational > > > > UnivariateFactorResult
定义 multivariate_factor_support.hpp:9

LMCAS::factor_univariate_bridge_checked
UnivariateFactorResult factor_univariate_bridge_checked(const Polynomial< Rational > &polynomial, ComputationContext &context)
定义 univariate_factor_bridge.cpp:166

polynomial.hpp
一元多项式模板类 Polynomial<T>,支持四则运算,GCD,求导,求值.

result.hpp