Ask Your Question

Losty's profile - activity

2019-05-26 21:56:38 +0200 received badge  Nice Question (source)
2019-04-23 14:34:28 +0200 received badge  Editor (source)
2019-04-23 14:26:56 +0200 received badge  Student (source)
2019-04-23 14:26:22 +0200 asked a question 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!