Effective characterization of evaluation ideals of the ring of integro-differential operators

This paper provides a step forward to developing an algorithmic study of linear systems of polynomial ordinary integro-differential equations over a field Math 1 of characteristic zero. Such a study can be achieved by first obtaining a constructive proof of the coherence property of the ring Math 2 of linear ordinary integro-differential operators with coefficients in Math 3. To do that, the finiteness of the intersection of two finitely generated ideals has to be algorithmically studied. Three cases must be considered: first when evaluation operators generate the two ideals; second, when only one ideal is generated by evaluation operators; and third, when none is generated by evaluation operators. In this paper, we first explicitly characterize the intersection of two finitely generated ideals defined by evaluation operators. As for the second case, a key result is that the ideals generated by evaluations are semisimple Math 4-modules. We develop an algorithmic proof of this result. In particular, we show how a finite set of generators, defined by "simple" evaluations, can be obtained, that characterizes the class of finitely generated evaluation ideals of Math 5 as finitely generated Math 6-modules. Due to lack of space, the second and third cases will be developed in other publications.