|
D.5.2.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:
|