Closed
Description
Problem Description
Right now, Chow rings of matroids are implemented using a generic quotient ring construction. However, we know an explicit Gröbner basis for a certain class of term orders. This is described in Sections 2.2 and 2.3 of https://arxiv.org/abs/2309.14312. We should implement a class that explicitly uses this Gröbner basis as a reduction scheme in order to improve computational speed.
Is there an existing issue for this?
- I have searched the existing issues for a bug report that matches the one I want to file, without success.