Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merge
  2. removed unused rai_normalize_poly_flat (unused due to restructuring of nth-root)
  3. nth root of algebraic number now uses select_correct_factor_rat_poly (combined factorization and bisection)
  4. interal restructuring
Changeset 7289:87b7fc462e53 by rene thiemann _rene.thiemann@uibk.ac.at_:
merge
Changeset 7288:3f1a861d21f0 by rene thiemann _rene.thiemann@uibk.ac.at_:
removed unused rai_normalize_poly_flat<br>(unused due to restructuring of nth-root)
The file was modified thys/Algebraic_Numbers/Real_Algebraic_Numbers.thy (diff)
The file was modified thys/Algebraic_Numbers/Real_Roots.thy (diff)
Changeset 7287:318b55c27760 by rene thiemann _rene.thiemann@uibk.ac.at_:
nth root of algebraic number now uses select_correct_factor_rat_poly<br>(combined factorization and bisection)
The file was modified thys/Algebraic_Numbers/Real_Algebraic_Numbers.thy (diff)
Changeset 7286:3d9dbc0d444c by rene thiemann _rene.thiemann@uibk.ac.at_:
interal restructuring
The file was modified thys/Algebraic_Numbers/Real_Algebraic_Numbers.thy (diff)