Re: [sage-devel] Re: [debian-science] Modularized sagemath packages: proof of concept

2024-10-07 Thread Dima Pasechnik
On Mon, Oct 7, 2024 at 8:37 PM Oscar Benjamin wrote: > > On Mon, 7 Oct 2024 at 20:19, Dima Pasechnik wrote: > > > > Mind you, Mathematica (!) bundles Flint (which is GPL, and depends on > > GPLd libraries). > > FLINT is LGPL as are its dependencies GMP and MPFR. > > I'm no expert on license terms

Re: [sage-devel] Re: [debian-science] Modularized sagemath packages: proof of concept

2024-10-07 Thread Oscar Benjamin
On Mon, 7 Oct 2024 at 20:19, Dima Pasechnik wrote: > > Mind you, Mathematica (!) bundles Flint (which is GPL, and depends on > GPLd libraries). FLINT is LGPL as are its dependencies GMP and MPFR. I'm no expert on license terms but Wikipedia says: The main difference between the GPL and the LGPL

Re: [sage-devel] Re: [debian-science] Modularized sagemath packages: proof of concept

2024-10-07 Thread Dima Pasechnik
On Mon, Oct 7, 2024 at 7:56 PM Michael Orlitzky wrote: > > On Mon, 2024-10-07 at 11:47 -0700, William Stein wrote: > > > > Licensing is a critical part of evaluating this. For example, mpmath is > > BSD licensed. Even if chopping up the core of Sage produced things that > > are useful, a lot of

Re: [sage-devel] Re: [debian-science] Modularized sagemath packages: proof of concept

2024-10-07 Thread Dima Pasechnik
On Mon, Oct 7, 2024 at 7:48 PM William Stein wrote: > > > Dima: >> >> If we concentrated on facilitating the latter, rather than on >> distribution packages, it could have been there now. > > > +1 > > Nils: > > I have yet to see a convincing example where chopping up core architecture > > of sage

Re: [sage-devel] Re: [debian-science] Modularized sagemath packages: proof of concept

2024-10-07 Thread Dima Pasechnik
On Mon, Oct 7, 2024 at 5:15 PM Michael Orlitzky wrote: > > On Mon, 2024-10-07 at 07:55 -0700, William Stein wrote: > > Hi, > > > > There are a number of big chunks of functionality in Sage, like interval > > arithmetic (I was just going to say this and Marc beat me to it), and the > > sage prepars

Re: [sage-devel] Re: [debian-science] Modularized sagemath packages: proof of concept

2024-10-07 Thread Michael Orlitzky
On Mon, 2024-10-07 at 11:47 -0700, William Stein wrote: > > Licensing is a critical part of evaluating this. For example, mpmath is > BSD licensed. Even if chopping up the core of Sage produced things that > are useful, a lot of projects wouldn't touch them due to the GPLv3 > license. (Networkx

Re: [sage-devel] Re: [debian-science] Modularized sagemath packages: proof of concept

2024-10-07 Thread William Stein
Dima: > If we concentrated on facilitating the latter, rather than on > distribution packages, it could have been there now. > +1 Nils: > I have yet to see a convincing example where chopping up core architecture of sagemath (like the coercion framework, the category framework, etc) leads to usa

Re: [sage-devel] Re: [debian-science] Modularized sagemath packages: proof of concept

2024-10-07 Thread Michael Orlitzky
On Mon, 2024-10-07 at 07:55 -0700, William Stein wrote: > Hi, > > There are a number of big chunks of functionality in Sage, like interval > arithmetic (I was just going to say this and Marc beat me to it), and the > sage preparser, which could be valuable as separate packages that Sage uses. > >

[sage-devel] FLINT workshop January 27 – 31, 2025 in Palaiseau (France)

2024-10-07 Thread Marc Mezzarobba
We are organizing a week-long FLINT developer meeting January 27 – 31, 2025 on the École polytechnique campus in Palaiseau (near Paris, France). Website: https://flintlib.github.io/workshop2025.html The workshop will focus on coding sprints to develop FLINT and improve its integration in other

Re: [sage-devel] Re: [debian-science] Modularized sagemath packages: proof of concept

2024-10-07 Thread Nils Bruin
On Monday 7 October 2024 at 06:26:52 UTC-7 marc@gmail.com wrote: A concrete example of a useful standalone Sage module is CyPari2. By including CyPari within SnapPy we are able to make it possible to compute number theoretic invariants of hyperbolic manifolds. We are unable to use Sage's

Re: [sage-devel] Re: [debian-science] Modularized sagemath packages: proof of concept

2024-10-07 Thread William Stein
Hi, There are a number of big chunks of functionality in Sage, like interval arithmetic (I was just going to say this and Marc beat me to it), and the sage preparser, which could be valuable as separate packages that Sage uses. License of Sage is GPLv3, whereas the vast majority of the scientific

Re: [sage-devel] Re: [debian-science] Modularized sagemath packages: proof of concept

2024-10-07 Thread Dima Pasechnik
On Mon, Oct 7, 2024 at 2:26 PM Marc Culler wrote: > > > > On Monday, October 7, 2024 at 12:05:25 AM UTC-5 Kwankyu Lee wrote: > > On the other hand, who would be the users of the distribution packages for > whatever need? I wonder how they overlap with sage developers. > > > A concrete example of

Re: [sage-devel] Re: [debian-science] Modularized sagemath packages: proof of concept

2024-10-07 Thread Dima Pasechnik
On Mon, Oct 7, 2024 at 11:47 AM Kwankyu Lee wrote: > > On Monday, October 7, 2024 at 6:38:34 PM UTC+9 oscar.j@gmail.com wrote: > > ... There would also be a strong incentive to try to carve out > a meaningful subset of Sage for end-users that was more portable ... > > > "portable" sounds a goo

Re: [sage-devel] Re: [debian-science] Modularized sagemath packages: proof of concept

2024-10-07 Thread Dima Pasechnik
On Mon, Oct 7, 2024 at 10:38 AM Oscar Benjamin wrote: > > On Mon, 7 Oct 2024 at 06:05, Kwankyu Lee wrote: > > > > On Monday, October 7, 2024 at 12:24:04 AM UTC+9 marc@gmail.com wrote: > > > > > I would say that the motivation is to make it possible for a developer to > > > include a self-con

Re: [sage-devel] Re: [debian-science] Modularized sagemath packages: proof of concept

2024-10-07 Thread kcrisman
For me, this is another instance of a user point of view versus a developer point of view. Coming from someone who tries to make SageMath easily available for ordinary people, Marc's views are all the more valuable IMHO. An individual mathematician who only needs some portion of the sage libr

Re: [sage-devel] Re: [debian-science] Modularized sagemath packages: proof of concept

2024-10-07 Thread Marc Culler
On Monday, October 7, 2024 at 12:05:25 AM UTC-5 Kwankyu Lee wrote: On the other hand, who would be the users of the distribution packages for whatever need? I wonder how they overlap with sage developers. A concrete example of a useful standalone Sage module is CyPari2. By including CyPari

Re: [sage-devel] Re: [debian-science] Modularized sagemath packages: proof of concept

2024-10-07 Thread Kwankyu Lee
On Monday, October 7, 2024 at 6:38:34 PM UTC+9 oscar.j@gmail.com wrote: ... There would also be a strong incentive to try to carve out a meaningful subset of Sage for end-users that was more portable ... "portable" sounds a good adjective to characterize distribution packages. Another may

Re: [sage-devel] Re: [debian-science] Modularized sagemath packages: proof of concept

2024-10-07 Thread Oscar Benjamin
On Mon, 7 Oct 2024 at 06:05, Kwankyu Lee wrote: > > On Monday, October 7, 2024 at 12:24:04 AM UTC+9 marc@gmail.com wrote: > > > I would say that the motivation is to make it possible for a developer to > > include a self-contained portion of sage in a separate project without > > having to m