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