Ask Your Question
1

How to return a list from callable symbolic expression

asked 2013-08-17 13:51:14 +0100

Mark gravatar image

I was (wrongfully) expecting the return type of all of the following function calls to be the same, namely a list. Why does the callable symbolic expression (1) return a vector, and how to rewrite (1) such that it does return a list?

# (1)
sage: f(x) = [x,x]
# (2)
sage: g = lambda x: [x,x]
# (3)
sage: def h(x):
....:     return [x,x]

sage: type(f(x))
<class 'sage.modules.vector_symbolic_dense.Vector_symbolic_dense'>
sage: type(g(x))
<type 'list'>
sage: type(h(x))
<type 'list'>
edit retag flag offensive close merge delete
add a comment

1 Answer

Sort by ยป oldest newest most voted
3

answered 2013-08-17 14:32:49 +0100

Luca gravatar image

updated 2013-08-17 15:32:07 +0100

If you type

sage: f??

You will see that the method .__call__ (responsible for the behaviour of evaluating f) is the one-liner

return vector([e(*args, **kwargs) for e in self])

This has been designed so that symbolic functions can safely be used in symbolic expressions in a meaningful way. For example, you can combine f with another symbolic function using the vector product operator *:

sage: f(x) = [x,x]
sage: f
x |--> (x, x)
sage: f * f
x |--> 2*x^2

This would not work with ordinary python lists.

There is no way around it. If you really only need to return a list, then an ordinary python function (like (2) or (3)) is probably enough. Or you can convert the output of f to a list like so:

sage: list(f(x))
edit flag offensive delete link more

Comments

Can you provide me with an example of what you mean by 'unsafe' or 'not meaningful' if the callable symbolic expression would actually return what I have asked for, namely a list?

Mark gravatar imageMark ( 2013-08-17 14:54:52 +0100 )edit

Edited my answer to account for your comment.

Luca gravatar imageLuca ( 2013-08-17 15:34:10 +0100 )edit

(Maybe) that helps. Let me ask one for clarification. If I get you right, kind of your point is, that callable symbolic expression should allow for meaningful usage with symbolic operations like multiplication, addition a.s.o. But while a scalar product, as f*f may make sense (even though I wasn't even looking for that) the division f(x)/f(x) is also a symbolic operation, which does not make sense for me in case of vectors - although sage simply return f(x)/f(x) = 1 with my definition (1)

Mark gravatar imageMark ( 2013-08-17 16:19:34 +0100 )edit

This is due to the semantics of symbolic vectors in Sage, as it has been discussed in <http://ask.sagemath.org/question/2917/vector-division>. I agree that this kind of inverse of multiplication by a scalar is somewhat surprising, and that it does not seem to be documented anywhere.

Luca gravatar imageLuca ( 2013-08-18 08:40:32 +0100 )edit
add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

subscribe to rss feed

Stats

Asked: 2013-08-17 13:51:14 +0100

Seen: 695 times

Last updated: Aug 17 '13

Related questions

How to make special functions/orthogonal polynomials as callable symbolic expression.

Getting a function from a symbolic expression (i.e. "y = x+2")

bool returns false with arcsin(x) and 2*arctan(x/(1+sqrt(1-x^2)))

Using matrix elements as arguments

Symbolic expressions and simplifying

A list of symbolic variables

ValueError: free variable x |--> x when plotting the function x

Making my own special type of variable

Substituting multiple values

Substitute list of expressions

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
about | faq | help | privacy policy | terms of service
Powered by Askbot version 0.7.59