Sindbad~EG File Manager

/* M. Beeson, for Mathpert.
conditions used by checkarg
prototypes of functions in chkinput and checkarg
10.21.91 original date
6.19.94 last modified
8.31.94 added functionredefn
1.26.95 added term_and_index and index_and_var and 'integer'
3.6.97 added nonzero_constant and constant
1.12.00 removed obsolete member interval_as_inequality
2.2.00  added notzeromul, notzerodiv, notzeropower, notzerobase, notzerodenom
*/

typedef enum {
  dummy,    /* so that the actual conditions start from 1 */
  anyterm,  /* but, it may not introduce a new variable   */
  pair_of_terms,
  variable,  /* occurring in the current line */
  variables,  /* variable or list of variables */
  notzero,   /* any term not provably zero */
  notzerodiv,
  notzeromul,
  notzeropower,
  notzerobase,
  notzerodenom,
  index,     /* in the range from 1 to the number of equations or rows of the matrix */
  indexpair,  /* two unequal indices */
  function,   /* name of a function, as an atom */
  real,       /* any number is acceptable */
  nonzeroreal,
  positive_real,
  tworeals,   /* any two unequal reals */
  index_and_term,
  term_and_index,   /* as in, Add ? to both sides of eqn ? */
  index_and_var,    /* as in, Solve equation ? for ?       */
  index_and_nonzero_term,
  pos,   /* that is, can't refute that it's positive */
  nonneg,
  neg,
  nonpos,
  interval,   /* two reals a with a < b */
  positive_integer,
  specific_positive_integer,
  msubst,     /* the condition for makesubstitution */
  revsubst,   /* the condition for reversesub */
  relrates_sub,  /* condition for enterauxeqn */
  tlist,     /* the condition for singularities and extrema of a graph */
  term_and_indexpair,  /* for "add multiple of one equation to another */
  positiveoddinteger,
  nonnegativeoddinteger,
  prod,           /* for factorquadratic */
  reallist,       /* for evalatpoint */
  trigsubst,      /* condition for yourtrigsub */
  functiondefn,   /* condition for define a function */
  functionredefn, /* condition for redefine a function */
  absolutelyanyterm,        /* may even introduce a new variable */
  notzeroinlimit,  /* condition for multnumdenom, divnumdenom, divnumdenom2 */
  relrates1,       /* condition for putnumbersin */
  relrates2,       /* condition for enterderivs */
  twoprompts,      /* condition for solvenumerically when parameters are present */
  twoprompts1,     /* ditto when only ONE parameter is present */
  integer,         /* positive or negative, symbolic allowed  */
  constant_condition,
  nonzero_constant
} condition;


/* operators in each menu are numbered starting from 1, not from 0 */

void report_input_error(char *);       /* chkinput.c */