Computing hypercircles by moving hyperplanes

  • Authors:
  • Luis Felipe Tabera

  • Affiliations:
  • Departamento de Matemáticas, Estadística y Computación, Universidad de Cantabria, Av. los Castros s/n, Santander, Spain

  • Venue:
  • Journal of Symbolic Computation
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

Abstract

Let K be a field of characteristic zero and let @a be an algebraic element of degree n over K. Given a proper parametrization @j of a rational curve C with coefficients in K(@a), we present a new algorithm to compute the hypercircle associated to the parametrization @j. As a consequence, we can decide if C is defined over K and, if not, we can compute the minimum field of definition of C containing K. The algorithm exploits the structure of the conjugate curves of C but avoids computing in the normal closure of K(@a) over K.