galois -> hecke, add check_if_all_computed