Sindbad~EG File Manager

#include "export.h"
#include "terms.h"
#include "speed.h"
#include "arith.h"
#include "defns.h"
#include "ops.h"
#include "model.h"   /* needed by document.h  */
#include "vaux.h"
#include "polyval.h"
#include "proverdl.h"
#include "constant.h"   /* externs for constant terms zero, one, etc. */
#include "english.h"
/*_________________________________________________________*/
/*  'actualop'  is the type of the actual compiled code for a
     MATHPERT operator defined in C.  Such an operator takes
     a term t, an argument q (which is passed as a dummy if the
     operator needs no argument), and returns 'next' (the answer term,
     with some subterms colored yellow for display), and 'reason'
     (the justification string).  */

typedef int topic;
/*_________________________________________________________*/
/* These values assist in toplevel control              */

#define MENUMODE 0
#define AUTOMODE 1
#define GRAPHMODE 2
#define SELECTIONMODE 3
#define AUTOTEST 4
#define DEMOMODE 5
/*_______________________________________________________________*/
/* These flags are used to control the automode simplification algorithm */
#define ASCENDING 1
#define DESCENDING 0   /* values of 'orderflag'  */
#define VISIBLESUBS 1    /* values of substitutionflag */
#define INVISIBLESUBS 0

 /* 'ringflag' is maintained statically in order.c. It
   controls what kind of factors will be sought in auto mode.
    Do we want:  (bit 0 = 0)  integer factors (clearing denoms first)
                 (bit 0 = 1)  rational factors ok
                 (bit 4 = 0)  complex factors not wanted
                 (bit 4 = 1)  complex factors ok
                 (bit 8 = 0)  algebraic factors like (x-�3) not wanted
                 (bit 8 = 1)  algebraic factors ok
    The following #-defined constants are used to set the value of ringflag:
 */
#define INTRING 0x0000
#define RATRING 0x0001
#define GAUSSINT 0x0010
#define GAUSSRAT 0x0011
#define ALGINT 0x0100
#define REALRING  0x0101
#define COMPLEXALGINT 0x0110
#define COMPLEXRING  0x0111

/*_______________________________________________________________*/
#define DIMINPUTBUFFER  512
#define DIMVBUF 1000
typedef struct { const char *line[10];  /* fixed size to avoid needing malloc */
                 int nlines;
               } message;

#define MAXREASONSTRING 21   /* reason strings broken after this many chars */
                             /* DON'T CHANGE THIS--too many reason strings
                                have been carefully constructed */
#define DIMREASONBUFFER 300  /* no reason string can be longer than this    */