Sindbad~EG File Manager

MEXPORT_PROVER int extrema(term u,term x, term a, term b, term *min, term *max);
MEXPORT_PROVER int monotone(term u, term x, term a, term b);