Add
===

.. currentmodule:: proveit.numbers

.. autoclass:: Add
   :show-inheritance:

   .. rubric:: Attributes Summary

   .. autosummary::

      ~Add.added_numerals
      ~Add.known_equalities

   .. rubric:: Methods Summary

   .. autosummary::

      ~Add.all_canceled
      ~Add.associated
      ~Add.association
      ~Add.cancelation
      ~Add.cancelations
      ~Add.canceled
      ~Add.commutation
      ~Add.commuted
      ~Add.conversion_to_multiplication
      ~Add.deduce_bound
      ~Add.deduce_difference_in_natural
      ~Add.deduce_difference_in_natural_pos
      ~Add.deduce_in_number_set
      ~Add.deduce_negation
      ~Add.deduce_reversed_subtraction
      ~Add.deduce_strict_dec_add
      ~Add.deduce_strict_decrease
      ~Add.deduce_strict_inc_add
      ~Add.deduce_strict_increase
      ~Add.deduce_subtraction
      ~Add.deduce_zero_from_neg_self
      ~Add.disassociated
      ~Add.disassociation
      ~Add.do_reduced_evaluation
      ~Add.do_reduced_simplification
      ~Add.eliminated_zero
      ~Add.eliminated_zeros
      ~Add.equality_side_effects
      ~Add.factorization
      ~Add.factorized
      ~Add.group_commutation
      ~Add.group_commuted
      ~Add.remake_arguments
      ~Add.remake_constructor
      ~Add.remake_with_style_calls
      ~Add.style_options
      ~Add.subtraction_folding
      ~Add.subtraction_positions
      ~Add.with_subtraction_at
      ~Add.zero_elimination
      ~Add.zero_eliminations

   .. rubric:: Attributes Documentation

   .. autoattribute:: added_numerals
   .. autoattribute:: known_equalities

   .. rubric:: Methods Documentation

   .. automethod:: all_canceled
   .. automethod:: associated
   .. automethod:: association
   .. automethod:: cancelation
   .. automethod:: cancelations
   .. automethod:: canceled
   .. automethod:: commutation
   .. automethod:: commuted
   .. automethod:: conversion_to_multiplication
   .. automethod:: deduce_bound
   .. automethod:: deduce_difference_in_natural
   .. automethod:: deduce_difference_in_natural_pos
   .. automethod:: deduce_in_number_set
   .. automethod:: deduce_negation
   .. automethod:: deduce_reversed_subtraction
   .. automethod:: deduce_strict_dec_add
   .. automethod:: deduce_strict_decrease
   .. automethod:: deduce_strict_inc_add
   .. automethod:: deduce_strict_increase
   .. automethod:: deduce_subtraction
   .. automethod:: deduce_zero_from_neg_self
   .. automethod:: disassociated
   .. automethod:: disassociation
   .. automethod:: do_reduced_evaluation
   .. automethod:: do_reduced_simplification
   .. automethod:: eliminated_zero
   .. automethod:: eliminated_zeros
   .. automethod:: equality_side_effects
   .. automethod:: factorization
   .. automethod:: factorized
   .. automethod:: group_commutation
   .. automethod:: group_commuted
   .. automethod:: remake_arguments
   .. automethod:: remake_constructor
   .. automethod:: remake_with_style_calls
   .. automethod:: style_options
   .. automethod:: subtraction_folding
   .. automethod:: subtraction_positions
   .. automethod:: with_subtraction_at
   .. automethod:: zero_elimination
   .. automethod:: zero_eliminations