Top
Back: Modules and their annihilator
Forward: General concepts
FastBack: How to use this manual
FastForward: General concepts
Up: Getting started
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

2.3.6 Resolution

There are several commands in SINGULAR for computing free resolutions. The most general command is res(... ,n) which determines heuristically what method to use for the given problem. It computes the free resolution up to the length $n$, where $n=0$ corresponds to the full resolution.

Here we use the possibility to inspect the calculation process using the option prot.

 
ring R;      // the default ring in char 32003
R;
==> //   characteristic : 32003
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x y z
==> //        block   2 : ordering C
ideal I = x4+x3y+x2yz,x2y2+xy2z+y2z2,x2z2+2xz3,2x2z2+xyz2;
option(prot);
resolution rs = res(I,0);
==> using lres
==> 4(m0)4(m1).5(m1)g.g6(m1)...6(m2)..

Disable this protocol with

 
option(noprot);

When we enter the name of the calculated resolution, we get a pictorial description of the minimized resolution where the exponents denote the rank of the free modules. Note that the calculated resolution itself may not yet be minimal.

 
rs;
==> 1      4      5      2      0
==>R  <-- R  <-- R  <-- R  <-- R
==>
==>0      1      2      3      4
print(betti(rs),"betti");
==>            0     1     2     3
==> ------------------------------
==>     0:     1     -     -     -
==>     1:     -     -     -     -
==>     2:     -     -     -     -
==>     3:     -     4     1     -
==>     4:     -     -     1     -
==>     5:     -     -     3     2
==> ------------------------------
==> total:     1     4     5     2

In order to minimize the resolution, that is to calculate the maps of the minimal free resolution, we use the command minres:

 
rs=minres(rs);

A single module in this resolution is obtained (as usual) with the brackets [ and ]. The print command can be used to display a module in a more readable format:

 
print(rs[3]);
==> z3,   -xyz-y2z-4xz2+16z3,
==> 0,    -y2,
==> -y+4z,48z,
==> x+2z, 48z,
==> 0,    x+y-z

In this case, the output is to be interpreted as follows: the 3rd syzygy module of R/I, rs[3], is the rank-2-submodule of $R^5$generated by the vectors $(z^3,0,-y+4z,x+2z,0)$ and $(-xyz-y^2z-4xz^2+16z^3,-y^2,48z,48z,x+y-z)$.


Top Back: Modules and their annihilator Forward: General concepts FastBack: How to use this manual FastForward: General concepts Up: Getting started Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4-0-3, 2016, generated by texi2html.