#7512: fast_callable should respect the variable order in callable symbolic
expressions (treating them like lambda functions rather than like
expressions)
-------------------------------------------------------+--------------------
Reporter: jason | Owner: was
Type: defect | Status:
needs_review
Priority: major | Milestone:
sage-4.4.3
Component: graphics | Keywords:
Author: Robert Bradshaw, Tim Dumol, Jason Grout | Upstream: N/A
Reviewer: Ross Kyprianou | Merged:
Work_issues: |
-------------------------------------------------------+--------------------
Comment(by kcrisman):
I have two dumb questions. Not putting "needs work" in case someone else
decides on the review.
1. Aren't CallableSymbolicExpressions already Expressions? How does this
get into the else?
{{{
if isinstance(x, Expression):
et = x
vars = et._etb._vars
else:
from sage.symbolic.callable import is_CallableSymbolicExpression
if is_CallableSymbolicExpression(x):
vars=x.args()
}}}
2. Why did you decide again that 1 and 3 should be different from 2 and 4?
I'm just curious, since this seems VERY counter-intuitive to me, since we
go to the trouble of having g(x=1,y=2)==g(y=2,x=1) for callable guys and
not allowing other variable names in them (this came up in the PREP
workshop from a user question).
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7512#comment:10>
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 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-trac?hl=en.