Re: [Reduce-algebra-developers] sequence of "dummy variables" inside a procedure

[Eberhard S. <esc...@ca...>]

On 12/16/2014 11:25 PM, Kostas Oikonomou wrote:
> Eberhard,
>
> Thanks very much.  This works, in that  Reduce does not consider 'x' to
> be  an operator outside of my procedure.
> And this is what I wanted.
>
> I read in the primer about gensym(), and I think I know what
>
> put('anonymous_id,'psopfn,'gensym);

Actually this statement should better read

put('anonymous_id,'psopfn,'(lambda (x) (gensym)));

to avoid number of arguments mismatch (as pointed out to me privately by 
Arthur).

>
> does, but I don't totally understand how all of this works in
>
> procedure s1s2(...);
>      begin scalar x;
>          x := anonymous_id();
>          operator x;
>          ...
>
>
>                                  Kostas
>
> On 12/16/2014 15:17, Eberhard Schruefer wrote:
>> It uses a not interned id
>> for the operator name and therefore would not clash with anything.