Jacob Hirbawi asked in his email message:
I'd like to know the status of multi-variable polynomials in
GAP. Before the release of 3.4 there was some discussion about
having an efficient implementation of these in a future
release. How far off is this?
The next release of GAP, which will be 4.1, will contain a
multi-variable polynomial arithmetic. However, it will most certainly
not contain any special multi-variable polynomial algorithms
(e.g. Groebner bases), but it should contain enough support to use
external packages, for example, to compute a Groebner basis and then
work with this basis inside GAP.