Hi
On Fri, Dec 19, 2008 at 06:29:41AM -0800, daveloeffler wrote:
>
> On Dec 19, 1:35 pm, Jan Groenewald <j...@aims.ac.za> 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.
Yes, that does sound better.
Jan
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to
sage-support-unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
