The files in this subtree form part of the source code of the CoCoA Library.
The CoCoA Library is distributed under the GNU General Public License (version
3 or, if you prefer, any later version).  The full text of version 3 may be
found in the file COPYING-GPLv3 located in the root directory of the CoCoALib
distribution.
