Sindbad~EG File Manager

term trigdomain(term t);
MEXPORT_PROVER term trigsing(term t);
MEXPORT_PROVER term express_trigrat(int,term, term,term, term *v);
MEXPORT_PROVER int trigexpress(term t, term x, unsigned short f, term *ans);
MEXPORT_PROVER int get_limits_of_integration(term,term *, term *);
int hasroot( term, term, double, double, int, int);