Summary
- algebraic numbers can switch to resultants of integer polynomials (if algorithms for computing resultants of integer polynomials become available)
The file was modified | thys/Algebraic_Numbers/Algebraic_Numbers.thy (diff) |
The file was modified | thys/Algebraic_Numbers/Real_Algebraic_Numbers.thy (diff) |
The file was modified | thys/Polynomial_Factorization/Polynomial_Division.thy (diff) |