Interesting Esoterica

Generation of real algebraic loci via complex detours

Article by Stefan Kranich
  • Published in 2015
  • Added on
We discuss the locus generation algorithm used by the dynamic geometry software Cinderella, and how it uses complex detours to resolve singularities. We show that the algorithm is independent of the orientation of its complex detours. We conjecture that the algorithm terminates if it takes small enough complex detours and small enough steps on every complex detour. Moreover, we introduce a variant of the algorithm that possibly generates entire real connected components of real algebraic loci. Several examples illustrate its use for organic generation of real algebraic loci. Another example shows how we can apply the algorithm to simulate mechanical linkages. Apparently, the use of complex detours produces physically reasonable motion of such linkages.

Links


BibTeX entry

@article{Generationofrealalgebraiclociviacomplexdetours,
	title = {Generation of real algebraic loci via complex detours},
	abstract = {We discuss the locus generation algorithm used by the dynamic geometry
software Cinderella, and how it uses complex detours to resolve singularities.
We show that the algorithm is independent of the orientation of its complex
detours. We conjecture that the algorithm terminates if it takes small enough
complex detours and small enough steps on every complex detour. Moreover, we
introduce a variant of the algorithm that possibly generates entire real
connected components of real algebraic loci. Several examples illustrate its
use for organic generation of real algebraic loci. Another example shows how we
can apply the algorithm to simulate mechanical linkages. Apparently, the use of
complex detours produces physically reasonable motion of such linkages.},
	url = {http://arxiv.org/abs/1510.05464v3 http://arxiv.org/pdf/1510.05464v3},
	year = 2015,
	author = {Stefan Kranich},
	comment = {},
	urldate = {2021-04-10},
	archivePrefix = {arXiv},
	eprint = {1510.05464},
	primaryClass = {math.AG},
	collections = {basically-computer-science,geometry}
}