| Current Path : /usr/home/beeson/Otter-Lambda/yyy/ |
| Current File : /usr/home/beeson/Otter-Lambda/yyy/sing.h |
MEXPORT_CGRAPH int compute_singularities(graph *); MEXPORT_PROVER int check_restrictions(term *, int); MEXPORT_PROVER int get_sing( double, double,term, term *, int, term *, int, double **, int *);