Revision history [back]

Hello everyone,

I would like to compute a Groebner basis generated by a set of polynomials containing coefficients like e^(-2/10) without rounding the coefficients, for example: f1 = e^(-1/2)x^2 - e^(-3/50)yx f2 = e^(-3/20)x + x*y^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 !

Hello everyone,

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

$f1 = e^(-1/2)x^2 e^{-1/2}x^2 - e^(-3/50)yx e^{-3/50}yx $

$ f2 = e^(-3/20)e^{-3/20}x + x*y^2xy^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 ! !

Hello everyone,

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

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

$ f2 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 !

Hello everyone,

I would like to compute 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 $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 !

Hello everyone,

I would like to compute 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 !

Hello everyone,

I would like to compute 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$y^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 !

Hello everyone,

I would like to compute 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 !

Hello everyone,

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

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

$f_2 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 !

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 $f_1 = e^{-1/2}x^2 - e^{-3/50}yx

\ f_2 = e^{-3/20}x + xy^2 $y^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 !

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 $$ f_1 = e^{-1/2}x^2 - e^{-3/50}yx \ e^{-3/50}yx$$

$$ f_2 = e^{-3/20}x + xy^2$y^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 !

Hello everyone,

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

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

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

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