liftingFunction(s,j,k)
This function was added in version 1.2 of the package Jets.
Given a set $X$ and a natural number $s$, let $\mathcal{J}_s (X)$ be the set that contains the elements $x_0,\dots,x_s$ for every element $x\in X$. The depolarization map $\delta_s \colon \mathcal{J}_s (X)\to X$ is defined by $\delta_s (x_i) = x$ for every $x\in X$ and $i\in \{0,\dots,s\}$.
The lifting function $l_s (j,k)$ counts the number of subsets $V\subseteq \mathcal{J}_s (X)$ of cardinality $k$ such that $\delta_s (V) = U$, where $U\subseteq X$ is a fixed subset of cardinality $j$. Note that this number does not depend on $U$ but only on its cardinality. See F. Galetto, N. Iammarino, and T. Yu, Jets and principal components of monomial ideals, and very well-covered graphs for computing this function.
|
|
|
|
For uses of the lifting function, see Example 4.
The object liftingFunction is a method function.
The source of this document is in Jets.m2:1666:0.