Error in example for take and take-right Peter McGoron (02 Sep 2025 03:07 UTC)
Re: Error in example for take and take-right Shiro Kawai (02 Sep 2025 03:19 UTC)
Re: Error in example for take and take-right Peter McGoron (02 Sep 2025 10:59 UTC)
Re: Error in example for take and take-right Arthur A. Gleckler (02 Sep 2025 21:29 UTC)

Error in example for take and take-right Peter McGoron 02 Sep 2025 03:01 UTC

The description of take-right and drop-right reads

     For a legal i, take-right and drop-right partition the list in a
manner which can be inverted with append:

         (append (take flist i) (drop flist i)) = flist

This example is a duplicate of take and drop .In addition, both examples
are incorrect because append requires proper lists, while flist can be
proper or dotted.

The take example should be modified to read:

 > For a legal i and proper list x, take and drop partition x in a
manner which can be inverted with append:
 >
 >     (append (take x i) (drop x i)) = x

And the take-right example should be modified to read:

 > For a legal i and proper list x, take-right and drop-right partition
x in a manner which can be inverted with append:
 >
 >     (append (drop-right x i) (take-right x i)) = list

-- Peter McGoron