I don't know if the following error is in the vector code or the
coercion system. It says it is a bug in coercion...
----------------------------------------------------------------------
| Sage Version 3.4.alpha0, Release Date: 2009-02-24 |
| Type notebook() for the GUI, and license() for information. |
----------------------------------------------------------------------
sage: f(x,y)=x+y-1
sage: vector([x,y,f])
---------------------------------------------------------------------------
RuntimeError Traceback (most recent call last)
/home/jason/.sage/temp/littleone/27808/_home_jason__sage_init_sage_0.py
in <module>()
/home/jason/sage/local/lib/python2.5/site-packages/sage/modules/free_module_element.so
in sage.modules.free_module_element.vector
(sage/modules/free_module_element.c:2829)()
/home/jason/sage/local/lib/python2.5/site-packages/sage/modules/free_module_element.so
in sage.modules.free_module_element.prepare
(sage/modules/free_module_element.c:3053)()
/home/jason/sage/local/lib/python2.5/site-packages/sage/structure/sequence.pyc
in __init__(self, x, universe, check, immutable, cr, cr_str, use_sage_types)
284 for i in range(len(x)-1):
285 try:
--> 286 x[i], x[i+1] =
coerce.canonical_coercion(x[i],x[i+1])
287 except TypeError:
288 import sage.categories.all
/home/jason/sage/local/lib/python2.5/site-packages/sage/structure/element.so
in sage.structure.element.canonical_coercion
(sage/structure/element.c:16556)()
/home/jason/sage/local/lib/python2.5/site-packages/sage/structure/element.so
in sage.structure.element.canonical_coercion
(sage/structure/element.c:16485)()
/home/jason/sage/local/lib/python2.5/site-packages/sage/structure/coerce.so
in sage.structure.coerce.CoercionModel_cache_maps.canonical_coercion
(sage/structure/coerce.c:6396)()
/home/jason/sage/local/lib/python2.5/site-packages/sage/structure/coerce.so
in sage.structure.coerce.CoercionModel_cache_maps._coercion_error
(sage/structure/coerce.c:11339)()
RuntimeError: There is a bug in the coercion code in SAGE.
Both x (=y) and y (=(x, y) |--> y + x - 1) are supposed to have
identical parents but they don't.
In fact, x has parent 'Symbolic Ring'
whereas y has parent 'Callable function ring with arguments (x, y)'
Original elements y (parent Symbolic Ring) and (x, y) |--> y + x - 1
(parent Callable function ring with arguments (x, y)) and maps
<type 'NoneType'> None
<type 'sage.categories.morphism.CallMorphism'> Call morphism:
From: Callable function ring with arguments (x, y)
To: Symbolic Ring
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
