Summary
- avoid slow IntInf.pow in Poly/ML 5.7.1 testing version, e.g. relevant for AFP/Lorenz_C0;
- delegate boundary cases to existing IntInf.pow;
The file was modified | src/Pure/General/integer.ML (diff) |
The file was modified | src/Pure/General/integer.ML (diff) |