Abstract: Let be a computable field. We present an algorithm to decide whether a proper rational parametrization of a ruled surface, with coefficients in , can be properly reparametrized over a real (i.e. embedded in ) finite field extension of . Moreover, in the affirmative case, the algorithm provides a proper parametrization with coefficients in a real extension of of degree at most 2.

Authorship

Download reference