On Design and Implementation of a Generic Number Type for Real Algebraic Number Computations Based on Expression Dags

We report on the design and implementation of a number type called Real_algebraic. This number type allows us to compute the sign of arithmetic expressions involving the operations . The sign computation is always correct and, in this sense, not subject to rounding errors. We focus on modularity and...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Mathematics in computer science Ročník 4; číslo 4; s. 539 - 556
Hlavní autoři: Mörig, Marc, Rössling, Ivo, Schirra, Stefan
Médium: Journal Article
Jazyk:angličtina
Vydáno: Basel SP Birkhäuser Verlag Basel 01.12.2010
Témata:
Computer Science
Mathematics
Mathematics and Statistics
Primary 68W30
Exact geometric computation
Algorithm engineering
Secondary 65D99
Symbolic numeric computation
ISSN:1661-8270, 1661-8289
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:We report on the design and implementation of a number type called Real_algebraic. This number type allows us to compute the sign of arithmetic expressions involving the operations . The sign computation is always correct and, in this sense, not subject to rounding errors. We focus on modularity and use generic programming techniques to make key parts of the implementation exchangeable. Thus, our design allows for easily performing experiments with different implementations or thereby tailoring the number type for specific tasks. For many problems in computational geometry, instantiations of our number type Real_algebraic are a user-friendly alternative for implementing the exact geometric computation paradigm in order to abandon numerical robustness problems.
ISSN:1661-8270
1661-8289
DOI:10.1007/s11786-011-0086-1