m=lowerCorner(F,d)
Let $k = |deg|$ be the total degree and $G \subset F_k$ the summand spanned by the generators of $F_k$ in degree d, $H \subset F_{k+1}$ the summand spanned by generators of degree d' with $0 \le d-d' \le n$. The function returns the corresponding submatrix $m: H -> G$ of the differential.
|
|
|
|
|
|
|
|
|
|
|
The object lowerCorner is a method function.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/TateOnProducts.m2:4400:0.