MathGroup Archive 1995

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: A simple swap function

  • Subject: [mg2226] Re: [mg2132] A simple swap function
  • From: wagner at goober.cs.colorado.edu (Dave Wagner)
  • Date: Tue, 17 Oct 1995 06:34:35 GMT
  • Approved: usenet@wri.com
  • Distribution: local
  • Newsgroups: wri.mathgroup
  • Organization: University of Colorado, Boulder
  • Sender: daemon at wri.com ( )

In article <45cvu4$5tc at ralph.vnet.net>,
Richard Mercer  <richard at seuss.math.wright.edu> wrote:
>
> >   I think I must be missing something straightforward.
>>  I want a function to swap the values of 2 lists.  I
>>  defined ab={a,b}, and ba={b,a}, and
>>  swap[v1_,v2_]:=Module[{temp=v1},v1=v2;v2=temp;], and I
>>  get an Iteration limit exceeded error.  When I look at
>>  ab, it looks like {Hold[a],Hold[b]} (or maybe
>>  {Hold[b],Hold[a], I don't remember), and ba looks
>>  opposite.  When I tried to use the same function on
>>  numbers, it didn't work either.  What's wrong with what
>>  I'm doing, and how can I do what I want to do?
>
>All of this is unnecessary.
>Assuming the variables a and b have been assigned values, 
>
>the assignment
>
>{a,b} = {b,a}
>
>works. Try it! I do NOT recommend this if a and b have not been  
>assigned values!

Following up to my earlier posting on this topic, which was done while
on the road and in some haste, I can now elaborate.  Fleck showed that
it was impossible to write a correct swap function in Algol using the
call-by-name parameter transmission mechanism:

    A.C. Fleck, 1976. On the impossibility of content exchange through
    the by-name parameter transmission mechanism. ACM SIGPLAN Notices
    11(11):38-41.

Here is an example of what kinds of problems occur, using the
Mathematica-specific mechanism suggested by Richard Mercer above:

In[23]:=
    s = {3,1,2};
    i = 2;
    {i, s}

Out[23]=
    {2,{3,1,2}}

In[24]:=
    {i, s[[i]]} = {s[[i]], i};
    {i, s}

Out[24]=
    {1,{2,1,2}}

The result ought to be {1, {3, 2, 2}}.

After some reflection I think that may be oversimplifying to conclude
that something that's impossible to do in Algol is also impossible to
do in Mathematica.  I've thought about trying to write a correct swap
function using constructs such as Hold and With to "freeze" the
expressions being swapped.  Unfortunately, you can only scope symbols,
not entire expressions, so my strategy would fail when trying to swap
s[[i]] with s[[s[[i]]]], for example.  So while I won't go so far as to
state that this is impossible to do in Mathematica, it seems to be very
hard, and given Fleck's result I wouldn't waste too much time on it.

This is not to say, of course, that the {a,b} = {b,a} trick isn't useful,
as long as you realize its shortcomings.

		Dave Wagner
		Principia Consulting
		(303) 786-8371
		dbwagner at princon.com
		http://www.princon.com/princon


  • Prev by Date: ANOTHER QUESTION..
  • Next by Date: Re: Constructing Expressions from List Elements
  • Previous by thread: Re: Re: A simple swap function
  • Next by thread: Re: A simple swap function