[sage-support] Re: Question about polynomial rings and their fraction fields

2010-09-25 Thread Nils Bruin
On Sep 24, 6:56 pm, kcrisman kcris...@gmail.com wrote: If I make a polynomial ring using sage: b = PolynomialRing(ZZ, 'x') I get some odd behavior.  Namely, sage: bool(b(x)==x) True I personally find this slightly worrisome, but this was a design decision (equality respects automatic

Re: [sage-support] Question about polynomial rings and their fraction fields

2010-09-25 Thread Robert Bradshaw
On Fri, Sep 24, 2010 at 6:56 PM, kcrisman kcris...@gmail.com wrote: If I make a polynomial ring using sage: b = PolynomialRing(ZZ, 'x') I get some odd behavior.  Namely, sage: bool(b(x)==x) True sage: b(x) x sage: type(b(x)) something about element of the ring sage: type(x) symbolic

Re: [sage-support] Question about polynomial rings and their fraction fields

2010-09-25 Thread Burcin Erocal
On Fri, 24 Sep 2010 18:56:14 -0700 (PDT) kcrisman kcris...@gmail.com wrote: sage: a = FractionField(PolynomialRing(ZZ, 'x')) sage: a(1/x) weird error that seems to imply it has not coerced x to the polynomial ring Did I do something wrong, or is this a bug? Because of the initial

[sage-support] Re: Question about polynomial rings and their fraction fields

2010-09-25 Thread kcrisman
This is the only possibility, because the var('x') command executed by default at startup did the assignment x = SR('x') and you haven't bound x to any other object. Once you execute x = b.0 [ or one of its implicit forms like b.x=PolynomialRing(ZZ,'x')] then x is no longer referencing

Re: [sage-support] Re: Question about polynomial rings and their fraction fields

2010-09-25 Thread Robert Bradshaw
On Sat, Sep 25, 2010 at 10:51 AM, kcrisman kcris...@gmail.com wrote: This is the only possibility, because the var('x') command executed by default at startup did the assignment x = SR('x') and you haven't bound x to any other object. Once you execute x = b.0 [ or one of its implicit