Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merge
  2. slightly tuned resultant code by using pseudo_mod instead of pseudo_divmodddd
  3. tuned polynomial exact- and pseudo-division code
Changeset 6413:ee836124f932 by rene thiemann _rene.thiemann@uibk.ac.at_:
merge
Changeset 6412:1fd14171ffac by rene thiemann _rene.thiemann@uibk.ac.at_:
slightly tuned resultant code by using pseudo_mod instead of pseudo_divmodddd
The file was modified thys/Algebraic_Numbers/Resultant.thy (diff)
Changeset 6411:3dcd9a0436e6 by rene thiemann _rene.thiemann@uibk.ac.at_:
tuned polynomial exact- and pseudo-division code
The file was modified thys/Polynomial_Factorization/Polynomial_Division.thy (diff)