Solving equations in orders

We consider the algorithmic problem of solving polynomial equations in one variable in
commutative rings of which the additive group is a finitely generated free abelian group.
In special cases, good algorithms are available, but we present evidence that in its full
generality the problem does not admit an efficient solution. The talk is partly based on
joint work with Alice Silverberg.