please is it possible with mathematica, thank you!
- To: mathgroup at smc.vnet.net
- Subject: [mg96715] please is it possible with mathematica, thank you!
- From: olfa <olfa.mraihi at yahoo.fr>
- Date: Sun, 22 Feb 2009 00:34:20 -0500 (EST)
Hi mathematica community! I have this input: Not[(y > 0)] and Exists[{x}, (x > 0) && y == x - 1] I want mathematica to give me y==0 as output. Is it possible and if it is what predefined function should I use?In this function I want to make this assumption: x and y are integers. thank you very much.
- Follow-Ups:
- Re: please is it possible with mathematica, thank you!
- From: Andrzej Kozlowski <akoz@mimuw.edu.pl>
- Re: please is it possible with mathematica, thank you!