| Current Path : /usr/home/beeson/Otter-Lambda/yyy/ |
| Current File : /usr/home/beeson/Otter-Lambda/yyy/preops.h |
int get_trigpolyflag(void); void set_trigpolyflag(int); int almost_algebraic(term t); int algebraic_identity(term t); int stop_orderterms(term t); int stop_orderfactors(term t);