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.

latex(self, \*\*kwargs)[source]

Return a latex-formatted representation of the Expression. The kwargs can contain formatting directives (such as ‘fence’ used to indicate when a sub-expression should be wrapped in parentheses if there can be ambiguity in the order of operations).

string(self, \*\*kwargs)[source]

Return a string representation of the Expression. The kwargs can contain formatting directives (such as ‘fence’ used to indicate when a sub-expression should be wrapped in parentheses if there can be ambiguity in the order of operations).