Sindbad~EG File Manager

Current Path : /usr/home/beeson/Otter-Lambda/yyy/
Upload File :
Current File : /usr/home/beeson/Otter-Lambda/yyy/algaux.h

term add_cancel_and_order(term,term);  /* algaux.c */
MEXPORT_ALGEBRA int contains_monomially(term t, unsigned short f);
int ratpart(term, term *);
MEXPORT_ALGEBRA int path_to_difference(term,term, unsigned short *,int);
MEXPORT_ALGEBRA int subterm_at_path(term t, unsigned short *path, term *ans);
MEXPORT_ALGEBRA int contains_big_exponents(term t);
MEXPORT_ALGEBRA void set_noassumptions(int n);
MEXPORT_ALGEBRA int get_noassumptions(void);

Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists