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!