| Wed, 12 Nov 2014 17:37:43 +0100 | immler | quickcheck setup for float, inspired by rat::{exhaustive,full_exhaustive,random} | changeset | files |
| Wed, 12 Nov 2014 17:37:43 +0100 | immler | disjunction and conjunction for forms | changeset | files |
| Wed, 12 Nov 2014 17:37:43 +0100 | immler | truncate intermediate results in horner to improve performance of approximate; | changeset | files |
| Wed, 12 Nov 2014 17:36:36 +0100 | immler | added lemmas: convert between powr and log in comparisons, pull log out of addition/subtraction | changeset | files |
| Wed, 12 Nov 2014 17:36:32 +0100 | immler | cancel real of power of numeral also for equality and strict inequality; | changeset | files |
| Wed, 12 Nov 2014 17:36:29 +0100 | immler | simplified computations based on round_up by reducing to round_down; | changeset | files |