On Wednesday, April 10, 2013 5:49:20 PM UTC+2, Nils Bruin wrote: > > 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. > I don't really remember, but it's possible we still live i nthe "quotient ring" rather then the "field".
-- 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.
