[sage-devel] Re: Demote brial (= polybori) from standard to experimental

2024-06-29 Thread Matthias Koeppe
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

Re: [sage-devel] Deleting depreciated is_functions

2024-06-29 Thread Matthias Koeppe
On Tuesday, June 25, 2024 at 4:01:01 AM UTC-7 Matthias Koeppe wrote: On Sunday, June 23, 2024 at 3:32:14 PM UTC-7 Matthias Koeppe wrote: On Tuesday, March 27, 2012 at 10:29:12 AM UTC-7 Starx wrote: This discussion stems from: http://groups.google.com/group/sage-devel/browse_thread/thread/979bdce

Re: [sage-devel] Re: ask.sagemath.org issues - do we need it?

2024-06-29 Thread Matthias Koeppe
Another migration route that we could consider: Importing the messages from AskBot into Google Groups (merging with the sage-support group). I don't visit ask.sagemath.org much, so others who are regulars there may correct me, but it seems that the whole downvoting/upvoting / karma / accepting

[sage-devel] Error in I.variety(algorithm='msolve', proof=False)

2024-06-29 Thread 'Peter Mueller' via sage-devel
R. = GF(2)[] L = [a^2+a, b^2+b] I = ideal(L) V = I.variety(algorithm='msolve', proof=False) raises a `ValueError: positive-dimensional ideal`, which of course is nonsense. Exporting the system to an msolve-readable file and using msolve directly (with the -P 2 flag) returns the correct result.