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