Summary
- replace degree by length in oracle: otherwise there is mistake in computation of 0 / [: 1 :]
The file was modified | thys/Polynomial_Factorization/Polynomial_Field.thy (diff) |
The file was modified | thys/Polynomial_Factorization/Polynomial_Field.thy (diff) |