Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. fixed show-real-approx (correctly display negative numbers)
  2. tuned parts of Berlekamp-Hensel-Factorization
  3. tuned complex_roots_of_rat_poly3, so that only half of the complex roots will be calculated
Changeset 6242:1aa272252394 by rene thiemann _rene.thiemann@uibk.ac.at_:
fixed show-real-approx (correctly display negative numbers)
The file was modified thys/Algebraic_Numbers/Show_Real_Approx.thy (diff)
Changeset 6241:2170dbc85368 by rene thiemann _rene.thiemann@uibk.ac.at_:
tuned parts of Berlekamp-Hensel-Factorization
The file was modified thys/Polynomial_Factorization/Berlekamp_Hensel_Factorization.thy (diff)
Changeset 6240:4c9de2b5c074 by rene thiemann _rene.thiemann@uibk.ac.at_:
tuned complex_roots_of_rat_poly3, so that only half of the complex roots will be calculated
The file was modified thys/Algebraic_Numbers/Complex_Algebraic_Numbers.thy (diff)