Summary
- 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) |