Interval
========

.. currentmodule:: proveit.numbers

.. autoclass:: Interval
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~Interval.deduce_elem_in_set
      ~Interval.deduce_member_in_integer
      ~Interval.deduce_member_in_natural
      ~Interval.deduce_member_in_natural_pos
      ~Interval.deduce_member_is_negative
      ~Interval.deduce_member_is_positive
      ~Interval.deduce_member_lower_bound
      ~Interval.deduce_member_upper_bound
      ~Interval.deduce_membership
      ~Interval.deduce_subset_eq_relation
      ~Interval.latex
      ~Interval.string

   .. rubric:: Methods Documentation

   .. automethod:: deduce_elem_in_set
   .. automethod:: deduce_member_in_integer
   .. automethod:: deduce_member_in_natural
   .. automethod:: deduce_member_in_natural_pos
   .. automethod:: deduce_member_is_negative
   .. automethod:: deduce_member_is_positive
   .. automethod:: deduce_member_lower_bound
   .. automethod:: deduce_member_upper_bound
   .. automethod:: deduce_membership
   .. automethod:: deduce_subset_eq_relation
   .. automethod:: latex
   .. automethod:: string