We know that $ax+by=c$ with $gcd(a,b)=1$ could be solved over $\Bbb Z$. Supposing if $a,b,c\in\Bbb Z[i]$, is there an analogous framework to find $x,y\in\Bbb Z[i]$ (at least of minimum norms)?
Asked
Active
Viewed 451 times
2

Turbo
- 6,221
-
2You can extend the Euclidean algorithm so to compute the Bezout identity exactly the same as for integers, e.g. as in this answer. Ditto for polynomials over a field or any other domain that has a (constructive) Euclidean algorithm. – Bill Dubuque Mar 31 '15 at 20:24