On Dec 19, 1:35 pm, Jan Groenewald <[email protected]> wrote: > The core is this: > > > > > sage: var('t') > > > > t > > > > sage: type(v) > > > > <type 'sage.modules.vector_rational_dense.Vector_rational_dense'> > > > > sage: type(v*t) > > > > <type > > > > 'sage.modules.free_module_element.FreeModuleElement_generic_dense'> > > I think v*t should have stayed the same type as v.
I disagree, since t is not a rational number -- it's a symbolic variable -- so v*t has no right to be a Vector_rational_dense object. The problem is that Sage isn't coercing the Vector_rational_dense object A*v into a Vector_symbolic_dense in order to make sense of "A*v - v*t", which it should do automatically. David --~--~---------~--~----~------------~-------~--~----~ 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-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
