Re: Simplify UnitStep expressions

*To*: mathgroup at smc.vnet.net*Subject*: [mg69344] Re: Simplify UnitStep expressions*From*: p-valko at tamu.edu*Date*: Thu, 7 Sep 2006 23:58:25 -0400 (EDT)*References*: <ed9458$t9$1@smc.vnet.net>

Seriously, I think Simplify[UnitStep[a - Pi/b] , a - Pi/b > 0] gives UnitStep[a - Pi/b] as a result, because it does not know yet whether b can be zero or not. One might argue, that a - Pi/b > 0 already implies nonzero b, but Mathematica simply does not know this. So the answer seems to be correct for me. This is somewhat supported by the fact that if I add the nonzero b statement to the assumptions: Simplify[UnitStep[a - Pi/b], {b \[NotEqual] 0, a - Pi/b > 0}] I get the anticipated answer: 1