Add GPLv2 license

ChrisJefferson · ChrisJefferson · commit 1e465d32b6d2 · 2017-09-27T13:01:04.000+01:00
diff --git a/LICENSE b/LICENSE
diff --git a/lib/SubAut.gd b/lib/SubAut.gd
@@ -1,5 +1,13 @@
 #############################################################################
-##
+##  This program is free software: you can redistribute it and/or modify
+##  it under the terms of the GNU General Public License as published by
+##  the Free Software Foundation, either version 2 of the License, or
+##  (at your option) any later version.
+##
+##  This program is distributed in the hope that it will be useful,
+##  but WITHOUT ANY WARRANTY; without even the implied warranty of
+##  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+##  GNU General Public License for more details.
 ##
 #W  SubAut.gd					      	Michael Albert,
 #W                                      Steve Linton,
diff --git a/lib/SubAut.gi b/lib/SubAut.gi
@@ -1,5 +1,13 @@
 #############################################################################
-##
+##  This program is free software: you can redistribute it and/or modify
+##  it under the terms of the GNU General Public License as published by
+##  the Free Software Foundation, either version 2 of the License, or
+##  (at your option) any later version.
+##
+##  This program is distributed in the hope that it will be useful,
+##  but WITHOUT ANY WARRANTY; without even the implied warranty of
+##  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+##  GNU General Public License for more details.
 ##
 #W  SubAut.gi						Michael Albert,
 #W                                      Steve Linton,
diff --git a/lib/autGraphs.gd b/lib/autGraphs.gd
@@ -1,5 +1,16 @@
 #############################################################################
+##  This program is free software: you can redistribute it and/or modify
+##  it under the terms of the GNU General Public License as published by
+##  the Free Software Foundation, either version 2 of the License, or
+##  (at your option) any later version.
 ##
+##  This program is distributed in the hope that it will be useful,
+##  but WITHOUT ANY WARRANTY; without even the implied warranty of
+##  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+##  GNU General Public License for more details.
+##
+##  You should have received a copy of the GNU General Public License
+##  along with this program.  If not, see <http://www.gnu.org/licenses/>.
 ##
 #W  autGraphs.gd						Michael Albert,
 #W                                      Steve Linton,
@@ -59,4 +70,4 @@ DeclareGlobalFunction( "Seqstacks" );
 ##  Produces a token passing network containing a buffer of size n, followed
 ##  by a stack of size m.
 ##
-DeclareGlobalFunction( "BufferAndStack" );
+DeclareGlobalFunction( "BufferAndStack" );
diff --git a/lib/autGraphs.gi b/lib/autGraphs.gi
@@ -1,5 +1,13 @@
 #############################################################################
+##  This program is free software: you can redistribute it and/or modify
+##  it under the terms of the GNU General Public License as published by
+##  the Free Software Foundation, either version 2 of the License, or
+##  (at your option) any later version.
 ##
+##  This program is distributed in the hope that it will be useful,
+##  but WITHOUT ANY WARRANTY; without even the implied warranty of
+##  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+##  GNU General Public License for more details.
 ##
 #W  autGraphs.gi						Michael Albert,
 #W                                      Steve Linton,
@@ -276,4 +284,4 @@ InstallGlobalFunction(BufferAndStack, function(n,m)
     gamma[n+m+2] := [];
 
     return gamma;
-end );
+end );
diff --git a/lib/autStatistics.gd b/lib/autStatistics.gd
@@ -1,5 +1,13 @@
 #############################################################################
-##
+##  This program is free software: you can redistribute it and/or modify
+##  it under the terms of the GNU General Public License as published by
+##  the Free Software Foundation, either version 2 of the License, or
+##  (at your option) any later version.
+##
+##  This program is distributed in the hope that it will be useful,
+##  but WITHOUT ANY WARRANTY; without even the implied warranty of
+##  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+##  GNU General Public License for more details.
 ##
 #W  autStatistics.gd						Michael Albert,
 #W                                          Steve Linton,
diff --git a/lib/autStatistics.gi b/lib/autStatistics.gi
@@ -1,5 +1,13 @@
 #############################################################################
-##
+##  This program is free software: you can redistribute it and/or modify
+##  it under the terms of the GNU General Public License as published by
+##  the Free Software Foundation, either version 2 of the License, or
+##  (at your option) any later version.
+##
+##  This program is distributed in the hope that it will be useful,
+##  but WITHOUT ANY WARRANTY; without even the implied warranty of
+##  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+##  GNU General Public License for more details.
 ##
 #W  autStatistics.gi						Michael Albert,
 #W                                          Steve Linton,
diff --git a/lib/automata.gd b/lib/automata.gd
@@ -1,5 +1,13 @@
 #############################################################################
+##  This program is free software: you can redistribute it and/or modify
+##  it under the terms of the GNU General Public License as published by
+##  the Free Software Foundation, either version 2 of the License, or
+##  (at your option) any later version.
 ##
+##  This program is distributed in the hope that it will be useful,
+##  but WITHOUT ANY WARRANTY; without even the implied warranty of
+##  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+##  GNU General Public License for more details.
 ##
 #W  automata.gd						Ruth Hoffmann
 ##
@@ -53,4 +61,4 @@ DeclareAttribute("PCMinimalAutomaton", IsAutomatonObj);
 ##
 ## Again we got rid of the Assertion
 ##
-DeclareGlobalFunction( "PCReducedNFA" );
+DeclareGlobalFunction( "PCReducedNFA" );
diff --git a/lib/automata.gi b/lib/automata.gi
@@ -1,5 +1,13 @@
 #############################################################################
+##  This program is free software: you can redistribute it and/or modify
+##  it under the terms of the GNU General Public License as published by
+##  the Free Software Foundation, either version 2 of the License, or
+##  (at your option) any later version.
 ##
+##  This program is distributed in the hope that it will be useful,
+##  but WITHOUT ANY WARRANTY; without even the implied warranty of
+##  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+##  GNU General Public License for more details.
 ##
 #W  automata.gi						Ruth Hoffmann
 ##
diff --git a/lib/basics.gd b/lib/basics.gd
@@ -1,5 +1,13 @@
 ################################################################################
-##
+##  This program is free software: you can redistribute it and/or modify
+##  it under the terms of the GNU General Public License as published by
+##  the Free Software Foundation, either version 2 of the License, or
+##  (at your option) any later version.
+##
+##  This program is distributed in the hope that it will be useful,
+##  but WITHOUT ANY WARRANTY; without even the implied warranty of
+##  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+##  GNU General Public License for more details.
 ##
 #W  basics.gd						Michael Albert,
 #W                                  Steve Linton,
diff --git a/lib/basics.gi b/lib/basics.gi
@@ -1,5 +1,13 @@
 #############################################################################
-##
+##  This program is free software: you can redistribute it and/or modify
+##  it under the terms of the GNU General Public License as published by
+##  the Free Software Foundation, either version 2 of the License, or
+##  (at your option) any later version.
+##
+##  This program is distributed in the hope that it will be useful,
+##  but WITHOUT ANY WARRANTY; without even the implied warranty of
+##  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+##  GNU General Public License for more details.
 ##
 #W  basics.gi						Michael Albert,
 #W                                  Steve Linton,
diff --git a/lib/classAndBasis.gd b/lib/classAndBasis.gd
@@ -1,5 +1,13 @@
 #############################################################################
-##
+##  This program is free software: you can redistribute it and/or modify
+##  it under the terms of the GNU General Public License as published by
+##  the Free Software Foundation, either version 2 of the License, or
+##  (at your option) any later version.
+##
+##  This program is distributed in the hope that it will be useful,
+##  but WITHOUT ANY WARRANTY; without even the implied warranty of
+##  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+##  GNU General Public License for more details.
 ##
 #W  classAndBasis.gd						Michael Albert,
 #W                                          Steve Linton,
diff --git a/lib/classAndBasis.gi b/lib/classAndBasis.gi
@@ -1,5 +1,13 @@
 #############################################################################
-##
+##  This program is free software: you can redistribute it and/or modify
+##  it under the terms of the GNU General Public License as published by
+##  the Free Software Foundation, either version 2 of the License, or
+##  (at your option) any later version.
+##
+##  This program is distributed in the hope that it will be useful,
+##  but WITHOUT ANY WARRANTY; without even the implied warranty of
+##  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+##  GNU General Public License for more details.
 ##
 #W  classAndBasis.gi						Michael Albert,
 #W                                          Steve Linton,
diff --git a/lib/decomp.gd b/lib/decomp.gd
@@ -1,5 +1,13 @@
 ###############################################################################
+##  This program is free software: you can redistribute it and/or modify
+##  it under the terms of the GNU General Public License as published by
+##  the Free Software Foundation, either version 2 of the License, or
+##  (at your option) any later version.
 ##
+##  This program is distributed in the hope that it will be useful,
+##  but WITHOUT ANY WARRANTY; without even the implied warranty of
+##  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+##  GNU General Public License for more details.
 ##
 #W  decomp.gd						Ruth Hoffmann
 ##
@@ -168,4 +176,4 @@ DeclareGlobalFunction( "IsInterval" );
 ## will not be the unique decomposition, by the definition of plus- or minus-
 ## decomposable permutations.
 ##
-DeclareGlobalFunction( "BlockDecomposition" );
+DeclareGlobalFunction( "BlockDecomposition" );
diff --git a/lib/decomp.gi b/lib/decomp.gi
@@ -1,5 +1,13 @@
 #############################################################################
-##
+##  This program is free software: you can redistribute it and/or modify
+##  it under the terms of the GNU General Public License as published by
+##  the Free Software Foundation, either version 2 of the License, or
+##  (at your option) any later version.
+##
+##  This program is distributed in the hope that it will be useful,
+##  but WITHOUT ANY WARRANTY; without even the implied warranty of
+##  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+##  GNU General Public License for more details.
 ##
 #W  decomp.gi						Ruth Hoffmann
 ##
diff --git a/lib/graphAut.gd b/lib/graphAut.gd
@@ -1,5 +1,13 @@
 #############################################################################
+##  This program is free software: you can redistribute it and/or modify
+##  it under the terms of the GNU General Public License as published by
+##  the Free Software Foundation, either version 2 of the License, or
+##  (at your option) any later version.
 ##
+##  This program is distributed in the hope that it will be useful,
+##  but WITHOUT ANY WARRANTY; without even the implied warranty of
+##  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+##  GNU General Public License for more details.
 ##
 #W  graphAut.gd						Michael Albert,
 #W                                  Steve Linton,
@@ -44,4 +52,4 @@ DeclareGlobalFunction( "Is2StarReplaceable" );
 ##
 ##  Checks if automaton can be represented in a "layered" manner.
 ##
-DeclareGlobalFunction( "IsStratified" );
+DeclareGlobalFunction( "IsStratified" );
diff --git a/lib/graphAut.gi b/lib/graphAut.gi
@@ -1,5 +1,13 @@
 #############################################################################
+##  This program is free software: you can redistribute it and/or modify
+##  it under the terms of the GNU General Public License as published by
+##  the Free Software Foundation, either version 2 of the License, or
+##  (at your option) any later version.
 ##
+##  This program is distributed in the hope that it will be useful,
+##  but WITHOUT ANY WARRANTY; without even the implied warranty of
+##  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+##  GNU General Public License for more details.
 ##
 #W  graphAut.gi						Michael Albert,
 #W                                  Steve Linton,
@@ -115,4 +123,4 @@ InstallGlobalFunction(IsStratified, function(aut)
     od;
     
     return true;
-end );
+end );
diff --git a/lib/inversion.gd b/lib/inversion.gd
@@ -1,5 +1,13 @@
 ################################################################################
+##  This program is free software: you can redistribute it and/or modify
+##  it under the terms of the GNU General Public License as published by
+##  the Free Software Foundation, either version 2 of the License, or
+##  (at your option) any later version.
 ##
+##  This program is distributed in the hope that it will be useful,
+##  but WITHOUT ANY WARRANTY; without even the implied warranty of
+##  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+##  GNU General Public License for more details.
 ##
 #W  inversion.gd						Ruth Hoffmann
 ##
@@ -45,4 +53,4 @@ DeclareGlobalFunction( "LoopFreeAut" );
 ## LoopVertexFreeAut builds the subautomaton of aut that does not contain the 
 ## vertices and their transitions in aut that loop to themselves.
 ##
-DeclareGlobalFunction( "LoopVertexFreeAut" );
+DeclareGlobalFunction( "LoopVertexFreeAut" );
diff --git a/lib/inversion.gi b/lib/inversion.gi
@@ -1,5 +1,13 @@
 ################################################################################
-##
+##  This program is free software: you can redistribute it and/or modify
+##  it under the terms of the GNU General Public License as published by
+##  the Free Software Foundation, either version 2 of the License, or
+##  (at your option) any later version.
+##
+##  This program is distributed in the hope that it will be useful,
+##  but WITHOUT ANY WARRANTY; without even the implied warranty of
+##  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+##  GNU General Public License for more details.
 ##
 #W  inversion.gi						Ruth Hoffmann
 ##
diff --git a/lib/simpleAuts.gd b/lib/simpleAuts.gd
@@ -1,5 +1,13 @@
 #############################################################################
-##
+##  This program is free software: you can redistribute it and/or modify
+##  it under the terms of the GNU General Public License as published by
+##  the Free Software Foundation, either version 2 of the License, or
+##  (at your option) any later version.
+##
+##  This program is distributed in the hope that it will be useful,
+##  but WITHOUT ANY WARRANTY; without even the implied warranty of
+##  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+##  GNU General Public License for more details.
 ##
 #W  simpleAuts.gd                       Ruth Hoffmann
 ##
diff --git a/lib/simpleAuts.gi b/lib/simpleAuts.gi
@@ -1,5 +1,13 @@
 #############################################################################
-##
+##  This program is free software: you can redistribute it and/or modify
+##  it under the terms of the GNU General Public License as published by
+##  the Free Software Foundation, either version 2 of the License, or
+##  (at your option) any later version.
+##
+##  This program is distributed in the hope that it will be useful,
+##  but WITHOUT ANY WARRANTY; without even the implied warranty of
+##  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+##  GNU General Public License for more details.
 ##
 #W  simpleAuts.gi                       Ruth Hoffmann
 ##
diff --git a/lib/simpleChains.gd b/lib/simpleChains.gd
@@ -1,5 +1,13 @@
 #############################################################################
+##  This program is free software: you can redistribute it and/or modify
+##  it under the terms of the GNU General Public License as published by
+##  the Free Software Foundation, either version 2 of the License, or
+##  (at your option) any later version.
 ##
+##  This program is distributed in the hope that it will be useful,
+##  but WITHOUT ANY WARRANTY; without even the implied warranty of
+##  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+##  GNU General Public License for more details.
 ##
 #W  simpleChains.gd                       Ruth Hoffmann
 ##
@@ -57,4 +65,4 @@ DeclareGlobalFunction( "NonSimpleOnePointAdditionTransducer" );
 ## returns the simple permutations that are have one additional point and are 
 ## encoded using the same alphabet.
 ##
-DeclareGlobalFunction( "OneStepSimplePermsAut" );
+DeclareGlobalFunction( "OneStepSimplePermsAut" );
diff --git a/lib/simpleChains.gi b/lib/simpleChains.gi
@@ -1,5 +1,13 @@
 #############################################################################
-##
+##  This program is free software: you can redistribute it and/or modify
+##  it under the terms of the GNU General Public License as published by
+##  the Free Software Foundation, either version 2 of the License, or
+##  (at your option) any later version.
+##
+##  This program is distributed in the hope that it will be useful,
+##  but WITHOUT ANY WARRANTY; without even the implied warranty of
+##  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+##  GNU General Public License for more details.
 ##
 #W  simpleChains.gi                       Ruth Hoffmann
 ##
