Re: New options in 5.0
- To: mathgroup at smc.vnet.net
- Subject: [mg43014] Re: New options in 5.0
- From: Paul Abbott <paul at physics.uwa.edu.au>
- Date: Fri, 8 Aug 2003 00:26:28 -0400 (EDT)
- Organization: The University of Western Australia
- References: <bgqahm$e77$1@smc.vnet.net>
- Sender: owner-wri-mathgroup at wolfram.com
In article <bgqahm$e77$1 at smc.vnet.net>,
Bill Rowe <listuser at earthlink.net> wrote:
> And the following undocumented symbols in 4.2 are no longer found in 5.0
>
> {Exists, ForAll, Overhang}
Exists and ForAll are in 5.0!
In[1]:=$Version
Out[1]="5.0 for Mac OS X (June 10, 2003)"
In[2]:=?ForAll
"ForAll[x, expr] represents the statement that expr is True for all
values of x. ForAll[x, cond, expr] states that expr is True for all x
satisfying the condition cond. ForAll[{x1, x2, ... }, expr] states that
expr is True for all values of all the xi."
In[3]:=?Exists
"Exists[x, expr] represents the statement that there exists a value of x
for which expr is True. Exists[x, cond, expr] states that there exists
an x satisfying the condition cond for which expr is True. Exists[{x1,
x2, ... }, expr] states that there exist values for all the xi for which
expr is True."
--
Paul Abbott Phone: +61 8 9380 2734
School of Physics, M013 Fax: +61 8 9380 1014
The University of Western Australia (CRICOS Provider No 00126G)
35 Stirling Highway
Crawley WA 6009 mailto:paul at physics.uwa.edu.au
AUSTRALIA http://physics.uwa.edu.au/~paul