rationalFunctionExt M, rationalFunctionExt I; rationalFunctionExt(M,f), rationalFunctionExt(I,f);
rationalFunctionExt(i,M), rationalFunctionExt(i,I); rationalFunctionExt(i,M,f), rationalFunctionExt(i,I,f)
The algorithm used appears in the paper 'Polynomial and rational solutions of holonomic systems' by OakuTakayamaTsai (2000). The method is to combine isomorphisms of Bjork and Kashiwara with the restriction algorithm.



The object rationalFunctionExt is a method function with options.