a  ฌ4๓z'test_condition_simple..้้้)rrrrr r!rrrrฺtest_condition_simple3sr*cCs”tttttttgdd„ƒ}tdƒ}tddd}||}t||ƒƒ||gksTJ‚tddd}tddd}t|||ƒƒ||||hksJ‚dS) NcSs|jSr )ฺ is_integerrrrrr%:r&z)test_condition_multiple..ฺaฺbT)ฺintegerฺcฺd)rrr rrฺset)rr,r-rr/r0rrrฺtest_condition_multiple9s   r2cCs^tttttttgt tกd}ttdƒ\}}||}t||t |กƒƒ||gksZJ‚dS)N)Zassumeฺab)rrr r r.ฺmaprr)rr,r-rrrrฺtest_assumptionsEs"r5N)Zsympy.unify.rewriterZsympy.core.basicrZsympy.core.singletonrZsympy.core.symbolrZ(sympy.functions.elementary.trigonometricrZ sympy.abcrr Zsympy.strategies.rlr Zsympy.assumptionsr r r rrrrr#r*r2r5rrrrฺs