Ask Your Question

Sameer Agarwal's profile - activity

2017-01-17 10:08:18 +0200 received badge  Nice Question (source)
2017-01-17 10:08:18 +0200 received badge  Good Question (source)
2016-03-31 07:35:09 +0200 received badge  Famous Question (source)
2012-12-01 21:56:21 +0200 received badge  Taxonomist
2012-03-16 16:43:07 +0200 received badge  Notable Question (source)
2011-08-09 12:36:12 +0200 received badge  Popular Question (source)
2010-10-14 23:11:12 +0200 received badge  Student (source)
2010-10-14 23:11:11 +0200 received badge  Supporter
2010-08-26 04:14:24 +0200 commented answer Multivariate Polynomials over Rational Function Fields

Thanks, that works perfectly. Now my quest for the Elimination ideal I2 = I.elimination_ideal([x]) fails with TypeError: Cannot call Singular function 'eliminate' with ring parameter of type '<class 'sage.rings.polynomial.multi_polynomial_ring.mpolynomialring_polydict_do\="" main'="">'

2010-08-26 03:12:25 +0200 asked a question Multivariate Polynomials over Rational Function Fields

Is it possible to define multivariate polynomials where the coefficients lie in a rational function field and do Groebner basis computations on them? Maple, Reduce and Axiom support this. For example I would like to be able to compute the Groebner basis of the polynomials

{v * x^2 + y, u* x * y + y^2}

where the polynomials belong to the ring Q(u,v)[x,y].

I tried the following

B.<u,v> = PolynomialRing(QQ, 'u', 'v')
R.<x,y> = PolynomialRing(B, 'x', 'y')
I = R.ideal(v * x^2 + y, u* x * y + y^2) 
g = I.groebner_basis()

This fails with the error

TypeError: Can only reduce polynomials over fields.