interval1 http://www.openmath.org/cd/interval1.ocd 2003-04-01 2001-03-12 2 0 official This CD holds symbols which describe both discrete and continuous 1-dimensional intervals (with open/closed end points). integer_interval A symbol to denote a discrete 1 dimensional interval from the first argument to the second (inclusive), where the discretisation occurs at unit intervals. The arguments are the start and the end points of the interval in that order. The integer interval 1, 2, ..., 10. 1 10 interval A symbol to denote a continuous 1-dimensional interval without any information about the character of the end points (used in definite integration). The arguments are the start and the end points of the interval in that order. The interval 1.0, ..., 10.0. interval_oo A symbol to denote a continuous 1-dimensional interval with both end points excluded from the interval. The arguments are the start and the end points of the interval in that order. The continuous open interval (1,10). 1 10 interval_cc A symbol to denote a continuous 1-dimensional interval with both end points included in the interval. The arguments are the start and the end points of the interval in that order. The continuous closed interval [1,10]. 1 10 interval_oc A symbol to denote a continuous 1-dimensional interval with the first point excluded from the interval, but the last included. The arguments are the start and the end points of the interval in that order. The continuous interval open at the lower bound and closed at the higher bound (1,10]. 1 10 interval_co A symbol to denote a continuous 1-dimensional interval with the first point included in the interval, but the last excluded. The arguments are the start and the end points of the interval in that order. The continuous interval closed at the lower bound and open at the higher bound [1,10). 1 10