Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified the "defining" entry of sessions, to avoid cyclic dependency of Jordan_Normal_Form vs. Polynomial_Factorization;
  2. reduced to actual session dependencies;
Changeset 8441:592936584e2e by wenzelm:
clarified the "defining" entry of sessions, to avoid cyclic dependency of Jordan_Normal_Form vs. Polynomial_Factorization;
The file was modified thys/Jordan_Normal_Form/ROOT (diff)
The file was modified thys/Polynomial_Factorization/ROOT (diff)
Changeset 8440:3235d24e075a by wenzelm:
reduced to actual session dependencies;
The file was modified thys/Jordan_Normal_Form/ROOT (diff)
The file was modified thys/Perron_Frobenius/ROOT (diff)