Groebner Basis with parameters about groebner.jl HOT 2 OPEN

Hello @aabouman , no.

I would assume you are interested in computing gb while treating parameter variables as transcendental numbers; we have no such functionality yet.
There was some work in this direction, I'll let you know if there's progress :D

Variables created with AbstractAlgebra.jl are ordered lexicographically by default (example from Groebner.jl readme). As you've said, that way one could place parameter variables after all other variables, which would roughly mimic the behaviour

from groebner.jl.

@aabouman May I kindly ask you to share a reference or a simple example about the use case of GB with parameters you've mentioned:

This way the Groebner basis can be computed off line and used to solve a series of univariate polynomials online.

Thanks in advance!

from groebner.jl.