L = splittingFdr(p,d,r)
This function computes the splitting type as a direct sum of line bundles for $\mathcal{F}^d_r$ over a field of characteristic p using Theorem 3.2 [KMRR,24].
The user inputs the prime p and the integers d and r.
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 see the multidegrees.
|
|
|
|
|
|
The object splittingFdr 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:1277:0.