A Recursive Method for Determining the One-Dimensional Submodules of Laurent-Ore Modules
Ziming Li, Michael F. Singer, Min Wu, Dabin Zheng
Abstract
We present a method for determining the one-dimensional submodules of a Laurent-Ore module. The method is based on a correspondence between hyperexponential solutions of associated systems and one-dimensional submodules. The hyperexponential solutions are computed recursively by solving a sequence of first-order ordinary matrix equations. As the recursion proceeds, the matrix equations will have constant coefficients with respect to the operators that have been considered.
Create a lesson
Related papers
Construction and formal verification of a special topology on Zn: characterization of connected subsets
Ignacio Vega-Páez
On the Complexity of Computing with p-adic Lattices
Pierre Fromonot, Mercedes Haiech, Tristan Vaccon
Barik transform and Barik eliminant: a novel algebraic method to solve polynomial equations in the sine and cosine of one variable
Sandipan Bandyopadhyay
Automatic Certified Differentiation in Lean
Ramy Shahin
One Loss Resolves Signed Rank-One Gradient Fibers: Exact Decoding on Cycle and Theta Blocks
Junwen Lou, Shuo Tian, Penghui Liu
Deterministic Root-Finding over Finite Fields with Elliptic Curves
Pierre-Jean Spaenlehauer