This CD is part of the distribution of LeActiveMath and is used in the exercises suite. http://www.leactivemath.org/cd fns4 http://www.leactivemath.org/cd/fns4.ocd private 1 2005-06-30 Predicates used to describe function properties arising in the exercise suite of LeActiveMath. Will be filled as we proceed in the implementation convex A predicate to indicate that a function is convex on its definition domain. convex_on A predicate to indicate that a function is convex on a region. concave A predicate to indicate that a function is concave on its definition domain. concave_on A predicate to indicate that a function is concave on a region. constant A predicate to indicate that a function is constant on its definition domain. increasing A predicate to indicate that a function is increasing on its definition domain. increasing_on A predicate to indicate that a function is increasing on a region. strictly_increasing A predicate to indicate that a function is strictly increasing on its definition domain. strictly_increasing_on A predicate to indicate that a function is strictly increasing on a region. decreasing A predicate to indicate that a function is decreasing on its definition domain. decreasing_on A predicate to indicate that a function is decreasing on a region. strictly_decreasing A predicate to indicate that a function is strictly decreasing on its definition domain. strictly_decreasing_on A predicate to indicate that a function is strictly decreasing on a region. monotonic A predicate to indicate that a function is monotonic on its definition domain.