dout) a basis of solutions.
<HR><A NAME=defns></A><H2>Public Definitions in File dioph.h</H2>
<PRE>
#define MAX_COEF   250  /* total # of coef. from both sides */
#define MAX_BASIS  100  /* must be <= MAX_VARS, because rows are indexed */
#define MAX_COMBOS 200  /* for superset-restricted AC unif. */

</PRE><HR><A NAME=intro></A><H2>Introduction</H2>
This package solves linear homogeneous Diophantine equations, which
can be used to compute the set of associative-commutative unifiers
for a pair of first-orde