IntervalComplement

IntervalComplement(interval_1, interval_2)

compute the complement of the intervals interval_1 \ interval_2. The intervals must be of structure IntervalData (closed/opened ends of interval) and not of structure Interval (only closed ends)

See:

• Wikipedia - Complement (set theory) Relative complement
• Wikipedia - Interval (mathematics)

Examples

>> IntervalComplement(IntervalData({1/2, LessEqual, LessEqual, 3}), IntervalData({0, LessEqual, LessEqual, 1}, {E, LessEqual, Less, 4}))
IntervalData({1,Less,Less,E})

Related terms

IntervalData, IntervalIntersection, IntervalMemberQ

Implementation status

• ✅ - full supported

Github

• Implementation of IntervalComplement