Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. improved equality test of algebraic numbers by using new irreducible-invariant
  2. use invariant that polynomial of algebraic number representation is irreducible, exploit this in algorithms
Changeset 7226:b13c1a159549 by rene thiemann _rene.thiemann@uibk.ac.at_:
improved equality test of algebraic numbers by using new irreducible-invariant
The file was modified thys/Algebraic_Numbers/Real_Algebraic_Numbers.thy (diff)
Changeset 7225:b3fb34ab7c93 by rene thiemann _rene.thiemann@uibk.ac.at_:
use invariant that polynomial of algebraic number representation is irreducible,<br>exploit this in algorithms
The file was modified thys/Algebraic_Numbers/Algebraic_Number_Tests.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)
The file was modified thys/Algebraic_Numbers/Show_Real_Precise.thy (diff)