In [1], it was announced that the Bousfield-Kan algorithm will be implemented in Kenzo. However, I didn't find anything similar in this repo. (Perhaps it's still work-in-progress as hinted in [2]?) ### Reference + [1] [A Bousfield-Kan algorithm for computing the effective homotopy of a space - A. ROMERO and F. SERGERAERT](https://www-fourier.ujf-grenoble.fr/~sergerar/Papers/Romero-Sergeraert-BK.pdf) + [2] https://github.com/gheber/kenzo/issues/129
In [1], it was announced that the Bousfield-Kan algorithm will be implemented
in Kenzo. However, I didn't find anything similar in this repo.
(Perhaps it's still work-in-progress as hinted in [2]?)
Reference