<div dir="ltr">Dear Lawrence Paulson,<div><br></div><div>Thank you for your reply. I thought that there could be other unstated problems with this abbreviation. However, I can see how the problem that you mentioned alone warrants a new definition. I guess I must apologize for making an enquiry about something that should be, indeed, obvious for every user of the system.</div><div><br></div><div>Thank you</div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Sep 19, 2019 at 5:04 PM Lawrence Paulson <<a href="mailto:lp15@cam.ac.uk">lp15@cam.ac.uk</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">> On 19 Sep 2019, at 14:56, mailing-list anonymous <<a href="mailto:mailing.list.anonymous@gmail.com" target="_blank">mailing.list.anonymous@gmail.com</a>> wrote:<br>
> <br>
> Also, I would highly appreciate if you could elaborate on the following: "I would never use an abbreviation here, due to the repetition of variables". I would like to understand what could be the potential pitfalls of using an abbreviation in this case. <br>
<br>
Just the obvious one: you are making multiple copies of the operand, which could lead to exponential growth if the operator is nested.<br>
<br>
Larry<br>
<br>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr">Please accept my apologies for posting anonymously. This is done to protect my privacy. I can make my identity and my real contact details available upon request in private communication under the condition that they are not to be mentioned on the mailing list.  </div></div>