Skip to content
Success

Changes

Summary

  1. hensel lifting now uses 32-bit or 64-bit numbers whenever possible
Changeset 8330:4e9048c077ac by rene thiemann _rene.thiemann@uibk.ac.at_:
hensel lifting now uses 32-bit or 64-bit numbers whenever possible
The file was modified thys/Berlekamp_Zassenhaus/Hensel_Lifting.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Poly_Mod_Finite_Field_Record_Based.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Polynomial_Record_Based.thy (diff)