Sindbad~EG File Manager

/* Public functions of Mathpert's user-defined function facility */

#define MAXUSERFUNCTIONS 16
int enter_definition(term lhs, term rhs, char *printname, char *rhs_name);
int remove_definition(unsigned f);
void remove_all_definitions(void);
int replace_definition(unsigned i, term lhs, term rhs, char *rhs_name); /* replace i-th definition */
int apply_definition(term t, term *ans);  /* if t is f(u,v) apply defn of f */
int get_definition(unsigned i, term *lhs, term *rhs);  /* the i-th definition */
int nuserfunctions(void);     /* return number of definitions in effect */
int is_defined(unsigned f);   /* return index of the definition */
char *function_name(unsigned f);  /* print name of several-character function */
char *get_defnstring(int k);   /* menu string for the k-th function definition */
unsigned short get_dependencies(int k); /* bit j tells whether function k depends on function j */
int well_founded(int k); /* return 1 if the k-th definition is a well-founded simple one-variable recursion */
int definition_in_use(char f[32]);
void increment_function_inuse(int j);
void decrement_function_inuse(int j);