Exp
===

.. currentmodule:: proveit.numbers

.. autoclass:: Exp
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~Exp.deduce_in_number_set
      ~Exp.deduce_in_real_pos_directly
      ~Exp.deduce_not_zero
      ~Exp.distributed
      ~Exp.distribution
      ~Exp.do_reduced_evaluation
      ~Exp.do_reduced_simplification
      ~Exp.expansion
      ~Exp.formatted
      ~Exp.latex
      ~Exp.lower_outer_exp
      ~Exp.membership_object
      ~Exp.raise_exp_factor
      ~Exp.remake_arguments
      ~Exp.remake_constructor
      ~Exp.string
      ~Exp.style_options
      ~Exp.with_radical
      ~Exp.without_radical

   .. rubric:: Methods Documentation

   .. automethod:: deduce_in_number_set
   .. automethod:: deduce_in_real_pos_directly
   .. automethod:: deduce_not_zero
   .. automethod:: distributed
   .. automethod:: distribution
   .. automethod:: do_reduced_evaluation
   .. automethod:: do_reduced_simplification
   .. automethod:: expansion
   .. automethod:: formatted
   .. automethod:: latex
   .. automethod:: lower_outer_exp
   .. automethod:: membership_object
   .. automethod:: raise_exp_factor
   .. automethod:: remake_arguments
   .. automethod:: remake_constructor
   .. automethod:: string
   .. automethod:: style_options
   .. automethod:: with_radical
   .. automethod:: without_radical