Sindbad~EG File Manager

term fastdom(term);
term domain(term);
term codomain(term);
int contains_defined_variables(term);  /* domain.c */
term defined_on_interval(term v, term x, term lo, term hi);
term domain_aux(term);
term domexp(term,term);
term DifIntegralDomain(term t);
term reduced_and(term,term);
term reduced_and3(term,term,term);
term reduced_and4(term,term,term,term);
term reduced_or(term,term);