Computing $J$-ideals of a matrix over a principal ideal domain

Clemens Heuberger, Roswitha Rissner

Given a square matrix $B$ over a principal ideal domain $D$ and an ideal $J$ of $D$, the $J$-ideal of $B$ consists of the polynomials $f\in D[X]$ such that all entries of $f(B)$ ar…