Skip to content
Failed

Changes

Summary

  1. merge
  2. no need for "poly-type" flag in algebraic numbers any longer
  3. rai_normalize does not normalize polynomial anymore
Changeset 7233:65cdecec6079 by rene thiemann _rene.thiemann@uibk.ac.at_:
no need for "poly-type" flag in algebraic numbers any longer
The file was modified thys/Algebraic_Numbers/Real_Algebraic_Numbers.thy (diff)
The file was modified thys/Algebraic_Numbers/Real_Roots.thy (diff)
Changeset 7232:bd74a92511e1 by rene thiemann _rene.thiemann@uibk.ac.at_:
rai_normalize does not normalize polynomial anymore
The file was modified thys/Algebraic_Numbers/Real_Algebraic_Numbers.thy (diff)
The file was modified thys/Algebraic_Numbers/Real_Roots.thy (diff)