Alex Ghitza <aghi...@gmail.com> writes: > On Fri, Apr 20, 2012 at 8:02 AM, Andrew Mathas <andrew.mat...@gmail.com> > wrote: >> The following snippet appears to exhibit a minor bug in base_ring: >> >> sage: F.<z>=FiniteField(5^6) >> sage: z.base_ring() >> Finite Field of size 5 >> sage: a.parent() >> Finite Field in z of size 5^6 >> >> According to the documentation, base_ring() "Returns the base ring of this >> element's parent (if that makes sense)." > > I assume you meant z.parent() above instead of a.parent(). > > I don't see the bug. The parent of z is F. F is a field extension of > GF(5), and its base ring is GF(5). So according to the documentation, > z.base_ring() should return the base ring of F, i.e. GF(5). And > that's what it returns. Am I missing something?
Sounds correct to me too. -Keshav ---- Join us in #sagemath on irc.freenode.net ! -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
