Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. extract coeff_int from subresultants, so that it can easily be reused in Mignotte's factor bound
Changeset 7813:b523e98d63d8 by rene thiemann _rene.thiemann@uibk.ac.at_:
extract coeff_int from subresultants, so that it can easily be reused in Mignotte's factor bound
The file was addedthys/Subresultants/Coeff_Int.thy
The file was modified thys/Berlekamp_Zassenhaus/Factor_Bound.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Finite_Field.thy (diff)
The file was modified thys/Subresultants/Subresultant.thy (diff)