Ask Your Question
1

polynomials rings over transcendental field extensions

asked 2010-11-30 09:11:34 -0500

araichev gravatar image

updated 2011-04-28 09:47:58 -0500

Kelvin Li gravatar image

Hi all:

It looks like working with polynomial rings over transcendental field extensions still doesn't work in Sage. Am i doing something wrong below? The same computation works in Singular, giving the correct answer of the ideal generated by x*y.

Alex


| Sage Version 4.6, Release Date: 2010-10-30 |

| Type notebook() for the GUI, and license() for information. |

sage: R0. = PolynomialRing(QQ); R0 Univariate Polynomial Ring in q over Rational Field

sage: k= FractionField(R0); k Fraction Field of Univariate Polynomial Ring in q over Rational Field

sage: R.<x,y> = PolynomialRing(k); R Multivariate Polynomial Ring in x, y over Fraction Field of Univariate Polynomial Ring in q over Rational Field

sage: I = R.ideal((qxy)^2); I Ideal (q^2x^2y^2) of Multivariate Polynomial Ring in x, y over Fraction Field of Univariate Polynomial Ring in q over Rational Field

sage: I.radical()

TypeError Traceback (most recent call last)

/Users/arai021/<ipython console=""> in <module>()

/Applications/sage/local/lib/python2.6/site-packages/sage/rings/polynomial/multi_polynomial_ideal.pyc in __call__(self, args, *kwds) 405 if not R.base_ring().is_field(): 406 raise ValueError("Coefficient ring must be a field for function '%s'."%(self.f.__name__)) --> 407 return self.f(self._instance, args, *kwds) 408 409 require_field = RequireField

/Applications/sage/local/lib/python2.6/site-packages/sage/rings/polynomial/multi_polynomial_ideal.pyc in wrapper(args, *kwds) 367 """ 368 with RedSBContext(): --> 369 return func(args, *kwds) 370 371 from sage.misc.sageinspect import sage_getsource

/Applications/sage/local/lib/python2.6/site-packages/sage/rings/polynomial/multi_polynomial_ideal.pyc in radical(self) 1404 import sage.libs.singular 1405 radical = sage.libs.singular.ff.primdec__lib.radical -> 1406 r = radical(self) 1407 1408 S = self.ring()

/Applications/sage/local/lib/python2.6/site-packages/sage/libs/singular/function.so in sage.libs.singular.function.SingularFunction.__call__ (sage/libs/singular/function.cpp:9618)()

TypeError: Cannot call Singular function 'radical' with ring parameter of type '<class 'sage.rings.polynomial.multi_polynomial_ring.mpolynomialring_polydict_domain'="">'

edit retag flag offensive close merge delete

Comments

you can make code more readable by highlighting it and pressing the "preformatted text" button (little picture of 0's and 1's) -- check the preview to see if it looks the way it should.

niles gravatar imageniles ( 2010-11-30 11:31:06 -0500 )edit

1 answer

Sort by ยป oldest newest most voted
0

answered 2013-12-11 06:02:12 -0500

John Cremona gravatar image

This is not an answer, just a rewriting of the code in the question:

sage: R0.<q>=PolynomialRing(QQ); R0
Univariate Polynomial Ring in q over Rational Field
sage: k = FractionField(R0); k
Fraction Field of Univariate Polynomial Ring in q over Rational Field
sage: R.<x,y> = PolynomialRing(k); R
Multivariate Polynomial Ring in x, y over Fraction Field of Univariate Polynomial Ring in q over Rational Field
sage: I = R.ideal((q*x*y)^2); I
Ideal (q^2*x^2*y^2) of Multivariate Polynomial Ring in x, y over Fraction Field of Univariate Polynomial Ring in q over Rational Field
sage: I.radical()
...
TypeError: Cannot call Singular function 'radical' with ring parameter of type '<class 'sage.rings.polynomial.multi_polynomial_ring.MPolynomialRing_polydict_domain_with_category'>'
edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

Stats

Asked: 2010-11-30 09:11:34 -0500

Seen: 459 times

Last updated: Dec 11 '13