Desingularization explains order-degree curves for ore operators

Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer
2013 Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation - ISSAC '13  
Desingularization is the problem of finding a left multiple of a given Ore operator in which some factor of the leading coefficient of the original operator is removed. An order-degree curve for a given Ore operator is a curve in the (r, d)-plane such that for all points (r, d) above this curve, there exists a left multiple of order r and degree d of the given operator. We give a new proof of a desingularization result by Abramov and van Hoeij for the shift case, and show how desingularization
more » ... mplies order-degree curves which are extremely accurate in examples.
doi:10.1145/2465506.2465510 dblp:conf/issac/ChenJKS13 fatcat:suyvawtpd5hifmglcldjsywqcy