An expression e (typically itself a symbol or string) can be converted to a local name using the convert( e, '`local`' ) calling sequence. The expression returned is of type symbol, and is guaranteed to be unequal to any name at the same scope in which the call is made. If the expression e is a symbol, then the symbol returned by this conversion has the same external representation as e, but is distinct from e. (See the examples.)

Note that, because it is a Maple keyword, the name local must be enclosed in left single quotes, as demonstrated by the examples below.

$\mathrm{convert}\left(''a\; string''\,'\mathrm{`local`}'\right)$

$\mathrm{a\; string}$

$\mathrm{convert}\left(a\,'\mathrm{`local`}'\right)$

$a$

$\mathrm{evalb}\left(=a\right)$

$\mathrm{false}$

$a-$

$a-a$

$\mathrm{evalb}\left(\mathrm{convert}\left(a\,'\mathrm{string}'\right)=\mathrm{convert}\left(\mathrm{convert}\left(a\,'\mathrm{`local`}'\right)\,'\mathrm{string}'\right)\right)$

$\mathrm{true}$

p := proc()
    local t;
    evalb( t = convert( t, '`local`' ) )
end proc;

$p≔\mathbf{proc}\left(\right)\mathbf{local}t\;\mathrm{evalb}\left(t\=\mathrm{convert}\left(t\,\'\mathrm{local}\'\right)\right)\mathbf{end\; proc}$

$p\left(\right)$

$\mathrm{false}$

q := proc()
    local    t;
    evalb( convert( t, '`local`' ) = convert( t, '`local`' ) )
end proc:

$q\left(\right)$

$\mathrm{false}$

m := module()
    export e, try1, try2;
    local t;
    try1 := proc() evalb( e = convert( e, '`local`' ) ) end proc;
    try2 := proc() evalb( t = convert( t, '`local`' ) ) end proc;
end module:

$m:-\mathrm{try1}\left(\right)$

$\mathrm{false}$

$m:-\mathrm{try2}\left(\right)$

$\mathrm{false}$

$S≔\left\{\mathrm{seq}\left(\mathrm{convert}\left(t\,'\mathrm{`local`}'\right)\,i=1..10\right)\right\}$

$S≔\left\{t\,t\,t\,t\,t\,t\,t\,t\,t\,t\right\}$

$\mathrm{nops}\left(S\right)$

$10$

$T≔\left\{\mathrm{seq}\left(t\,i=1..10\right)\right\}$

$T≔\left\{t\right\}$

$\mathrm{nops}\left(T\right)$

$1$