Sorry, my mistake. I thought that the base ring should be the smallest ring which contained the element, but you are right in that the function agrees both with the documentation and with common usage.
Andrew On Friday, 20 April 2012 08:35:22 UTC+10, AlexGhitza wrote: > > Hi, > > On Fri, Apr 20, 2012 at 8:02 AM, Andrew Mathas 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
