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... - Robert -- 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
