previous  next
2.9.11. Supported Packages
Several packages are supported by the CoCoA team.  These packages
contain functions that are not built into CoCoA because they are of a
more specialized or experimental nature.

The supported packages are:

    algmorph.pkg    -- K-algebra homomorphisms
    ext.pkg         -- ext modules, depth, and presentations
    galois.pkg	    -- computing in a cyclic extension
    intprog.pkg     -- integer programming
    invariants.pkg  -- generators of an algebra of invariants
    primary.pkg     -- primary ideals
    specvar.pkg     -- special varieties
    stat.pkg        -- statistics, design of experiment
    thmproving.pkg  -- geometricla theorem proving
    typevectors.pkg -- typevectors for ideals of points

All of these packages are included in /lib/contrib of the distribution
of CoCoA.  The packages are likely to be updated more often than
CoCoA, itself, and new packages may appear; so it may be worth
checking at the CoCoA distribution sites, e.g.,
http://cocoa.dima.unige.it/.

HOW TO USE A SUPPORTED PACKAGE
-- save the package in lib/contrib/, if necessary;
-- to get the syntax, description, and examples of the main functions
   and a suggested alias for the package, type
       $contrib/"package_name".Man();
-- to find the version number, type
       $contrib/"package_name".About(); 

NOTE: The packages will load automatically when one of their functions
is called (see "Package Sourcing and Autoloading") for more
information. 

See below for more details about specific supported packages.