Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. restructuring
  2. restructuring, added primitive roots of unity
Changeset 8382:131929a09b86 by rene thiemann _rene.thiemann@uibk.ac.at_:
restructuring
The file was addedthys/Perron_Frobenius/Perron_Frobenius_Combined.thy
The file was addedthys/Perron_Frobenius/Perron_Frobenius_General.thy
The file was addedthys/Perron_Frobenius/Perron_Frobenius_Irreducible.thy
The file was modified thys/Perron_Frobenius/Perron_Frobenius_Aux_2.thy (diff)
The file was modified thys/Perron_Frobenius/ROOT (diff)
The file was modified thys/Perron_Frobenius/Spectral_Radius_Theory_2.thy (diff)
The file was removedthys/Perron_Frobenius/Perron_Frobenius_2.thy
Changeset 8381:2e16b230add1 by rene thiemann _rene.thiemann@uibk.ac.at_:
restructuring, added primitive roots of unity
The file was addedthys/Perron_Frobenius/Roots_Unity.thy
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)
The file was modified thys/Perron_Frobenius/Spectral_Radius_Theory_2.thy (diff)