Stream: PR reviews
Topic: roots of unity
Johan Commelin (Sep 30 2020 at 07:02):
Sorry for the PR mess that I created. I think it should be stable now.
By now there should be a rather fleshed out API for (primitive) roots of unity
Last updated: May 07 2021 at 18:19 UTC