Sindbad~EG File Manager

int already_solved(term, term, term);
MEXPORT_PROVER int get_whichvar(term, term *);
MEXPORT_PROVER int solve_linear_ineq(term, term *);
MEXPORT_PROVER int solve_linear_ineq_for(term, term, term *ans);
MEXPORT_PROVER int derivative_subterm(term, term *);