Nicolas Boumal

Results 2 issues of Nicolas Boumal

This is the same pull request as [this one](https://github.com/NicolasBoumal/manopt/pull/12), proposed by @bamdevm . (Because of some issues I introduced in the git history on May 19-20, 2020 as detailed [here](https://github.com/NicolasBoumal/manopt/issues/6),...