On Wednesday, July 13, 2016 at 2:21:18 AM UTC+2, Alireza Nejati wrote: > > Ever wanted to do exact arithmetic, geometry, and so on? Well now you can: > > https://github.com/anj1/AlgebraicNumbers.jl >
Looks nice, though it appears that equality testing and simplification uses nonrigorous numerical approximations. We want to have an implementation of the field of algebraic numbers in Nemo, with interval arithmetic in the underlying comparisons to guarantee correctness. The necessary tools should be available already (including certified complex root isolation), modulo some wrapping. SageMath has an implementation of algebraic numbers (QQbar) that works similarly. Fredrik
