Re: [sage-devel] About license of nauty and poset generator

2015-07-01 Thread Jeroen Demeyer
On 2015-07-01 08:14, Jori Mäntysalo wrote: ...if we know that propably it is not what was meant. I think nobody really knows what was meant, which is why we should ask. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this gro

Re: [sage-devel] About license of nauty and poset generator

2015-06-30 Thread Tom Boothby
On Tue, Jun 30, 2015 at 11:14 PM, Jori Mäntysalo wrote: > > Maybe. But it would be quite nasty to interpret it that way, if we know that > propably it is not what was meant. You say nasty, I say that's the legal ramification of distributing his code under GPLv3+. We agree on this point, which is

Re: [sage-devel] About license of nauty and poset generator

2015-06-30 Thread Jori Mäntysalo
On Tue, 30 Jun 2015, Tom Boothby wrote: To clarify: what I'm uncomfortable with is the statement "you can ignore it [for Sage]". If that means that we can _delete_ the restriction from his license file, then that's great and a complete raw email message might hold up in court. Maybe. But it w

Re: [sage-devel] About license of nauty and poset generator

2015-06-30 Thread William Stein
On Tue, Jun 30, 2015 at 5:25 PM, Tom Boothby wrote: > I never said it'd hurt to ask again. Heck, I'd even send the email. > As far as I know, Robert Miller and I are the only people who have > read the source of NICE, and we're both in industry now. I need > faster isomorphism tests than Sage pr

Re: [sage-devel] About license of nauty and poset generator

2015-06-30 Thread Tom Boothby
I never said it'd hurt to ask again. Heck, I'd even send the email. As far as I know, Robert Miller and I are the only people who have read the source of NICE, and we're both in industry now. I need faster isomorphism tests than Sage provides, and neither of us has made any improvements to that c

Re: [sage-devel] About license of nauty and poset generator

2015-06-30 Thread William Stein
On Tue, Jun 30, 2015 at 11:28 AM, Tom Boothby wrote: > On Tue, Jun 30, 2015 at 11:12 AM, Jori Mäntysalo > wrote: > >> Duh. Then what he means when saying that we can ignore it for incorporation >> into Sage? > > > Only he can clarify that. If he releases the source under a > GPL-compatible lice

Re: [sage-devel] About license of nauty and poset generator

2015-06-30 Thread Tom Boothby
On Tue, Jun 30, 2015 at 11:12 AM, Jori Mäntysalo wrote: > Duh. Then what he means when saying that we can ignore it for incorporation > into Sage? Only he can clarify that. If he releases the source under a GPL-compatible license, then we have evidence that he means what he says. His verbal p

Re: [sage-devel] About license of nauty and poset generator

2015-06-30 Thread Jori Mäntysalo
On Tue, 30 Jun 2015, Tom Boothby wrote: I spoke with Brendan McKay personally less than a month ago. He is fully aware about the restrictions, and utterly unmoved by the difficulty his license creates. Duh. Then what he means when saying that we can ignore it for incorporation into Sage? A

Re: [sage-devel] About license of nauty and poset generator

2015-06-30 Thread Tom Boothby
I spoke with Brendan McKay personally less than a month ago. He is fully aware about the restrictions, and utterly unmoved by the difficulty his license creates. On Mon, Jun 29, 2015 at 4:30 AM, Jori Mäntysalo wrote: > More about licenses, see http://trac.sagemath.org/ticket/14110 . This is a >

[sage-devel] About license of nauty and poset generator

2015-06-29 Thread Jori Mäntysalo
More about licenses, see http://trac.sagemath.org/ticket/14110 . This is a non-technical issue. Who wants to contact the makers of nauty (and poset generation program)? I do not want, as I don't know that much about licenses and copyright issues. I am quite sure that they have not really think