Summary
- reduce heuristic for mahler-measure approximation since log_ceil_int is too slow
- integrated Graeffe's transformation, separated Mahler-measure from Factor_Bound
The file was modified | thys/Berlekamp_Zassenhaus/Factor_Bound.thy (diff) |
The file was modified | thys/Berlekamp_Zassenhaus/Mahler_Measure.thy (diff) |
The file was added | thys/Berlekamp_Zassenhaus/Mahler_Measure.thy |
The file was modified | thys/Berlekamp_Zassenhaus/Factor_Bound.thy (diff) |
The file was modified | thys/Berlekamp_Zassenhaus/ROOT (diff) |