Manicore
Library to implement schemes on n-dimensionnal manifolds.
Functions
Manicore::Dimension Namespace Reference

Functions

constexpr size_t factorial (size_t n)
 \( n! \) More...
 
constexpr size_t binom (size_t n, size_t k)
 \( \begin{pmatrix} n \\ k \end{pmatrix} \) More...
 
constexpr size_t ExtDim (size_t l, size_t d)
 Dimension of the exterior algebra \(\Lambda^l(\mathbb{R}^d)\). More...
 
constexpr size_t PolyDim (int r, size_t d)
 Dimension of \(\mathcal{P}_r(\mathbb{R}^d)\). More...
 
constexpr size_t HDim (int r, size_t d)
 Dimension of homogeneous polynomials \( \mathcal{H}_r(\mathbb{R}^d)\). More...
 
constexpr size_t PLDim (int r, size_t l, size_t d)
 Dimension of \(\mathcal{P}_r\Lambda^l(\mathbb{R}^d)\). More...
 
constexpr size_t kHDim (int r, size_t l, size_t d)
 Dimension of the image of Koszul on homogeneous polynomials \( \kappa\mathcal{H}_r\Lambda^l(\mathbb{R}^d)\). More...
 
constexpr size_t dHDim (int r, size_t l, size_t d)
 Dimension of the image of d on homogeneous polynomials \( d\mathcal{H}_r\Lambda^l(\mathbb{R}^d)\). More...
 
constexpr size_t kPLDim (int r, size_t l, size_t d)
 Dimension of the image of Koszul on polynomials \( \kappa \mathcal{P}_r\Lambda^l(\mathbb{R}^d)\). More...
 
constexpr size_t dPLDim (int r, size_t l, size_t d)
 Dimension of the image of d on polynomials \( d \mathcal{P}_r\Lambda^l(\mathbb{R}^d)\). More...
 
constexpr size_t PLtrimmedDim (int r, size_t l, size_t d)
 Dimension of trimmed polynomial spaces \( \mathcal{P}_r^{-}\Lambda^l(\mathbb{R}^d)\). More...
 

Function Documentation

◆ binom()

constexpr size_t Manicore::Dimension::binom ( size_t  n,
size_t  k 
)
constexpr

\( \begin{pmatrix} n \\ k \end{pmatrix} \)

◆ factorial()

constexpr size_t Manicore::Dimension::factorial ( size_t  n)
constexpr

\( n! \)