Sollya User's Manual

Name:

rename rename the free variable.

Usage:

rename(ident1,ident2) : void

Parameters:

ident1 is the current name of the free variable.
ident2 is a fresh name.

Description:

rename permits a change of the name of the free variable. Sollya can handle only one free variable at a time. The first time in a session that an unbound name is used in a context where it can be interpreted as a free variable, the name is used to represent the free variable of Sollya. In the following, this name can be changed using rename.
Be careful: if ident2 has been set before, its value will be lost. Use the command isbound to know if ident2 is already used or not.
If ident1 is not the current name of the free variable, an error occurs.
If rename is used at a time when the name of the free variable has not been defined, ident1 is just ignored and the name of the free variable is set to ident2.

Example 1:

   > f=sin(x);
   > f;
   sin(x)
   > rename(x,y);
   > f;
   sin(y)

Example 2:

   > a=1;
   > f=sin(x);
   > rename(x,a);
   > a;
   a
   > f;
   sin(a)

Example 3:

   > verbosity=1!;
   > f=sin(x);
   > rename(y,z);
   Warning: the current free variable is named "x" and not "y". Can only rename the free variable.
   The last command will have no effect.

Example 4:

   > rename(x,y);
   > isbound(x);
   false
   > isbound(y);
   true

Go back to the list of commands