#15733: substitution in symbolic function fails with latex_name
-------------------------+-------------------------------------------------
   Reporter:  dkrenn     |            Owner:
       Type:  defect     |           Status:  new
   Priority:  major      |        Milestone:  sage-6.1
  Component:  symbolics  |         Keywords:  substitute, function, solve,
  Merged in:             |  latex_name
  Reviewers:             |          Authors:
Work issues:             |  Report Upstream:  N/A
     Commit:             |           Branch:
   Stopgaps:             |     Dependencies:
-------------------------+-------------------------------------------------
 The following substitution does not work:
 {{{
 sage: function('f', latex_name = 'blub')
 f
 sage: eq = solve((ln(f(x))==x).diff(x), f(x))[0]
 sage: eq
 f(x) == D[0](f)(x)
 sage: eq.subs(f(x) == 42)
 f(x) == D[0](f)(x)
 }}}
 Note that
 {{{
 sage: bool(eq.lhs() == f(x))
 True
 sage: id(eq.lhs()), id(f(x))
 (119698064, 119698064)
 }}}

 When removing {{{latex_name}}}, everything works fine:
 {{{
 sage: function('f')
 f
 sage: eq = solve((ln(f(x))==x).diff(x), f(x))[0]
 sage: eq.subs(f(x) == 42)
 42 == D[0](f)(x)
 }}}

--
Ticket URL: <http://trac.sagemath.org/ticket/15733>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to