1) Brial is too broken for being an optional package.
2) It should be a separate PR, not one doing 10 other unrelated changes, and
touching 600+ files in the process
On 29 June 2024 20:57:31 BST, Matthias Koeppe wrote:
>Still waiting for review: https://github.com/sagemath/sage/pull/36380
>
Still waiting for review: https://github.com/sagemath/sage/pull/36380
I had hoped to get this into the Sage 10.4 release.
On Monday, June 10, 2024 at 10:23:13 AM UTC-7 Matthias Koeppe wrote:
> I'll remark that the approach of my PR
> https://github.com/sagemath/sage/pull/36380 takes brial to t
+1
On 10 June 2024 17:41:07 BST, Nathan Dunfield wrote:
>This makes sense to me.
>
>Nathan
>
>On Sunday, October 1, 2023 at 2:29:55 PM UTC-5 Matthias Koeppe wrote:
>
>I propose to demote this package to experimental.
>- It has been declared dead at least once -
>https://martinralbrecht.wordpres
I'll remark that the approach of my PR
https://github.com/sagemath/sage/pull/36380 takes brial to the same level
as the existing optional packages bliss, coxeter3, sirocco, tdlib, etc. and
applies the same approach to the Sage library code depending on the
library: It defines a separately build
+1 for me too
On Mon, 10 Jun 2024 at 18:41, Nathan Dunfield wrote:
>
> This makes sense to me.
>
> Nathan
>
> On Sunday, October 1, 2023 at 2:29:55 PM UTC-5 Matthias Koeppe wrote:
>
> I propose to demote this package to experimental.
> - It has been declared dead at least once -
> https://marti
This makes sense to me.
Nathan
On Sunday, October 1, 2023 at 2:29:55 PM UTC-5 Matthias Koeppe wrote:
I propose to demote this package to experimental.
- It has been declared dead at least once -
https://martinralbrecht.wordpress.com/2015/06/13/polybori-is-dead-it-needs-your-help/
- It has no u
A milder change, demoting it to optional, is ready for review
in https://github.com/sagemath/sage/pull/36380
On Sunday, October 1, 2023 at 12:29:55 PM UTC-7 Matthias Koeppe wrote:
> I propose to demote this package to experimental.
> - It has been declared dead at least once -
> https://martin
