Sometimes it is necessary to create names for files from within Magma that will not clash with the names of existing files.
Given a prefix string P, return a unique temporary name derived from P (by use of the C library function mktemp()).[Next][Prev] [_____] [Left] [Up] [Index] [Root]