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? 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
