Sindbad~EG File Manager

MEXPORT_PROVER int trigrational(term);  /* rational function of trig functions of one variable */
MEXPORT_PROVER int eqpoly2(term t);     /* equal to a polynomial, e.g. product of polynomials */
MEXPORT_PROVER int algpoly(term t);  /* built up from *,-,+,ROOT,SQRT, positive numerical exponents incl. fractions */
MEXPORT_PROVER int algpoly2(term t); /* like algpoly but with only polynomials inside sums */
MEXPORT_PROVER int algpoly3(term t); /* like algpoly but ABS is allowed too */
MEXPORT_PROVER int algrat(term t);   /* '/' is allowed too.  These can have jumps. */
MEXPORT_PROVER int trigpoly(term t,term x);  /* is t poly in x and trig(x)?  */
MEXPORT_PROVER int trigpoly2(term t,term x);  /* accepts expressions not involving x */
MEXPORT_PROVER int stricttrigpoly(term t, term x); /* polynomial in trig(x); rejects x sin x */
MEXPORT_PROVER int stricttrigpoly2(term t, term x); /* accepts expressions not involving x */
MEXPORT_PROVER int trigrat(term t,term x);  /* quotient of trigpolys   */
MEXPORT_PROVER int trigrat2(term t, term x);  /* accepts expressions not involving x */
MEXPORT_PROVER int trigalg(term,term);  /* closure of trigrats under +, *, rat'l powers */
MEXPORT_PROVER int trigalg2(term, term);
MEXPORT_PROVER int trigpolyargs2(term t, term x);  /* poly in x and trig functions of polynomial args */
MEXPORT_PROVER int trigalg(term t,term x);  /* algebraic function of x and trig functions of x */
MEXPORT_PROVER int trigalg2(term t,term x);  /* accepts expressions not involving x */
MEXPORT_PROVER int algebraic_in2(term t, term x); /* *,-,+,/,ROOT,SQRT,ratl powers */
                                   /* accepts expressions not involving x */
MEXPORT_PROVER int logpoly2(term t, term x); /* log or power of log of trigpolyargs2 */
MEXPORT_PROVER int logtrigalg(term t, term x); /* log or power of log of trigalg */
MEXPORT_PROVER int logtrigalg2(term t, term x);  /* log or power of log of trigalg2 */
MEXPORT_PROVER int logexpalg(term t, term x);  /* built up from logs and exponentials and algebraic operations (no trig) */

/* Note: all functions ending with 2 (such as trigpoly2)
accept as constants expressions not involving x.
Thus trigpoly(t,x) does not accept ln u but trigpoly2(t,x) does.
*/