CoCoA:Aliases

Aliases

list of global aliases

Description

This function prints a list of global aliases for packages. Aliases

are formed with the function <ttref>Alias</ttref>.

Example

  Alias LL := $abcd;
  Aliases();

Coclib       = $coclib
Approx       = $approx
   ---> Output suppressed <---
TP           = $contrib/thmproving
TV           = $contrib/typevectors
LL           = $abcd
-------------------------------

Syntax

Aliases():TAGGED(<quotes>Aliases</quotes>)

Alias

Introduction to Packages

   <type>packages</type>