| Current Path : /usr/home/beeson/Otter-Lambda/yyy/ |
| Current File : /usr/home/beeson/Otter-Lambda/yyy/nperiod.h |
MEXPORT_PROVER int near_periodic(term t, term x, term *a, term *b, term *period); int near_periodic_singularities(term u, term t, term a, term b, term *ans, term *jumps); int setminus(term p, term w, term *ans);