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 P2.
S = schurRing(s,3); |
rep = s_{5}; |
M = {1_S,s_{5},s_{10},s_{15},s_{20},s_{25},s_{30}}; |
schurResolution(rep,M,SyzygyLimit => 3) |