MIME-version: 1.0
Content-type: multipart/alternative; boundary=------------080308090900080907090708
References: <55DBB7F6.1070307@clear.net.nz>
            <55DABA1D.3050706@morningstar2.co.uk>
            <55DCFDF7.7080305@clear.net.nz>
            <55DC05BF.1040505@morningstar2.co.uk>
            <55DC28E8.9090405@morningstar2.co.uk>
            <55DDFD0A.4000901@clear.net.nz>
            <CANQYN6wzPW4aeO0WftqthfZ_6szd6-E60OzGhZcZ1g6JM6rseg@mail.gmail.com>
            <55DDACCB.1070104@morningstar2.co.uk>
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:38.0) Gecko/20100101
            Thunderbird/38.0.1
Message-ID:  <55DF523F.2050905@clear.net.nz>
Date:         Thu, 27 Aug 2015 11:09:03 -0700
Reply-To: Mailing list for the LaTeX3 project
              <LATEX-L@LISTSERV.UNI-HEIDELBERG.DE>
Sender: Mailing list for the LaTeX3 project <LATEX-L@LISTSERV.UNI-HEIDELBERG.DE>
From: aparsloe <aparsloe@CLEAR.NET.NZ>
Subject: Re: Catcode changes
To: LATEX-L@LISTSERV.UNI-HEIDELBERG.DE
In-Reply-To:  <55DDACCB.1070104@morningstar2.co.uk>
Precedence: list
Envelope-To: <rainer.schoepf@GMX.NET>
Status: R

This is a multi-part message in MIME format.
--------------080308090900080907090708
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit


On 26/08/2015 5:10 a.m., Joseph Wright wrote:
> On 26/08/2015 12:34, Bruno Le Floch wrote:
>> Thank you for the responses. I was remiss. I didn't make it clear that
>> looking inside braced groups was not the concern, rather to replace (or
>> remove) a list of tokens that might include braced groups. I've been
>> reworking the code of a package that turns latex expressions into
>> expressions that can be digested by l3fp. In fact, this particular issue
>> has now been reworked away, but the problem had been to remove a varying
>> expression, e.g. \sqrt{123}  or \frac{1-x}{1+x}, from the initial
>> segment of a formula. Rescanning { and } to "other" allowed me to use
>> \tl_remove:Nn successfully. Although I can think of other means of doing
>> this, they seem cumbersome by comparison.
>>
>> Andrew
>> \tl_set:No \l_result_tl { \use_none:nn \sqrt{123} + 123 }
>>
>> could be a better approach in many cases, no?
>>
>> Bruno

I hadn't thought of the \use_none:... functions. (There is much of expl3 
which is *not* at my fingertips.) Thank you, and I see that they can 
absorb up to 9 tokens.

> I'm not quite clear if the outcome needs to be that the calculation
> remains the same :-) For the simple case of 'drop the \sqrt', presumably
> some wrapper is needed
>
>      \cs_new_protected:Npn \my_calc:n #1
>        {
>          \tl_set:Nn \l__my_tl {#1}
>          \tl_replace_all:Nnn \l__my_tl { \sqrt } { \use_none:n }
>          % Further replacements
>          \tl_set:Nx \l__my_tl { \l__my_tl }
>        }
>
> I'd though probably go for something like
>
>      \cs_new_protected:Npn \my_calc:n #1
>        {
>          \group_begin:
>           \cs_set:Npn \sqrt ##1 { sqrt( ##1 ) }
>           % Further replacements
>           \fp_set:Nn \l__my_fp {#1}
>          \exp_args:NNNV \group_end:
>          \fp_set:Nn \l__my_fp \l__my_fp
>        }
>
> i.e. set up the various TeX commands to convert expandably into their fp
> equivalents, then set an fp before 'smuggling' the result out the group.
>
> Depending on the exact spec these approaches could be combined: for
> example \frac{1-x}{1+x} clearly has to go, which might be done with
>
>      \cs_set_eq:NN \frac \use_none:nn
>
> in the second approach or
>
>      \tl_replace_all:Nnn \l__my_tl { \frace} { \use_none:nn }
>
> in the first.
>
> The key point is none of this needs rescanning :-)
>
> Joseph
OK, at first glance I was a bit overwhelmed but having had a little time 
to see what you are doing, this is helpful.

Dare I continue the theme? For instance I have used rescanning of ( and 
) to "group begin" and "group end" to obtain the parenthesised arguments 
of functions "at one gulp", e.g.

\max(<variable number of terms>)

or the parenthesised part (the inner sum) of

\sum_{k=0}^{\infty}\frac{(-1)^{k}}{2^{k+1}}\left(\sum_{n=0}^{k}(-1)^{n}\binom{k}{n}\frac{1}{(k-n)!}\right)

(= 1/e).

Finally, in arguing against changing catcodes you are assuming a greater 
knowledge of TeX than I possess. There must be a reason for this 
deprecation. The great joy of discovering expl3 was that it made TeX 
programming available to someone familiar with basic (or even, dare I 
say it, line-numbered BASIC) programming concepts but with only a meagre 
knowledge of TeX. (So, for instance, I wonder why you use 
\cs_new_protected:Npn above rather than \cs_new:Npn or 
\cs_new_nopar:Npn. Interfaces3.pdf is thin on such matters.)

Andrew
LyX Document


---
This email has been checked for viruses by Avast antivirus software.
https://www.avast.com/antivirus

--------------080308090900080907090708
Content-Type: text/html; charset=windows-1252
Content-Transfer-Encoding: 7bit

<html>
  <head>
    <meta content="text/html; charset=windows-1252"
      http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <br>
    <br>
    <div class="moz-cite-prefix">On 26/08/2015 5:10 a.m., Joseph Wright
      wrote:<br>
    </div>
    <blockquote cite="mid:55DDACCB.1070104@morningstar2.co.uk"
      type="cite">
      <pre wrap="">On 26/08/2015 12:34, Bruno Le Floch wrote:
</pre>
      <blockquote type="cite">
        <pre wrap="">Thank you for the responses. I was remiss. I didn't make it clear that
looking inside braced groups was not the concern, rather to replace (or
remove) a list of tokens that might include braced groups. I've been
reworking the code of a package that turns latex expressions into
expressions that can be digested by l3fp. In fact, this particular issue
has now been reworked away, but the problem had been to remove a varying
expression, e.g. \sqrt{123}  or \frac{1-x}{1+x}, from the initial
segment of a formula. Rescanning { and } to "other" allowed me to use
\tl_remove:Nn successfully. Although I can think of other means of doing
this, they seem cumbersome by comparison.

Andrew
</pre>
        <pre wrap="">
\tl_set:No \l_result_tl { \use_none:nn \sqrt{123} + 123 }

could be a better approach in many cases, no?

Bruno</pre>
      </blockquote>
    </blockquote>
    <br>
    I hadn't thought of the \use_none:... functions. (There is much of
    expl3 which is *not* at my fingertips.) Thank you, and I see that
    they can absorb up to 9 tokens.<br>
    <br>
    <blockquote cite="mid:55DDACCB.1070104@morningstar2.co.uk"
      type="cite">
      <pre wrap="">
I'm not quite clear if the outcome needs to be that the calculation
remains the same :-) For the simple case of 'drop the \sqrt', presumably
some wrapper is needed

    \cs_new_protected:Npn \my_calc:n #1
      {
        \tl_set:Nn \l__my_tl {#1}
        \tl_replace_all:Nnn \l__my_tl { \sqrt } { \use_none:n }
        % Further replacements
        \tl_set:Nx \l__my_tl { \l__my_tl }
      }

I'd though probably go for something like

    \cs_new_protected:Npn \my_calc:n #1
      {
        \group_begin:
         \cs_set:Npn \sqrt ##1 { sqrt( ##1 ) }
         % Further replacements
         \fp_set:Nn \l__my_fp {#1}
        \exp_args:NNNV \group_end:
        \fp_set:Nn \l__my_fp \l__my_fp
      }

i.e. set up the various TeX commands to convert expandably into their fp
equivalents, then set an fp before 'smuggling' the result out the group.

Depending on the exact spec these approaches could be combined: for
example \frac{1-x}{1+x} clearly has to go, which might be done with

    \cs_set_eq:NN \frac \use_none:nn

in the second approach or

    \tl_replace_all:Nnn \l__my_tl { \frace} { \use_none:nn }

in the first.

The key point is none of this needs rescanning :-)

Joseph
</pre>
    </blockquote>
    OK, at first glance I was a bit overwhelmed but having had a little
    time to see what you are doing, this is helpful. <br>
    <br>
    Dare I continue the theme? For instance I have used rescanning of (
    and ) to "group begin" and "group end" to obtain the parenthesised
    arguments of functions "at one gulp", e.g. <br>
    <br>
    \max(&lt;variable number of terms&gt;) <br>
    <br>
    or the parenthesised part (the inner sum) of<br>
    <br>
    <!--?xml version="1.0" encoding="UTF-8"?-->
    <div class="standard"><a id="magicparlabel-178154">\sum_{k=0}^{\infty}\frac{(-1)^{k}}{2^{k+1}}\left(\sum_{n=0}^{k}(-1)^{n}\binom{k}{n}\frac{1}{(k-n)!}\right)<br>
        <br>
        (= 1/e).<br>
        <br>
        Finally, in arguing against changing catcodes you are assuming a
        greater knowledge of TeX than I possess. There must be a reason
        for this deprecation. The great joy of discovering expl3 was
        that it made TeX programming available to someone familiar with
        basic (or even, dare I say it, line-numbered BASIC) programming
        concepts but with only a meagre knowledge of TeX. (So, for
        instance, I wonder why you use \cs_new_protected</a>:Npn
      <a id="magicparlabel-178154">above rather than \cs_new:Npn or
        \cs_new_nopar:Npn. Interfaces3.pdf is thin on such matters.)<br>
        <br>
        Andrew<br>
      </a></div>
    <a id="magicparlabel-178154">
    </a>
    <meta name="GENERATOR" content="LyX 2.1.4">
    <meta http-equiv="Content-type" content="text/html;
      charset=windows-1252">
    <title>LyX Document</title>
    <style type="text/css">
/* Layout-provided Styles */
div.standard {
margin-bottom: 2ex;
}


</style><br>
  
<br /><br />
<hr style='border:none; color:#909090; background-color:#B0B0B0; height: 1px; width: 99%;' />
<table style='border-collapse:collapse;border:none;'>
	<tr>
		<td style='border:none;padding:0px 15px 0px 8px'>
			<a href="https://www.avast.com/antivirus">
				<img border=0 src="http://static.avast.com/emails/avast-mail-stamp.png" alt="Avast logo" />
			</a>
		</td>
		<td>
			<p style='color:#3d4d5a; font-family:"Calibri","Verdana","Arial","Helvetica"; font-size:12pt;'>
				This email has been checked for viruses by Avast antivirus software.
				<br><a href="https://www.avast.com/antivirus">www.avast.com</a>
			</p>
		</td>
	</tr>
</table>
<br />
</body>
</html>

--------------080308090900080907090708--