Gröbner bases

Gröbner bases functionality is available using the function groebner_basis from polybori.gbcore. It has quite a lot of options and a exchangable heuristic. In principle, there exist standard settings, but - in case an option is not provided explicitely by the user - the active heuristic function may decide dynamically by taking the ideal, the ordering and the other options into account, which is the best configuration.
In [1]: groebner_basis([x(1)+x(2),(x(2)+x(1)+1)*x(3)])
Out[1]: [x(1) + x(2), x(3)]

There exists a set of default options for groebner_basis. They can be seen, but not manipulated via accessing groebner_basis.options. A second layer of heuristics is incorporated into the groebner_basis-function, to choose dynamically the best options depending on the ordering and the given ideal. Every option given explicitely by the user takes effect, but for the other options the default may be overwritten by the script. This behaviour can be turned off by calling

groebner_basis(I,heuristic=False).

Important options are the following:



Subsections
2009-10-25