>
>  
The good work of #1314 is stalled. We need a decision to be made: 

If we want to keep the existing ability of Tuple answer queries about 
containing UndefinedFunctions then #1331 can be committed. It is the same 
as #1314 except that  Tuple(Function('f'), True).has(True, Function('f')) 
will neither throw an error nor answer False. It also uses a library method 
to replace a piece of older code. Test results should post soon at 
https://github.com/sympy/sympy/pull/1331 .

If we eventually disallow Tuple to hold Function('f') and bool, that's a 
bridge that can be crossed later and has() modified accordingly, but I 
don't like the idea of changing has()'s behavior (and answering False for 
Tuple(Function('f')).has(Function('f'))) and would like to see #1331 be 
committed. Again, if we can just get a decision on this then we can commit 
the changes.

/c

-- 
You received this message because you are subscribed to the Google Groups 
"sympy" group.
To view this discussion on the web visit 
https://groups.google.com/d/msg/sympy/-/qp_HW0Uq3pQJ.
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/sympy?hl=en.

Reply via email to