Neg
===

.. currentmodule:: proveit.numbers

.. autoclass:: Neg
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~Neg.as_int
      ~Neg.deduce_in_number_set
      ~Neg.distributed
      ~Neg.distribution
      ~Neg.do_reduced_evaluation
      ~Neg.do_reduced_simplification
      ~Neg.double_neg_simplification
      ~Neg.double_neg_simplified
      ~Neg.factorization
      ~Neg.factorized
      ~Neg.inner_neg_mult_simplification
      ~Neg.inner_neg_mult_simplified
      ~Neg.irreducible_value
      ~Neg.latex
      ~Neg.string

   .. rubric:: Methods Documentation

   .. automethod:: as_int
   .. automethod:: deduce_in_number_set
   .. automethod:: distributed
   .. automethod:: distribution
   .. automethod:: do_reduced_evaluation
   .. automethod:: do_reduced_simplification
   .. automethod:: double_neg_simplification
   .. automethod:: double_neg_simplified
   .. automethod:: factorization
   .. automethod:: factorized
   .. automethod:: inner_neg_mult_simplification
   .. automethod:: inner_neg_mult_simplified
   .. automethod:: irreducible_value
   .. automethod:: latex
   .. automethod:: string