Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. tuned factorization_f_to_factorization_int by smarter computation of constant coefficient
Changeset 6277:814978743f4e by rene thiemann _rene.thiemann@uibk.ac.at_:
tuned factorization_f_to_factorization_int by smarter computation of constant coefficient
The file was modified thys/Polynomial_Factorization/Berlekamp_Hensel_Factorization.thy (diff)