← High-Performance Computer Algebra: A Hecke …