inconsistent refinement behavior
- To: mathgroup at smc.vnet.net
- Subject: [mg131457] inconsistent refinement behavior
- From: Alex Krasnov <akrasnov at cory.eecs.berkeley.edu>
- Date: Wed, 10 Jul 2013 03:35:15 -0400 (EDT)
- Delivered-to: l-mathgroup@mail-archive0.wolfram.com
- Delivered-to: l-mathgroup@wolfram.com
- Delivered-to: mathgroup-outx@smc.vnet.net
- Delivered-to: mathgroup-newsendx@smc.vnet.net
The following behavior appears to be inconsistent: In: Assuming[x==0, Refine[Infinity/x]] Out: ComplexInfinity In: Assuming[x>0, Refine[Infinity/x]] Out: Infinity In: Assuming[x>=0, Refine[Infinity/x]] Out: Infinity The third example should return unrefined given the first two examples. Is there an explanation? Alex