[sage-devel] Re: Is this feature: (x+y+3).reduce(Ideal([x*(x-1),y*(y-1)])) == x+y+3

Hello, The output seems to be the expected one. Can you please clarify what your question/observation is? For the first output, 'a' is already reduced w.r.t the DegRevLex Gröbner basis of the ideal (which happens to be the two provided polynomials in this case). The behaviour is clearly specif

Re: [sage-devel] Re: Modularation doctests

On Mon, Jun 12, 2023 at 1:35 AM 'Travis Scrimshaw' via sage-devel wrote: > > Hi Matthias, > > Happy to see that you are curious regarding the modularization project, but I > don't think it's a good approach to start this discussion with claims that > sound authoritative ("nobody will actually ma

Re: [sage-devel] Re: Is this feature: (x+y+3).reduce(Ideal([x*(x-1),y*(y-1)])) == x+y+3

Hi, thanks for the answer. I am trying algebraic approach to the NP-hard problem independent set in graph. For integer n, working over QQ['x',n] (probably another base field will work too). I have the following constraints: 1. x[i]*(x[i]-1)=0, i <=0 https://groups.google.com/d/msgid/sage-devel/CAGU

[sage-devel] Modularization project: II. The tools

(previous post: I. The goals ) *The monorepo. *Sage development will continue to use the same one repository sagemath/sage for development of the Sage distribution, the Sage library, and the documentation.

Re: [sage-devel] Modularization project: I. The goals

For the SnapPy project [1], modularization of Sage would very useful. Currently, we provide SnapPy as a stand-alone GUI application on Windows and macOS and as a pip-install Python module on those platforms plus Linux. When used in Sage, the SnapPy module gains extra functionality by leveragi

Re: [sage-devel] Modularization project: I. The goals

Hi Nathan, What parts of Sage does SnapPy use? (I was starting to look at https://github.com/search?q=repo%3A3-manifolds%2FSnapPy+%2F%28import+sage%7Csage.*import%29%2F&type=code&p=1 but this would take a while...) Matthias On Monday, June 12, 2023 at 11:18:05 AM UTC-7 Nathan Dunfield wrote:

Re: [sage-devel] Modularization project: I. The goals

On Monday, June 12, 2023 at 11:18:05 AM UTC-7 Nathan Dunfield wrote: [...] various parts of sage.all, including features that are of high interest to our users. It would be fantastic if we could include those in the stand-alone applications (including on Windows, which accounts for 2/3 of the

Re: [sage-devel] Modularization project: I. The goals

On Monday, June 12, 2023 at 2:58:18 PM UTC-4 Matthias Koeppe wrote: What parts of Sage does SnapPy use? Primarily the various rings/fields, including matrices over them and basic linear algebra. Specifically, interval arithmetic (Real/ComplexIntervalField), polynomial rings (in several varia