I've dealt with similar nice things at #8335 indeed. IIRC, at some point I had to enable coercion into ZZ(1) to make thing work, but then I thought this was really pointless and got similar doctests failure concerning matrix multiplication, so I forbid somewhere in the corecion model to quotient a ring by (1). I also changed the priorities of QuotientFunctor and something else to please the coercion model. Don't really remember the details though. There was already a similar blocker for quotienting by (1) in the source coude, but then IIRC a ticket about is_Field decided to let it happen at some other place and it took precedence over the previous blocker. I would have thought #8335 would fix prevent this behavior...
On Wednesday, April 10, 2013 12:41:40 AM UTC+2, Ben Hutz wrote: > > Nope. With the three patches in #8335, I'm still getting the same behavior > on sage 5.8. Could you double check me on that? > > If there isn't anywhere else that this is fixed in, I can open a separate > bug. > > On Tuesday, April 9, 2013 5:54:55 PM UTC-4, David Roe wrote: >> >> I think this issue is addressed at #8335, which I haven't had time to >> review.... >> David >> >> >> On Tue, Apr 9, 2013 at 3:52 PM, Travis Scrimshaw <tsc...@ucdavis.edu>wrote: >> >>> Hey, >>> I'm pretty sure that's a bug since there is no coercion map between >>> QQ and GF(7) ( which is different than calling GF(7)(1/5) ). Here's some of >>> the other tests I tried: >>> >>> sage: T=matrix(GF(7),[[1,1],[0,3]]) >>> sage: (N*T).parent() >>> Full MatrixSpace of 2 by 2 dense matrices over Ring of integers modulo 1 >>> >>> sage: T=matrix(GF(2),[[1,1],[0,1]]) >>> sage: (N*T).parent() >>> Full MatrixSpace of 2 by 2 dense matrices over Ring of integers modulo 1 >>> >>> sage: T=matrix(GF(25,'a'),[[1,1],[0,3]]) >>> sage: (N*T).parent() >>> Full MatrixSpace of 2 by 2 dense matrices over Finite Field in a of size >>> 5^2 >>> sage: N*T >>> [1 4] >>> [0 3] >>> >>> So this is something tied to only field of size p. >>> >>> Best, >>> Travis >>> >>> -- >>> You received this message because you are subscribed to the Google >>> Groups "sage-devel" group. >>> To unsubscribe from this group and stop receiving emails from it, send >>> an email to sage-devel+...@googlegroups.com. >>> To post to this group, send email to sage-...@googlegroups.com. >>> Visit this group at http://groups.google.com/group/sage-devel?hl=en. >>> For more options, visit https://groups.google.com/groups/opt_out. >>> >>> >>> >> >> -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
