Summary
- use subresultant-algorithm for implementing resultants
The file was modified | thys/Algebraic_Numbers/Algebraic_Number_Tests.thy (diff) |
The file was modified | thys/Algebraic_Numbers/ROOT (diff) |
The file was modified | thys/Algebraic_Numbers/Real_Algebraic_Numbers.thy (diff) |