I was wondering whether there were Euclidean functions on F[X] (F is a field) that aren't the standard degree one. I know that F[X] is a uniquely Euclidean domain but I don't know how to use that (if it is even relevant) to construct a different Euclidean function.
Thanks!!