Top
Back: cleanunit
Forward: calculateI
FastBack: primdecint_lib
FastForward: resjung_lib
Up: resbin_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.8.16 resfunction

Procedure from library resbin.lib (see resbin_lib).

Usage:
resfunction(invariant,auxinv,nchart,n);
invariant, auxinv lists, nchart, n integers

Compute:
Patch the resolution function

Return:
The complete resolution function

Example:
 
LIB "resbin.lib";
ring r = 0,(x(1..2)),dp;
ideal J=x(1)^2-x(2)^3;
list L=Eresol(J);
L[3]; // incomplete resolution function
==> [1]:
==>    [1]:
==>       1
==>    [2]:
==>       3/2
==> [2]:
==>    @
==> [3]:
==>    [1]:
==>       1
==>    [2]:
==>       2
==> [4]:
==>    @
==> [5]:
==>    [1]:
==>       1
==>    [2]:
==>       0
==> [6]:
==>    #
==> [7]:
==>    #
resfunction(L[3],L[7],7,2); // complete resolution function
==> [1]:
==>    [1]:
==>       1
==>    [2]:
==>       3/2
==> [2]:
==>    @
==> [3]:
==>    [1]:
==>       1
==>    [2]:
==>       2
==> [4]:
==>    @
==> [5]:
==>    [1]:
==>       1
==>    [2]:
==>       [1]:
==>          -1
==>       [2]:
==>          1
==>       [3]:
==>          1
==> [6]:
==>    #
==> [7]:
==>    #


Top Back: cleanunit Forward: calculateI FastBack: primdecint_lib FastForward: resjung_lib Up: resbin_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-2, Oct 2010, generated by texi2html.