search

sandialabs / Prove-It

A tool for proving and organizing general theorems using Python.
http://pyproveit.org
Other
27 stars 10 forks source link

Qpe finale craft 20220223 #286

Closed wdcraft01 closed 2 years ago

wdcraft01 commented 2 years ago

@wwitzel .

Qpe finale craft 20220223 has had master merged into it and all QPE theorems re-run to verify they are in working order (as of Fri 3/18/2022). Modifications consist primarily of:

  1. Work on the Max/Min classes, including the establishment shallow_simplification() and deduce_number_set() methods, and the establishment and proof of a number of related theorems (including theorems such as Max(a, b) = Max(b, a)).
  2. The establishment of Exp.factorization() (which then contributes to changes in the Div.cancelation() method).
  3. Modifications to Div.cancelation(), to intercept and respond to Exp expressions instead of just Mult expressions.
  4. Some minor updates to some of the QPE theorem proofs, often consisting of updates to the presumptions.