L = splittingPrincipalParts(p,m,k)
This function computes the splitting type as a direct sum of line bundles of the k-th bundle of principal parts for $\mathcal{O}(m)$ on $\mathbb{P}^1$ over a field of characteristic p using the relationship between $\mathcal{P}^k(\mathcal{O}(m))$ and the bundle $\mathcal{F}^d_r$ as described in [KMRR,24].
The user inputs the prime p and the integers m and k.
The output is a list whose entries are either integers if Multidegree is false, or lists of three integers if Multidegree is true. When Multidegree is false, the integers in the list are the twists for the line bundles occurring in the decomposition. When Multidegree is true, for each element of the list, the first entry is the corresponding twist for the line bundle, and the second and third entries are the multidegrees arising from a torus action upon choosing coordinates for $\mathbb{P}^1$.
|
|
|
|
|
|
We compute the same example but now we also compute the multidegrees.
|
|
|
The object splittingPrincipalParts is a method function with options.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/IncidenceCorrespondenceCohomology.m2:1323:0.