o à8Va ã@s<ddlmZddlmZdd„Zdd„Zdd„Zd d „Zd S) é)Úcanon)ÚBasicccs,t|tƒr|dkr|dVdS|VdS)Nré©Ú isinstanceÚint©Úx©r úJ/usr/lib/python3/dist-packages/sympy/strategies/branch/tests/test_tools.pyÚposdecs€ r ccs†t|tƒrAd|krdkrnn|dVdSd|kr#dkr,nn|dVdS|dkr<|dV|dVdS|VdSdS)Nréré rrr r r Úbranch5 s€   ÷rcCsFtdtddƒdƒ}tdtddƒdƒh}ttƒ}t||ƒƒ|ks!J‚dS)Nér éér)rrr Úset©ÚexprZexpectedZbrlr r r Útest_zero_intssrcCsVtdtddƒdƒ}tdtddƒdƒtdtddƒdƒh}ttƒ}t||ƒƒ|ks)J‚dS)Nrr rrrr)rrrrrr r r Ú test_split5s ÿrN)Zsympy.strategies.branch.toolsrZsympyrr rrrr r r r Ús