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