up previous next
define aliases for package names
alias B_1,...,B_r
where each B_i is a binding of the form: Identifier := $PackageName
|
This function is for declaring both global and local aliases for
package names. Recall that package names are meant to be long in
order to avoid conflicts between the names of functions that are read
into a CoCoA session. However, it is inconvenient to have to type out
the long package name when referencing a function. So the user
chooses an alias to take the place of the package name; the alias is
just a means to avoid typing.
1. Global aliases. To avoid typing the full package name as a prefix
to package functions, one may declare a short global alias during a
CoCoA session. A list of the global aliases is produced by the
function
aliases
. For examples, see the chapter on packages in the
manual, in particular the section,
Global Aliases. Online, enter
?global aliases
.
2. Local aliases. A local alias has the same syntax as a global
alias, however it appears inside a package definition. The local
aliases work only inside the package and do not conflict with any
global aliases already defined. In fact, in order to avoid conflicts,
global aliases are not recognized within a package. For examples,
again look in the chapter for packages.
/**/ alias LL := $abcd;
/**/ aliases();
Coclib = $coclib
Approx = $approx
(...)
TP = $contrib/thmproving
TV = $contrib/typevectors
LL = $abcd
|