do not create optional sage(math)-brial about sage HOT 7 OPEN

What is this.

from sage.

I feel like my comments have been pulled out of context.

Should brial be purged? Eventually, but proper process is to have a deprecation period before removal. Making a package optional is a nice way around the problem, although not really a proper deprecation process. More of a side-stepping.
I would only brutally purge without warning, something that is a security risk or so obsolete that it prevent progress.

from sage.

a pile of bugs does not need a superhuge patch touching 616 files.

It's a waste of everyone's time.

from sage.

I am not going to have a shouting match. I am OK with a debate in which we properly address each other points before making our own. At the moment, you are just shouting louder.

With that in mind, can you address my points calmly:

• Do you propose a plan for deprecation?

• Is the security of Brial so bad, that it needs immediate removal?

• Is the presence of brial preventing something else important to happen in sage?

I will add that I inherited the maintenance of brial and can make a release to fix any urgent matters. Brial leaving sage is actually to my benefit as I can then abandon it to anyone wanting it.

from sage.

What is this.

Stop your gaslighting efforts. It's unbecoming of an academic who publicly advocates for "inclusivity" and "welcomeness" of SageMath.

from sage.

With that in mind, can you address my points calmly:

* Do you propose a plan for deprecation?

It's obvious, although needs a bit of work. BooleanPolynomialRing(...) is a slight extension, qua functionality, of
PolynomialRing(GF(2),...). Mathematically/algorithmically, it's a Groebner basis implementation for rings of polynomials over $\mathbb{F}_2$ (i.e. integers mod 2), modulo the ideal generated by the $x_i(x_i+1)$, with the primary (and only?) goal to be used as a SAT solver.
It uses tools (BBDs - Binary Decision Diagrams) from the SAT solving toolbox for the inner working, not so surprisingly.

The users of BooleanPolynomialRing can be advised to move to using a SAT solver directly.
The only desirable extra functionality is an exporter to a SAT format.

* Is the security of Brial so bad, that it needs immediate removal?

I never said it must be purged now.

* Is the presence of brial preventing something else important to happen in sage?

Packaging for Debian and Fedora?

I will add that I inherited the maintenance of brial and can make a release to fix any urgent matters. Brial leaving sage is actually to my benefit as I can then abandon it to anyone wanting it.

I totally don't see why it cannot be made experimental immediately, and deprecated, too.

from sage.

I will not participate in this discussion, which is below the necessary standard for respect.

from sage.