We generalize an efficient hyper-regularity and unimodularity test from differential Ore polynomial matrices to arbitrary Ore polynomial matrices. The core of the contribution consists of algorithm…
Slavik, Radan - Hayes, John R. - Bayvel, Polina - Poletti, Francesco - Richardson, David J. - Lavery, Domanic - Liu, Zhixin - Shi, Kai - Petrovich, Marco N. - Galdino, Lidia - Elson, Daniel J. - Karanov, Boris - Clark, Kari - Thomsen, Ben Charles