Re: [sage-devel] Coercion for multi-variate polynomials

2018-06-12 Thread Jeroen Demeyer
On 2018-06-12 17:24, John Cremona wrote: OK, but having an easy way to produce the above maps would be very helpful. Sure. They just wouldn't be *coercion* maps. Coercion maps should be used with care, since they are used automatically. For example, as a consequence of the bug in my previous

Re: [sage-devel] Coercion for multi-variate polynomials

2018-06-12 Thread John Cremona
On 12 June 2018 at 15:24, Jeroen Demeyer wrote: > Sometimes you start working on a ticket thinking "this is just a few hours > of work" when it turns out to be a huge can of worms... > > Coercion for multi-variate polynomials might fall in this category. There > are several strange things and bug

[sage-devel] Coercion for multi-variate polynomials

2018-06-12 Thread Jeroen Demeyer
Sometimes you start working on a ticket thinking "this is just a few hours of work" when it turns out to be a huge can of worms... Coercion for multi-variate polynomials might fall in this category. There are several strange things and bugs. The best example so far: sage: R. = QQ[] sage: QQ["