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

edit

You can use the function() method of symbolic expressions to obtain a callable symbolic expression, which is what you get with f(x) = x+2.

sage: b = y == x + 2
sage: b
y == x + 2
sage: f = b.rhs().function(x)
sage: f
x |--> x + 2

Note that you need to specify the argument of the function, in this case x, explicitly.

(I'm not sure if this is the best way.)

b is a list of solutions, and you want the right hand side of the first solution.

var('x,y')
a = y - 2 == x
b = solve(a, y)
c=b[0].rhs()
print c
print type(c)
print c(x=5)

Output:

x + 2
<type 'sage.symbolic.expression.Expression'>
7

I don't know if there is a better way, except you can make it callable in this sense by doing chaesloc2's thing with the c(x) notation.

sage: var('y')
y
sage: a = y - 2 == x
sage: b = solve(a, y)
sage: b
[y == x + 2]
sage: c(x) = b[0].rhs()
sage: c(5)
7

I doubt there is a more terse workaround.