Hi, 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? -- Best, Alex -- Alex Ghitza -- Lecturer in Mathematics -- The University of Melbourne http://aghitza.org -- 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
