MathGroup Archive 2003

[Date Index] [Thread Index] [Author Index]

Search the Archive

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


  • Prev by Date: Re: NSum working on Re[ ]
  • Next by Date: Re: contour plotting over a non-uniform grid
  • Previous by thread: Re: Re: New options in 5.0
  • Next by thread: Re: New options in 5.0