Reparametrizing Swung Surfaces over the Reals

Abstract

Let K ⊆ R be a computable subfield of the real numbers (for instance, Q). We present an algorithm to decide whether a given parametrization of a rational swung surface, with coefficients in K(i), can be reparametrized over a real (i.e., embedded in R) finite field extension of K. Swung surfaces include, in particular, surfaces of revolution.