From 29d2ffb5f5569efe8614efa30be560efc72a34f5 Mon Sep 17 00:00:00 2001 From: Avi Shinnar Date: Sat, 5 Dec 2020 21:56:15 -0500 Subject: Redefines exp_ineq1 to hold for all non-zero numbers. The original (which holds only for positive numbers) is now called exp_ineq1_pos. A version that holds only for negative numbers is added as exp_ineq1_neg. Adds exp_ineq1_le, which holds for all reals (but is a <= instead of a <). Co-authored-by: Barry M. Trager --- doc/changelog/10-standard-library/13582-exp_ineq.rst | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 doc/changelog/10-standard-library/13582-exp_ineq.rst (limited to 'doc') diff --git a/doc/changelog/10-standard-library/13582-exp_ineq.rst b/doc/changelog/10-standard-library/13582-exp_ineq.rst new file mode 100644 index 0000000000..27d89b2f8b --- /dev/null +++ b/doc/changelog/10-standard-library/13582-exp_ineq.rst @@ -0,0 +1,9 @@ +- **Changed:** + Minor Changes to Rpower: + Generalizes exp_ineq1 to hold for all non-zero numbers. + Adds exp_ineq1_le, which holds for all reals (but is a <= instead of a <). + + (`#13582 `_, + by Avi Shinnar and Barry Trager, with help from Laurent Théry + +). -- cgit v1.2.3