33. HexNumberField: exact algebraic numbers🔗

1. 33.1. Introduction
2. 33.2. Square roots and the golden ratio
3. 33.3. Lazy roots and exactification
4. 33.4. Polynomials with algebraic coefficients
5. 33.5. A fixed field: ℚ(∛2)
6. 33.6. Performance
7. 33.7. The Mathlib correspondence
8. 33.8. Conjugation, order, and principal radicals
9. 33.9. Roots of unity
10. 33.10. Choosing a field for several values
11. 33.11. Cross-references