Cannibalistic class (source code)

= Cannibalistic class
{title2=$\rho^k(E)$}
{wiki}

The cannibalistic class is defined by
$$
\psi^k(\lambda_E)=\rho^k(E)\lambda_E.
$$
It satisfies $\rho^k(E\oplus F)=\rho^k(E)\rho^k(F)$. For a line bundle,
$$
\rho^k(L)=\frac{1-\overline L^k}{1-\overline L}
=1+\overline L+\cdots+\overline L^{k-1}.
$$