|
|
D.5.5.14 resfunction
Procedure from library resbinomial.lib (see resbinomial_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 "resbinomial.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]:
==> #
|
|
