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

2010-09-26 Thread John Cremona
Wow, I had never heard of inject_on() until now. Amazing! It looks as if it has been in Sage for a long time, since its docstring says "Add code ... and send William Stein a patch"! John On Sep 26, 2:16 am, Robert Bradshaw wrote: > On Sat, Sep 25, 2010 at 10:51 AM, kcrisman wrote: > > >> This

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 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 implici

[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.=PolynomialRing(ZZ,'x')] then > x is no longer

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

2010-09-24 Thread Nils Bruin
On Sep 24, 6:56 pm, kcrisman 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 coercions) > s