Changes in version 1.1.0 (2022-03-20)                  

Speed improvement, by using the lexicographical order instead of the
"grlex" order.

                 Changes in version 1.0.0 (2022-02-18)                  

First release.