Searched refs:simplify_patterns_and (Results 1 – 2 of 2) sorted by relevance
798 patterns = simplify_patterns_and()3066 def simplify_patterns_and(): function
1137 from sympy.logic.boolalg import simplify_patterns_and, \1143 patternlists = [simplify_patterns_and(), simplify_patterns_or(),