These are chat archives for symengine/symengine

Jun 2017
Ranjith Kumar
Jun 10 2017 11:08
@isuruf ,Should logical_and(a,b) evaluate to contains(x,[1,2]) where a=contains(x,[1,5]) and b=contains(x,[1,2]) or remain as And(contains(x,[1,5]),contains(x,[1,2])) ?
Isuru Fernando
Jun 10 2017 16:43
What does SymPy do?
Ranjith Kumar
Jun 10 2017 18:11
SymPy doesn't evaluate it. But I think evaluating it makes more sense. we can easily do set_intersection of the group of sets with a particular expr and get a simplified form as i did here.