1.7.3 Package Essentials |
Package $PackageNameand ends with
EndPackage;PackageName is a string that will be used to identify the package. The dollar sign is required. There are no restrictions on the string PackageName, but keep in mind that it serves to distinguish functions in the package from those in all other CoCoA packages. A name of the form contrib/subject is typical.