Thanks to everyone who participated in this thread. It helped me figure out what others think about the issue, and also exactly what behaviour I want to see.
I think we're all in agreement that in the situation we had above (K a number field, R the isomorphic polynomial quotient ring, r an element of R), K(r) should work. I've implemented this at trac #4837, since it significantly trivialises the code for random_element. Best, Alex -- Alex Ghitza -- Lecturer in Mathematics -- The University of Melbourne -- Australia -- http://www.ms.unimelb.edu.au/~aghitza/ --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
