Simple Shamsuddin derivations of K[X;Y1,…,Yn]: An algorithmic characterization

Let K be a field of characteristic zero, d a derivation of K[X;Y1,…,Yn] of the type image with ai,biset membership, variantK[X] for every i. We characterize the property “d is a simple derivation of K[X;Y1,…,Yn]” in terms of a certain property of d, a property that one can effectively check for whether it is satisfied or not. We apply our algorithm to exhibit families of simple derivations of K[X;Y1,…,Yn] that are very different from what has been known until now. We also show that our algorithm can be traduced into one that determines effectively whether the solutions in the power series ring K[[t]] of the system of algebraic equations image, are algebraically independent over K(t) or not.