Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. tuned
  3. generalized algorithm for computing resultant, use new int-poly-GCD algorithm to compute resultants
  4. added algorithm to compute GCD of integer polynomials
Changeset 6212:100836987bd3 by nipkow:
merged
Changeset 6211:98d12de4ef1f by nipkow:
tuned
The file was modified thys/Amortized_Complexity/On_Off.thy (diff)
Changeset 6210:036495035360 by rene thiemann _rene.thiemann@uibk.ac.at_:
generalized algorithm for computing resultant, use new int-poly-GCD algorithm to compute resultants
The file was modified thys/Algebraic_Numbers/Real_Algebraic_Numbers.thy (diff)
The file was modified thys/Algebraic_Numbers/Resultant.thy (diff)
Changeset 6209:89152addb084 by rene thiemann _rene.thiemann@uibk.ac.at_:
added algorithm to compute GCD of integer polynomials
The file was modified thys/Polynomial_Factorization/Polynomial_Division.thy (diff)