previous  next
2.9.21. Geometrical Theorem-Proving
Supported CoCoA Package

TITLE       : typevectors.pkg
DESCRIPTION : CoCoA package for computing typevectors associated to
              Hilbert functions of ideals of points
AUTHOR      : E.Carlini, M.Stewart
 
LOADING INSTRUCTIONS
-- Enter 
       $contrib/typevectors.Man();
   to get a complete description of the package including a suggested
   alias.
-- Enter 
       $contrib/typevectors.About();
   to find the version number.  You may want to check the CoCoA
   homepage for the latest version.