#3058: coercing a vector to symbolic entries doesn't work when the vector's
parent
has a user-defined basis
----------------------+-----------------------------------------------------
Reporter: jason | Owner: robertwb
Type: defect | Status: new
Priority: major | Milestone: sage-3.4
Component: coercion | Resolution:
Keywords: |
----------------------+-----------------------------------------------------
Comment (by jason):
This seems fixed now (in 3.2.1). However there are other similar issues,
like:
{{{
sage: a=(QQ^3).subspace([[1,0,1]])
sage: b=a.basis()[0]
sage: b/b.norm()
(1/sqrt(2), 0, 1/sqrt(2))
sage: b-b/b.norm()
---------------------------------------------------------------------------
TypeError Traceback (most recent call
last)
/home/grout/<ipython console> in <module>()
/home/grout/sage/local/lib/python2.5/site-
packages/sage/structure/element.so in
sage.structure.element.ModuleElement.__sub__
(sage/structure/element.c:6073)()
/home/grout/sage/local/lib/python2.5/site-
packages/sage/structure/coerce.so in
sage.structure.coerce.CoercionModel_cache_maps.bin_op
(sage/structure/coerce.c:5805)()
TypeError: unsupported operand parent(s) for '-': 'Vector space of degree
3 and dimension 1 over Rational Field
Basis matrix:
[1 0 1]' and 'Vector space of degree 3 and dimension 1 over Symbolic Ring
User basis matrix:
[1 0 1]'
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/3058#comment:1>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
