Dear Joachim, my version of the manual (3.3) has on p 392:
IsLaurentPolynomialRing. I couldn't find any reference to the Euclidean algorithm. Yet
now that you mention it I find it the on line manual. Can I get a more up to date manual?
Yours Chris Charnes