Thanks to everyone who participated in this thread. It helped me figure out
what others think about the issue, and also exactly what behaviour I want to
see.
I think we're all in agreement that in the situation we had above (K a
number field, R the isomorphic polynomial quotient ring, r an elemen
On Dec 22, 2008, at 3:56 PM, Nils Bruin wrote:
> On Mon, Dec 22, 2008 at 10:23 AM, Robert Bradshaw
>
> wrote:
>>> On Dec 22, 2008, at 6:20 AM, John Cremona wrote:
>>
You can do K(r.lift()), but it would be nicer if this was
handled by
coercion magic.
>>
>>> This isn't really a c
On Mon, Dec 22, 2008 at 10:23 AM, Robert Bradshaw
wrote:
> > On Dec 22, 2008, at 6:20 AM, John Cremona wrote:
>
> >> You can do K(r.lift()), but it would be nicer if this was handled by
> >> coercion magic.
>
> > This isn't really a coercion issue per se, it's a question of adding
> > another ca
On Mon, Dec 22, 2008 at 10:23 AM, Robert Bradshaw
wrote:
>
> On Dec 22, 2008, at 6:20 AM, John Cremona wrote:
>
>> You can do K(r.lift()), but it would be nicer if this was handled by
>> coercion magic.
>
> This isn't really a coercion issue per se, it's a question of adding
> another case to the
2008/12/22 Robert Bradshaw :
>
> On Dec 22, 2008, at 6:20 AM, John Cremona wrote:
>
>> You can do K(r.lift()), but it would be nicer if this was handled by
>> coercion magic.
>
> This isn't really a coercion issue per se, it's a question of adding
> another case to the _element_constructor_ method
On Dec 22, 2008, at 6:20 AM, John Cremona wrote:
> You can do K(r.lift()), but it would be nicer if this was handled by
> coercion magic.
This isn't really a coercion issue per se, it's a question of adding
another case to the _element_constructor_ method of number fields. Do
we want coercio
On Mon, Dec 22, 2008 at 6:20 AM, John Cremona wrote:
>
> You can do K(r.lift()), but it would be nicer if this was handled by
> coercion magic.I don't know how that could be done in Sage, but
> mathematically it would make sense whenever the defining polynomial of
> K divided that of R.
>
> J
You can do K(r.lift()), but it would be nicer if this was handled by
coercion magic.I don't know how that could be done in Sage, but
mathematically it would make sense whenever the defining polynomial of
K divided that of R.
John
2008/12/22 Alex Ghitza :
> Hi,
>
> While working with number f
