PolyExt M, PolyExt I; RatExt(i,M), RatExt(i,I)
The algorithm used appears in the paper 'Polynomial and rational solutions of holonomic systems' by Oaku-Takayama-Tsai (2000). The method is to combine isomorphisms of Bjork and Kashiwara with the restriction algorithm.
|
|
|
The object PolyExt is a method function with options.