[sage-devel] Proposal: ci codecov/patch reports but not fail

2024-10-02 Thread Kwankyu Lee
Hi, Currently ci is in good shape except codecov/patch. codecov/patch works well: it reports the coverage change, and fails for a PR that does not test every code path. However, it is a problem that codecov/patch failure make the whole check for the PR fail. *It is not our coding standard tha

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

2024-10-02 Thread Kwankyu Lee
In my mind it could make sense for there to be a sagemath-minimal package which from a user perspective represents a "minimal installation of Sage" in comparison to say a package called sagemath-full. sagemath-standard is your sagemath-full. I think distribution packages in the current des

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

2024-10-02 Thread Oscar Benjamin
On Wed, 2 Oct 2024 at 18:16, Matthias Koeppe wrote: > On Tuesday, October 1, 2024 at 10:54:36 PM UTC-7 axio...@yahoo.de wrote: >> >> What do you have in mind people would do with just the stuff in >> `categories`? > > As the dependency diagram shows -- it works as the common dependency of > va

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

2024-10-02 Thread Matthias Koeppe
On Wednesday, October 2, 2024 at 1:08:37 AM UTC-7 axio...@yahoo.de wrote: ... What I tried to say is that the core distribution should have minimal dependencies, but contain as much of sage as possible. More code requires more dependencies. The "core distribution" as you describe is not possi

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

2024-10-02 Thread Matthias Koeppe
On Wednesday, October 2, 2024 at 1:57:48 AM UTC-7 Dima Pasechnik wrote: I don't think it's wise to subject people to more messy misnamed things than it is absolutely necessary. Once people are used to bad designs and wrong names (assuming there is anyone left working with them!), it's pretty h

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

2024-10-02 Thread Matthias Koeppe
On Wednesday, October 2, 2024 at 1:57:48 AM UTC-7 Dima Pasechnik wrote: They do provide a random subset of concrete implementations - e.g. polynomials. It's not "random". What is included is the result of years of my work on code and tests, to find a viable subset that can be separately bui

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

2024-10-02 Thread Matthias Koeppe
On Wednesday, October 2, 2024 at 1:57:48 AM UTC-7 Dima Pasechnik wrote: > And for sure doing any such renaming games will be outside of the scope of the PR in question. https://github.com/sagemath/sage/pull/36380 should not wait for it. #36380 is first of all waiting for, requested by more tha

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

2024-10-02 Thread Matthias Koeppe
On Tuesday, October 1, 2024 at 10:54:36 PM UTC-7 axio...@yahoo.de wrote: So, it turns out that > * a core distribution with absolutely minimal dependencies and only dependencies which have proved stable on all supported platforms > > This is exactly sagemath-categories. It has absolutely minim

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

2024-10-02 Thread Dima Pasechnik
On Wed, Oct 2, 2024 at 12:43 AM Matthias Koeppe wrote: > > On Sunday, September 29, 2024 at 12:15:04 AM UTC-7 Dima Pasechnik wrote: > > On 29 September 2024 01:50:39 BST, Matthias Koeppe > wrote: > >On Saturday, September 28, 2024 at 5:21:56 PM UTC-7 oscar.j@gmail.com > >wrote: > > > >On Sun

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

2024-10-02 Thread Dima Pasechnik
On Wed, Oct 2, 2024 at 6:54 AM 'Martin R' via sage-devel wrote: > > So, it turns out that > > * a core distribution with absolutely minimal dependencies and only > > dependencies which have proved stable on all supported platforms > > > > This is exactly sagemath-categories. It has absolutely min

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

2024-10-02 Thread 'Martin R' via sage-devel
... What I tried to say is that the core distribution should have minimal dependencies, but contain as much of sage as possible. More code requires more dependencies. The "core distribution" as you describe is not possible. I don't understand this, and I don't understand why some "function