carl  24.04
Computer ARithmetic Library
Static Public Member Functions | Private Types
carl::TaylorExpansion< Integer > Class Template Reference

#include <TaylorExpansion.h>

Static Public Member Functions

static Polynomial ideal_adic_coeff (Polynomial &p, Variable::Arg x_v, FiniteInt a, std::size_t k)
 

Private Types

typedef GFNumber< Integer > FiniteInt
 
typedef MultivariatePolynomial< FiniteInt > Polynomial
 

Detailed Description

template<typename Integer>
class carl::TaylorExpansion< Integer >

Definition at line 18 of file TaylorExpansion.h.

Member Typedef Documentation

◆ FiniteInt

template<typename Integer >
typedef GFNumber<Integer> carl::TaylorExpansion< Integer >::FiniteInt
private

Definition at line 20 of file TaylorExpansion.h.

◆ Polynomial

template<typename Integer >
typedef MultivariatePolynomial<FiniteInt> carl::TaylorExpansion< Integer >::Polynomial
private

Definition at line 21 of file TaylorExpansion.h.

Member Function Documentation

◆ ideal_adic_coeff()

template<typename Integer >
static Polynomial carl::TaylorExpansion< Integer >::ideal_adic_coeff ( Polynomial &  p,
Variable::Arg  x_v,
FiniteInt  a,
std::size_t  k 
)
inlinestatic

Definition at line 31 of file TaylorExpansion.h.

Here is the call graph for this function:
The documentation for this class was generated from the following file: