Macaulay2 » Documentation
Packages » SchurRings :: schurResolution(...,SyzygyLimit=>...)
next | previous | forward | backward | up | index | toc

schurResolution(...,SyzygyLimit=>...) -- Specifies the number of syzygy modules to be computed

Description

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.

i1 : S = schurRing(s,3);
i2 : rep = s_{5};
i3 : M = {1_S,s_{5},s_{10},s_{15},s_{20},s_{25},s_{30}};
i4 : schurResolution(rep,M,SyzygyLimit => 3)

o4 = {{(0, s  )}, {(2, s    + s   )}, {(3, s       + s     + s       + s    
            ()          8,2    6,4          12,2,1    11,4    11,3,1    10,5
     ------------------------------------------------------------------------
     + s       + s       + s    + 2s      + s      + s    + s      + s      +
        10,4,1    10,3,2    9,6     9,5,1    9,4,2    8,7    8,6,1    8,5,2  
     ------------------------------------------------------------------------
     s      + s      + s      + s     )}, {(4, s       + s       + 2s       +
      8,4,3    7,6,2    7,5,3    6,5,4          15,4,1    15,3,2     14,5,1  
     ------------------------------------------------------------------------
     s       + s       + s     + 3s       + 3s       + 2s       + s     +
      14,4,2    14,3,3    13,7     13,6,1     13,5,2     13,4,3    12,8  
     ------------------------------------------------------------------------
     3s       + 4s       + 4s       + s       + s     + 3s       + 5s       +
       12,7,1     12,6,2     12,5,3    12,4,4    11,9     11,8,1     11,7,2  
     ------------------------------------------------------------------------
     5s       + 3s       + 2s       + 3s       + 5s       + 4s       +
       11,6,3     11,5,4     10,9,1     10,8,2     10,7,3     10,6,4  
     ------------------------------------------------------------------------
     3s       + 2s      + 3s      + 4s      + 3s      + s      + 2s      +
       10,5,5     9,9,2     9,8,3     9,7,4     9,6,5    8,8,4     8,7,5  
     ------------------------------------------------------------------------
     s     )}}
      7,7,6

o4 : List

Further information

See also

Functions with optional argument named SyzygyLimit :