This is an optional argument for the schurResolution routine. It specifies an upper bound for the number of syzygy modules in the equivariant resolution of an equivariant module M to be computed by the routine. If a SyzygyLimit is not specified, then all syzygy modules are computed.
The example below computes the 0-th to 3-rd syzygy modules of the 5-th Veronese embedding of P^2.
|
|
|
|
The source of this document is in SchurRings.m2:2497:0.