Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. deleted Missing_Polynomial.map_poly and use map_poly from distribution
Changeset 7785:0abc0dba4a80 by rene thiemann _rene.thiemann@uibk.ac.at_:
deleted Missing_Polynomial.map_poly and use map_poly from distribution
The file was modified thys/Algebraic_Numbers/Algebraic_Numbers.thy (diff)
The file was modified thys/Algebraic_Numbers/Complex_Algebraic_Numbers.thy (diff)
The file was modified thys/Algebraic_Numbers/Complex_Roots_Real_Poly.thy (diff)
The file was modified thys/Algebraic_Numbers/Real_Factorization.thy (diff)
The file was modified thys/Algebraic_Numbers/Real_Roots.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Hensel_Lifting.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Resultant.thy (diff)
The file was modified thys/Polynomial_Factorization/Gauss_Lemma.thy (diff)
The file was modified thys/Polynomial_Interpolation/Missing_Polynomial.thy (diff)
The file was modified thys/Polynomial_Interpolation/Newton_Interpolation.thy (diff)
The file was modified thys/Polynomial_Interpolation/Polynomial_Interpolation.thy (diff)
The file was modified thys/Polynomial_Interpolation/Ring_Hom_Poly.thy (diff)
The file was modified thys/Subresultants/Subresultant_Gcd.thy (diff)