Enable specification of Groebner basis algorithm for a polynomial ideal .dimension() computation

[maxale]

Problem Description

Computing of .dimension() often requires computation of Groebner basis, however it does not provide a way to specify the algorithm for that (for the parameter algorithm= supported by .groebner_basis()).

Proposed Solution

Provide a way to specify the algorithm. Since many polynomial machinery functions depend on computing Groebner bases, it may be worth it to create an global variable for the GB algorithm selection.

Alternatives Considered

Another route is to add the corresponding parameters to at least .dimension() and .variety() to pass them to the .groebner_basis(). However, please note that .variety() has its own algorithm= parameter that is unrelated to the Groebner basis computation.

Additional Information

On a related note, the parameter singular=None in .dimension() is not documented.

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.