Groebner Basis with transcendental coefficients?

asked 2019-04-23 04:31:27 -0500

Losty gravatar image

updated 2019-04-23 07:47:03 -0500

Hello everyone,

I would like to compute on SAGE a Groebner basis generated by a set of polynomials containing coefficients like e^(-2/10) without rounding the coefficients, for example:

$$ f_1 = e^{-1/2}x^2 - e^{-3/50}yx$$

$$ f_2 = e^{-3/20}x + xy^2 $$

Is there a simple way to do so? I have tried to create an extension of QQbar including the transcendental coefficients, but I could not successfully do it. Any help would be greatly appreciated !

edit retag flag offensive close merge delete



Why not define a new variable z (instead of $\exp-1/50$), then work algebraically... ?!

dan_fulea gravatar imagedan_fulea ( 2019-04-23 10:35:32 -0500 )edit