up previous next
A package begins with
and ends with
is a string that will be used to identify the package.
The dollar sign is required. The
must be a valid
identifier: i.e. start with a letter and comprise only letters,
digits, slash and underscore; the name should be meaningful (and usually
long, to avoid any risk of a name clash). We recommend using a name of the
All packages in the CoCoA directory
automatically loaded when starting CoCoA.