changeset 45613 | 5b1e1432c320 |
parent 45612 | 7f6838b3474a |
child 45631 | 19e1c6e922b6 |
1.1 --- a/NEWS Tue Sep 06 07:45:18 2011 -0700 1.2 +++ b/NEWS Tue Sep 06 07:48:59 2011 -0700 1.3 @@ -276,6 +276,7 @@ 1.4 real_squared_diff_one_factored ~> square_diff_one_factored 1.5 realpow_two_diff ~> square_diff_square_factored 1.6 reals_complete2 ~> complete_real 1.7 + real_sum_squared_expand ~> power2_sum 1.8 exp_ln_eq ~> ln_unique 1.9 expi_add ~> exp_add 1.10 expi_zero ~> exp_zero