SageMath version 8.0, Release Date: 2017-07-21
