Sindbad~EG File Manager

#define LIMITAND(t)  (ARITY(t)==2 ? ARG(1,t) : ARG(2,t))
#define REVERSE(d)   ((d)==min ? max : (d)==max ? min : (d))

MEXPORT_PROVER int squeeze_theorem_aux(term,term *);  /* limval.c */
MEXPORT_PROVER int select_ccfarg(term, term, term *, term *); /* limits2.c */
MEXPORT_PROVER int get_sign(term);  /* limval2 */
MEXPORT_PROVER int select_pnzarg(term t,term *arg, term *mid);
MEXPORT_PROVER int select_divnumdenom_arg(term, term *);  /* limval.c */

int poly2(term,term);   /* private to the module, defined in limits.c */
 /* limval2.c, called in limval.c */
int limvalquo_aux(int, term, term *, approach *, approach *);
int limquo_aux(int, int,term,approach,approach, term, approach,approach, term *, approach *, approach *);
int finish_from_leading_term(int topcall,term u,term h,term a,term c,term d,unsigned n,int dir,term *ans,approach *l,approach *r);
int finish_it(int, int, term,term *, approach *, approach *);
MEXPORT_PROVER int get_sign2(term, int*);  /* limval2 */
int lhopital_warning(term t,term x, term a);  /* pusieux.c */
#define INVERT_APPROACH(l) ((l)==min ? max : (l)==max ? min : (l) == damped_oscillation ? unbounded_oscillation : (l))
int rationalize_ok(term);   /* inflims.c */
void set_lhopital_depth(int);