IntervalCO

class proveit.numbers.IntervalCO(lower_bound, upper_bound, *, styles=None)

Bases: proveit.numbers.RealInterval

Methods Summary

deduce_elem_in_set(self, member, …)	Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.
deduce_member_in_real(self, member, …)	Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.
deduce_member_lower_bound(self, member, …)	Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.
deduce_member_upper_bound(self, member, …)	Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.
deduce_relaxed_membership(self, member, …)	Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.
deduce_rescaled_membership(self, member, …)	Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.
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)

Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.

deduce_member_in_real(self, member, \*\*defaults_config)

Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.

deduce_member_lower_bound(self, member, \*\*defaults_config)

Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.

deduce_member_upper_bound(self, member, \*\*defaults_config)

Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.

deduce_relaxed_membership(self, member, \*\*defaults_config)

Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.

deduce_rescaled_membership(self, member, scale_factor, \*\*defaults_config)

Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.

latex(self, \*\*kwargs)

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)

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).