Coverage for /usr/lib/python3/dist-packages/sympy/strategies/branch/tools.py: 75%

1from .core import exhaust, multiplex 

2from .traverse import top_down 

3 

4 

5def canon(*rules): 

6 """ Strategy for canonicalization 

7 

8 Apply each branching rule in a top-down fashion through the tree. 

9 Multiplex through all branching rule traversals 

10 Keep doing this until there is no change. 

11 """ 

12 return exhaust(multiplex(*map(top_down, rules)))