Artifact 45339650542c8522359453174d3c26c5d6dbb33cf619d874f526fe0cbb02e3eb:

• Executable file r37/lisp/csl/html/r37_0016.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: 679) [annotate] [blame] [check-ins using] [more...]

<A NAME=requirements>

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



<B>REQUIREMENTS</B> _ _ _  _ _ _  _ _ _  _ _ _ <B>variable</B><P>
<P>
 
 <P>
<P>
After an attempt to solve an inconsistent equation system 
with parameters, the variable <em>requirements</em> contains a list 
of expressions. These expressions define a set of conditions implicitly 
equated with zero. Any solution to this system defines a setting for 
the parameters sufficient to make the original system consistent. 
 <P> <H3> 
examples: </H3>
<P><PRE><TT>
solve({x-a,x-y,y-1},{x,y}); 

  {}


requirements;

  {a - 1}

</TT></PRE><P><P>
<P>