From 1ee6aaab0b0bf42576b5c7951805e05e695a7148 Mon Sep 17 00:00:00 2001 From: Kaz Kylheku Date: Mon, 21 Oct 2013 17:24:07 -0700 Subject: * txr.1: Fixed documentation bug. expt with three or more arguments is a right-associative reduction, not left. --- ChangeLog | 5 +++++ txr.1 | 9 ++++++--- 2 files changed, 11 insertions(+), 3 deletions(-) diff --git a/ChangeLog b/ChangeLog index 6fcbe474..677ef32c 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2013-10-21 Kaz Kylheku + + * txr.1: Fixed documentation bug. expt with three or more + arguments is a right-associative reduction, not left. + 2013-10-11 Kaz Kylheku Task #11433. Implement continuation of multiple diff --git a/txr.1 b/txr.1 index 49d235c4..2645dc16 100644 --- a/txr.1 +++ b/txr.1 @@ -8848,9 +8848,12 @@ Description: The expt function raises to zero or more exponents given by the arguments. (expt x) is equivalent to (expt x 1); and yields x for all x. -For three or more arguments, the operation is left associative. -That is to say, (expt x y z) is equivalent to (expt (expt x y) z) and -so forth. Exponentiation is done pairwise using a binary operation. +For three or more arguments, the operation is right associative. +That is to say, (expt x y z) is equivalent to (expt x (expt y z)) and +so forth, similarly to the way nested exponents work in standard algebraic +notation. + +Exponentiation is done pairwise using a binary operation. If both operands to this binary operation are integers, then the result is an integer. If either operand is a float, then the other operand is converted to a float, and a floating point exponentation -- cgit v1.2.3