Singular Manual: mres_map

  | ### 5.1.99 mres_map `Syntax:` `mres_map (` ideal_expression`,` int_expression `)` `mres_map (` module_expression`,` int_expression `)` `Type:` resolution `Purpose:` computes a minimal free resolution of an ideal or module M with the standard basis method. More precisely, let A=`matrix`(M), then `mres_map` computes a free resolution of 164#164 165#165 where the columns of the matrix 166#166are a minimal set of generators of M if the basering is local or if M is homogeneous. If the int expression k is not zero, then the computation stops after k steps and returns a list of modules 135#135, i=1...k. `mres_map(M,0,T)` returns a resolution consisting of at most n+2 modules, where n is the number of variables of the basering. Let `list L=mres_map(M,0,T);` then `L[1]` consists of a minimal set of generators of the input, `L[2]` consists of a minimal set of generators for the first syzygy module of `L[1]`, etc., until `L[p+1]`, such that 167#167 for 168#168, but `L[p+1]`, the first syzygy module of `L[p]`, is 0 (if the basering is not a qring). `Note:` Accessing single elements of a resolution may require some partial computations to be finished and may therefore take some time. `Example:`
        ring r=31991,(t,x,y,z,w),ls;
        ideal M=t2x2+tx2y+x2yz,t2y2+ty2z+y2zw,
                t2z2+tz2w+xz2w,t2w2+txw2+xyw2;
        smatrix T;
        resolution L=mres_map(M,0,T);
        L;
      ==>  1      4      15      18      7      1
      ==> r <--  r <--  r <--   r <--   r <--  r
      ==>
      ==> 0      1      2       3       4      5
      ==>
        // projective dimension of M is 5
        print(T);
      ==> 0,0,0,1,
      ==> 1,0,0,0,
      ==> 0,1,0,0,
      ==> 0,0,1,0
See fres; hres; ideal; lres; module; mres; res; sres.

User manual for Singular version 4.4.1, 2025, generated by texi2html.