Chris Birkbeck
Chris Birkbeck
> Some cosmetic comments. Thanks!
Is there anything left to do here?
- [ ] depends on: #12415
- [ ] depends on: #15007
- [ ] depends on: #15009
> Can you set this up to be a graded ring? It seems like this is the mathematics of what you are doing, so you might as well do it...
> > > Can you set this up to be a graded ring? It seems like this is the mathematics of what you are doing, so you might as well...
> This PR has failed to build because of an unrelated timeout. Junyan has fixed the problem with #16873 so after that has been merged to master someone should merge...
- depends on: #17432