On Friday, 22 January 2016 17:23:06 UTC, David Joyner wrote: > > On Fri, Jan 22, 2016 at 2:29 AM, Dima Pasechnik <dim...@gmail.com > <javascript:>> wrote: > > > > > > On Thursday, 21 January 2016 07:16:45 UTC, Jeroen Demeyer wrote: > >> > >> On 2016-01-21 00:29, Dima Pasechnik wrote: > >> > Surely, if the official nauty got another licence it would have > solved > >> > the problem easier. > >> > >> Maybe you could ask McKay if he is willing to license *every* version > of > >> nauty (past and future) with a GPL-compatible license? If we are only > >> allowed to ship one specific version of nauty in Sage, we should not > >> make it standard since it won't be maintainable. > > > > > > I have asked, and here is his proposed licence for 2.6: > > (I have asked him to deal with part D better, too) > > > > > > This is the copyright notice for the software package Nauty and > > Traces, versions 2.6 and later. > > > > Four categories of software are included in the package: > > A. All files not listed as B-D below, copyright Brendan McKay (1984-) > > B. Files traces.h and traces.h, copyright Adolfo Piperno (2008-) > > C. File watercluster2.c, copyright Gunnar Brinkmann (2009-) > > D. Files planarity.h and planarity.c, copyright Magma project > > (University of Sydney) > > > > Can planarity.h and planarity.c be removed from the Sagemath version of > nauty? > > At my prompting, Brendan asked Magma group for permission to release. But if for some reason this won't work we can indeed just remove them.
> > Regarding files in classes A, B and C: > > Permission is hereby given for the use, distribution and > > modification of this software subject to the following. > > * You must include this copyright notice with all distributed > > copies of this software, including modified copies. > > * You must clearly mark modified versions of this software > > as differing from the original. > > > > Regarding files in class D: > > Permission should be sought from the Magma project. > > > > Regarding all the files in the package: > > This software is only provided "as is". No guarantee is made > > as to the suitability of this software for any purpose. No > > responsibility will be taken by the authors or their employers > > for any misfortune which befalls you because of its use. Your > > use of this software implies your agreement with this notice. > > > > Brendan McKay: Australian National University; brenda...@anu.edu.au > <javascript:> > > Adolfo Piperno: University of Rome "Sapienza"; pip...@di.uniroma1.it > <javascript:> > > Gunnar Brinkmann: University of Ghent; > > > > ---END-OF-FORMAL-COPYRIGHT-NOTICE--- > > > > Earlier (pre-2.6) versions of this package carried a different > > notice: "Permission is hereby given for use and/or distribution > > with the exception of sale for profit or application with nontrivial > > military significance." These days most people use nauty via a > > larger package such as Magma, Sage, or GAP, and often they don't > > even know they are using nauty. Due to the legal nonsense that > > large package distributors need to worry about, it has proved too > > much trouble to maintain an idiosyncratic licence. I didn't change > > my opinion about military use, but it is no longer part of the > > formal notice. Brendan McKay (Jan 20, 2016) > > > > > >> > >> > >> Jeroen. > > > > -- > > You received this message because you are subscribed to the Google > Groups > > "sage-devel" group. > > To unsubscribe from this group and stop receiving emails from it, send > an > > email to sage-devel+...@googlegroups.com <javascript:>. > > To post to this group, send email to sage-...@googlegroups.com > <javascript:>. > > Visit this group at https://groups.google.com/group/sage-devel. > > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.