Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. spectrum rotation
  2. minor
  3. merge
  4. finished with irreducible matrix case for perron-frobenius: the maximal roots are precisely the k-th roots of unity
  5. order of polynomial is preserved by homomorphism
Changeset 8364:e9762f969209 by rene thiemann _rene.thiemann@uibk.ac.at_:
spectrum rotation
The file was modified thys/Perron_Frobenius/Perron_Frobenius_2.thy (diff)
Changeset 8363:908fd4951395 by rene thiemann _rene.thiemann@uibk.ac.at_:
minor
The file was modified thys/Perron_Frobenius/Perron_Frobenius_2.thy (diff)
Changeset 8362:7dc87ddafe2e by rene thiemann _rene.thiemann@uibk.ac.at_:
merge
Changeset 8361:6bdc55bd8bca by rene thiemann _rene.thiemann@uibk.ac.at_:
finished with irreducible matrix case for perron-frobenius: the maximal roots are precisely the k-th roots of unity
The file was modified thys/Perron_Frobenius/Perron_Frobenius_2.thy (diff)
The file was modified thys/Perron_Frobenius/Perron_Frobenius_Aux_2.thy (diff)
Changeset 8360:af795756e6da by rene thiemann _rene.thiemann@uibk.ac.at_:
order of polynomial is preserved by homomorphism
The file was modified thys/Perron_Frobenius/Perron_Frobenius_2.thy (diff)
The file was modified thys/Perron_Frobenius/Perron_Frobenius_Aux_2.thy (diff)