On Wed, Dec 02, 2009 at 08:03:33AM -0800, Robert Bradshaw wrote: > On Dec 2, 2009, at 2:46 AM, Alex Ghitza wrote: > > > > > The docstring for CyclotomicField says that "Due to their default > > embedding into `\CC`, cyclotomic number fields are all compatible." > > and goes on to show some operations between elements of different > > cyclotomic fields. > > > > And yet, I run into this: > > > > sage: a = CyclotomicField(100).random_element() > > sage: b = CyclotomicField(33).random_element() > > sage: a + b > > --------------------------------------------------------------------------- > > TypeError Traceback (most recent > > call last) > > > > /home/ghitza/.sage/temp/artin/627/ > > _mnt_shared_sage_l_invariant_linv_sage_8.py in <module>() > > > > /home/ghitza/sage-devel/local/lib/python2.6/site-packages/sage/ > > structure/element.so in sage.structure.element.ModuleElement.__add__ > > (sage/structure/element.c:6989)() > > > > /home/ghitza/sage-devel/local/lib/python2.6/site-packages/sage/ > > structure/coerce.so in > > sage.structure.coerce.CoercionModel_cache_maps.bin_op (sage/ > > structure/coerce.c:7021)() > > > > TypeError: unsupported operand parent(s) for '+': 'Cyclotomic Field > > of order 100 and degree 40' and 'Cyclotomic Field of order 33 and > > degree 20' > > > > > > > > Is this a bug in the coercion system? > > This is most certainly a bug. I could have sworn it used to work... >
OK, it's now #7589. 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 an email to [email protected] To unsubscribe from this group, send an email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
