Interval¶
-
class
proveit.numbers.
Interval
(lower_bound, upper_bound, *, styles=None)[source]¶ Bases:
proveit.Operation
Methods Summary
deduce_elem_in_set
(self, member, …)Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.
deduce_subset_eq_relation
(self, …)Deduce that self of the form {a…d} has as a subset_eq the Interval of the form {b…c}, if a <= b <= c <= d. Example: {1…5}.deduce_subset_eq_relation({2…4}) should return |- {2…4} subset_eq {1…5} Not yet implemented for deducing a ProperSubset relation.
latex
(self, \*\*kwargs)Return a latex-formatted representation of the Expression.
string
(self, \*\*kwargs)Return a string representation of the Expression.
Methods Documentation
-
deduce_elem_in_set
(self, member, \*\*defaults_config)[source]¶ Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.
-
deduce_subset_eq_relation
(self, sub_interval, \*\*defaults_config)[source]¶ Deduce that self of the form {a…d} has as a subset_eq the Interval of the form {b…c}, if a <= b <= c <= d. Example:
{1…5}.deduce_subset_eq_relation({2…4})
- should return
|- {2…4} subset_eq {1…5}
Not yet implemented for deducing a ProperSubset relation.
Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.
-