carl  24.04
Computer ARithmetic Library
Private Types | Static Private Member Functions
carl::MultivariateHensel< Coeff, Ordering, Policies > Class Template Reference

#include <MultivariateHensel.h>

Private Types

typedef Coeff Integer
 
typedef UnivariatePolynomial< MultivariatePolynomial< Coeff, Ordering, Policies > > UnivReprPol
 

Static Private Member Functions

static std::list< UnivReprPol > calculate (const UnivReprPol &, const std::map< Variable, Coeff > &, Integer)
 

Detailed Description

template<typename Coeff, typename Ordering, typename Policies>
class carl::MultivariateHensel< Coeff, Ordering, Policies >

Definition at line 245 of file MultivariateHensel.h.

Member Typedef Documentation

◆ Integer

template<typename Coeff , typename Ordering , typename Policies >
typedef Coeff carl::MultivariateHensel< Coeff, Ordering, Policies >::Integer
private

Definition at line 247 of file MultivariateHensel.h.

◆ UnivReprPol

template<typename Coeff , typename Ordering , typename Policies >
typedef UnivariatePolynomial<MultivariatePolynomial<Coeff,Ordering,Policies> > carl::MultivariateHensel< Coeff, Ordering, Policies >::UnivReprPol
private

Definition at line 248 of file MultivariateHensel.h.

Member Function Documentation

◆ calculate()

template<typename Coeff , typename Ordering , typename Policies >
static std::list<UnivReprPol> carl::MultivariateHensel< Coeff, Ordering, Policies >::calculate ( const UnivReprPol &  ,
const std::map< Variable, Coeff > &  ,
Integer   
)
inlinestaticprivate

Definition at line 251 of file MultivariateHensel.h.

The documentation for this class was generated from the following file: