Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. A small improvement in Resultant theory
  2. tuned computation of root_poly_Re and root_poly_Im
Changeset 6297:951caecfcca7 by akihisa yamada _akihisa.yamada@uibk.ac.at_:
A small improvement in Resultant theory
The file was modified thys/Algebraic_Numbers/Resultant.thy (diff)
Changeset 6296:099e4ddbbdc4 by rene thiemann _rene.thiemann@uibk.ac.at_:
tuned computation of root_poly_Re and root_poly_Im
The file was modified thys/Algebraic_Numbers/Complex_Algebraic_Numbers.thy (diff)