Computing Canonical Bases of Modules of Univariate Relations

Vincent Neiger, Thi Xuan Vu

We study the computation of canonical bases of sets of univariate relations $(p_1,\dots ,p_m)\in \mathbb{K}[x{]}^m$ such that $p_1{f}_1+\cdots +p_m{f}_m=0$; here, the input ele…