> < ^ Date: Sat, 07 Jan 1995 02:55:00 -0500
^ From: Gene Cooperman <ccs.mailing-lists.gap-forum@ccs.neu.edu >
> ^ Subject: Unbind()

The GAP manual says that Unbind() can be used to unbind fields of a record
and array elements. I noticed that it also works in the following:
<returns appropriate notice that x is unbound>

Is this usage supported?
I find it useful in removing extraneous temporary global variables after
their use, to avoid accidental collisions with variables of the same name
later. - Gene Cooperman

> < [top]