On Apr 10, 2:19 am, Jean-Pierre Flori <jpfl...@gmail.com> wrote: > I've just built 5.8 + #8335 and this is indeed fixed, are you sure you > rebuilt the Sage library after applying the patches?
Yes, I see. That patch changes the unique "rank = 7" to "rank = 4.5" in the relevant file, so that should do the trick. Did you observe getting the right parent (i.e., "finite field of size 7" rather than "ZZ modulo 7")? I can see how we end up with that: a generic QuotientFunctor doesn't necessarily produce a field, and "QuotientByMaximalIdeal" is not functorial. However, I observed pushout(QQ,GF(7)) giving GF(7) but on the level of matrices I was still getting just ZZ modulo 7. The code suggests I should end up with the same thing. -- 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.
