Summary
- merge
- no need for "poly-type" flag in algebraic numbers any longer
- rai_normalize does not normalize polynomial anymore
The file was modified | thys/Algebraic_Numbers/Real_Algebraic_Numbers.thy (diff) |
The file was modified | thys/Algebraic_Numbers/Real_Roots.thy (diff) |
The file was modified | thys/Algebraic_Numbers/Real_Algebraic_Numbers.thy (diff) |
The file was modified | thys/Algebraic_Numbers/Real_Roots.thy (diff) |