Received: from mout.gmx.net (mout.gmx.net [212.227.17.20]) by h1439878.stratoserver.net (8.14.2/8.14.2/Debian-2build1) with ESMTP id s6BLr4Sw007714 for ; Fri, 11 Jul 2014 23:53:05 +0200 Received: from relay2.uni-heidelberg.de ([129.206.210.211]) by mx-ha.gmx.net (mxgmx104) with ESMTPS (Nemesis) id 0MH5fK-1XJUNc1VVy-00DqkA for ; Fri, 11 Jul 2014 23:52:58 +0200 Received: from listserv.uni-heidelberg.de (listserv.uni-heidelberg.de [129.206.100.94]) by relay2.uni-heidelberg.de (8.13.8/8.13.8) with ESMTP id s6BLnrQ1020159 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Fri, 11 Jul 2014 23:49:53 +0200 Received: from listserv.uni-heidelberg.de (listserv.uni-heidelberg.de [127.0.0.1]) by listserv.uni-heidelberg.de (8.13.8/8.13.8) with ESMTP id s6B9oZSi001467; Fri, 11 Jul 2014 23:49:52 +0200 Received: by LISTSERV.UNI-HEIDELBERG.DE (LISTSERV-TCP/IP release 16.0) with spool id 11137194 for LATEX-L@LISTSERV.UNI-HEIDELBERG.DE; Fri, 11 Jul 2014 23:49:52 +0200 Received: from relay.uni-heidelberg.de (relay.uni-heidelberg.de [129.206.100.212]) by listserv.uni-heidelberg.de (8.13.8/8.13.8) with ESMTP id s6BLnqtC021803 for ; Fri, 11 Jul 2014 23:49:52 +0200 Received: from smtp5.clear.net.nz (smtp5.clear.net.nz [203.97.33.68]) by relay.uni-heidelberg.de (8.14.1/8.14.1) with ESMTP id s6BLncIM017693 for ; Fri, 11 Jul 2014 23:49:42 +0200 Received: from mxin2-orange.clear.net.nz (lb2-srcnat.clear.net.nz [203.97.32.237]) by smtp5.clear.net.nz (CLEAR Net Mail) with ESMTP id <0N8K00LA8HYI3C40@smtp5.clear.net.nz> for LATEX-L@listserv.uni-heidelberg.de; Sat, 12 Jul 2014 09:49:37 +1200 (NZST) Received: from 121-74-37-224.telstraclear.net (HELO [127.0.0.1]) ([121.74.37.224]) by smtpin2.clear.net.nz with ESMTP; Sat, 12 Jul 2014 09:49:37 +1200 MIME-version: 1.0 Content-type: text/plain; charset=UTF-8; format=flowed Content-transfer-encoding: 7bit X-Antivirus: avast! (VPS 140710-1, 11/07/2014), Outbound message X-Antivirus-Status: Clean References: <539432A6.7030205@clear.net.nz> <5395A7A3.7040106@residenset.net> <5395AA02.8040704@morningstar2.co.uk> <53BF9FD5.8070805@clear.net.nz> User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:24.0) Gecko/20100101 Thunderbird/24.6.0 Message-ID: <53C05BEF.7040101@clear.net.nz> Date: Sat, 12 Jul 2014 09:49:35 +1200 Reply-To: Mailing list for the LaTeX3 project Sender: Mailing list for the LaTeX3 project From: aparsloe Subject: Re: Juxtaposition in l3fp To: LATEX-L@LISTSERV.UNI-HEIDELBERG.DE In-Reply-To: Precedence: list List-Help: , List-Unsubscribe: List-Subscribe: List-Owner: List-Archive: Envelope-To: X-GMX-Antispam: 0 (Mail was not recognized as spam); Detail=V3; X-GMX-Antivirus: 0 (no virus found) X-UI-Filterresults: notjunk:1;V01:K0:hyLR+bMg4Ao=:GVl9LwmexWBjznpnMrnzVbBZo0 7VRVdTV1+xvkAOFQs477DYKUkNrneVFqUDA2j4FWDbSH3X9n61BtUOBp099T3U1JoBkEHguY6 qsoA/zuIaZW+jOuMmhZgTcLCSaEXtrqg3X7LZ+YPyXSRWkAYiIsGMbQE3+g+xkYT3eZ9ZxnJF hypXbVWSe6Gd4Xeqo9Ywn8FhrC5fBICNLrVTqFKYUWS5lpiqwR9I/aYs/9kL8WoslonN2VPxO adZE5fwUJJDgmNWYVUh6W0gpY8MQepOu/1ijqpFr5iiPmEL8NKY6OVS34sf7PFkTAEZnaK3GK utiANnfPnPbUeJgpOOse9MtKSIPl7BFaL1uYv81UFo7CvJQyD1vWcpLwqvGQrS2tJXN6YKGcQ V3MxW/PyFGl93w3BSLHxxaQAcOdULKj9EeYavjvdlzcEHmsP8ZMJu17GvQkpv1vhWUXpt0boX reFwp0JNsUmVrq4GDLtU5wo8/fLB7XKlQKqFtMm+EyLarKuHJRwjGI0JOVSY5ubU658wM3A74 IzelH1lt1QjCrHJv+QjixR+BRJHFQ9MRuNS5sKIQpEOjs4ksRRGBcwhD2+yldYM7cCjd7WYxO 3QvUi8EGc/OdNWCv5vv3hG2BQ0w6IIIBQ7Eba+yakh2ucDV9pNyHZOCkHF7QCQSiLUW7DgKiP LEh4M+H6dsHrtVX0OHKKab9NMBPG1/OiHGauvreXgfRfA9TV0ihwkjJ6L0NNXIsLRg6I6QsvU omvSoY5PBcKVM56Xa0hEbFCeGHRECG1ViMxN1Bb6dlUQs7CNBfVJK8O+U+X0I45cKgE8urLSZ ZvbpS8mXGD2aqPX5Kn2pE+hC2APcMzXKi43Ua2kFlgvNZ2BFGToe0MVflbic8EVvpYEe0v4ar j/jb/YXhBiwrYz8zR8YoWsYA8cFbBiFhUcGH94zRqzm3PuEHO8j4hAyGlaIee0KOb3m7XS+88 rn6gL5dHuVIGwLmVtOXa/kVsbccVHH2Qe7iDaiXY9nfW36FpV51BsTXJ/HW+vNi3Z2Li0YWBe Xyuew+nEy+W+kb/9sOhoTfWqvvB4jPNMbcEsMgy6Smjnnb1LrFLH4bZ2yCRQH1TJ8iWTKnNmi mA8vmWdiZbpvvmc3Ud21BKpgQd0FkDa+iHBLgBKPQF5DUhs0SLeP+MnAyxiropqO8V2m7mMSd tXPB3AtOCQE3rcn33/u7zcsqqdT0Bk5dD/0hPh+PtSaTimPPd2+5wpxVrMl3kHyPZkV80R9Az 1na/zVjAwRdFN4IyTuDrFI0sqTaARpz0oFB3pyX5YuAudP9txxmxP4vLyHm68xkJXY+4RNKVi BOICEOBxgOmRtvcosU1zmQ37eJOwHY8bggpW0DgbcduHq+DH5Cn2WwWMy5szIlFuaE8QwCQfl 4zbupPjGI4/A112SwipFGdoavfU93Tnxd5PQu9w6zFIvUaHSwJ7veKkN7SX6VACT4DxHu7ImK lqQPHLmFPEYESCjnKstwtiSHcCN3liSgb3yohMyw/G5mXSp+o7ujyIXN/bMsphY2S++pbYkA= = X-UI-Loop:V01:oEGPRe+y9ak=:gRgZeXrAjh7cCjHRICmvKo2LruiB3Wbjhf51WBc3vdA= Status: R X-Status: X-Keywords: X-UID: 7546 On 12/07/2014 4:22 a.m., Bruno Le Floch wrote >>> In l3fp, I pushed the idea to its extreme, allowing juxtaposition for >>> things other than units, and I kept the precedence as being the >>> tightest possible. >>> >>> As Lars rightfully says it's "consistent, but not necessarily >>> intuitive". Andrew has given several cases where my choice leads to a >>> terrible behaviour for l3fp, and there is basically no case where the >>> current behaviour is better (well, there was one abusive one: with >>> this rule, exp.5ln(...) computes the square root, but now that is not >>> needed). >> Actually, I've found this "abuse" quite a handy device, and despite the >> introduction of the sqrt function to l3fp, for n-th roots, exp(1/n)ln >> has a certain convenience. > Well, that won't work once we change the precedence of juxtaposition > to be the same as normal multiplication. But IIRC, we added (perhaps > in l3candidates? I'll check) a way for users to define their own fp > functions. This is still experimental. Looking at it, it seems we > don't document \fp_function:Nw and \fp_new_function:Npn anywhere. > > Regards, > Bruno A previous version of interface3.pdf included some documentation of \fp_new_function:Npn and \fp_function:Nw -- in the l3candidates section. But when I check I see that It's missing from the latest version. On the basis of this earlier documentation I've used \fp_new_function:Npn for some simple-minded definitions of the hyperbolic functions and their inverses. Andrew