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