Groebner Basis with transcendental coefficients?
I would like to compute on Sage a Groebner basis generated by a set of polynomials containing coefficients like $\exp(-2/10)$ without rounding the coefficients, for example:
$$f_1 = e^{-1/2} x^2 - e^{-3/50} y x$$
$$f_2 = e^{-3/20} x + x y^2$$
Is there a simple way to do that?
I tried to create an extension of QQbar
including the transcendental
coefficients, but I could not successfully do it.
Any help would be greatly appreciated!
Why not define a new variable
z
(instead of $\exp-1/50$), then work algebraically... ?!