Artifact d525d871194e4b72432f7db7c7645f62f20bc3b0cfba7d8ebad798e90538dd46:

• Executable file r37/lisp/csl/html/r37_0168.html — part of check-in [f2fda60abd] at 2011-09-02 18:13:33 on branch master — Some historical releases purely for archival purposes

  git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/trunk/historical@1375 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 774) [annotate] [blame] [check-ins using] [more...]

<A NAME=ONE_OF>

<TITLE>ONE_OF</TITLE></A>
<b><a href=r37_idx.html>INDEX</a></b><p><p>



<B>ONE\_OF</B> _ _ _  _ _ _  _ _ _  _ _ _ <B>type</B><P>
<P>
 
The operator <em>one_of</em> is used to represent an indefinite choice 
of one element from a finite set of objects. 
 <P> <H3> 
examples: </H3>
<P><PRE><TT>
x=one_of{1,2,5}
</TT></PRE><P>this equation encodes that x can take one of the values 
1,2 or 5<P><PRE><TT>
</TT></PRE><P> 
REDUCE generates a <em>one_of</em> form in cases when an implicit 
<em>root_of</em> expression could be converted to an explicit solution set. 
A <em>one_of</em> form can be converted to a <em>solve</em> solution using 

<A HREF=r37_0149.html>expand_cases</A>. See 
<A HREF=r37_0176.html>root_of</A>. 
<P>
<P>