
<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>
