Canonical bases of modules over one dimensional \(\mathbf{K}\)-algebras (Q2314652)

Let \(\mathbf{K}[t]\) be the polynomial ring with coefficients in a field \(\mathbf{K}\) of characteristic zero, set \(\mathbf{A} = \mathbf{K}[f_1,\dots, f_s]\), with \(f_1,\dots, f_s \in \mathbf{K}[t]\). In the present paper the authors use a result of \textit{A. Assi} et al. [J. Symb. Comput. 79, Part 1, 4--22 (2017; Zbl 1351.13013)], extending in a sense SAGBI bases, [\textit{M. Kreuzer} and \textit{L. Robbiano}, Computational commutative algebra. II. Berlin: Springer (2005; Zbl 1090.13021)] and [\textit{L. Robbiano} and \textit{M. Sweedler}, Lect. Notes Math. 1430, 61--87 (1990; Zbl 0725.13013)], to the setting of modules, and give an algorithm to compute a system of generators of the ideal consisting of degrees in \(t \) of elements of the module \(\mathbf {M}=F_1\mathbf{A}+\dots+F_r\mathbf{A}\) with \(F_1,\dots, F_r\in\mathbf{K}[t]\). Then, they show applications to the classification of plane polynomial curves with respect to some of their invariants, using the module of Kähler differentials, that is they consider the case where \(\mathbf{A} = \mathbf{K}[X (t ), Y (t )]\) is the ring of coordinates of a plane algebraic curve parametrized by \(X(t),Y(t)\). The procedures in the paper are performed with the numericalsgps GAP package (see also Delgado, Garcia-Sanchez, Morais, \url{https://gap-packages.github.io/numericalsgps}).