Re: [sage-devel] Re:

2025-04-14 Thread Nils Bruin
On Monday, 14 April 2025 at 10:05:20 UTC-7 Georgi Guninski wrote: I continue to think this is at least one bug. There is an easy fix via change_ring(): sage: M=F.adjacency_matrix();f=M.characteristic_polynomial();f=f.change_ring(AA) : ;ro=f.roots();sum(e for _,e in ro) 90 I'm not

Re: [sage-devel] [patch-2.7.6] Error downloading tarball of patch

2025-04-14 Thread Dima Pasechnik
On Mon, Apr 14, 2025 at 12:33 PM John H Palmieri wrote: > It seems that the most recent version of patch in homebrew no longer > provides automatic access to a binary "patch" (which I think it used to > do); instead it says > > If you need to use it as "patch", you can add a "gnubin" director

Re: [sage-devel] [patch-2.7.6] Error downloading tarball of patch

2025-04-14 Thread Dima Pasechnik
While you can download the tarfile from https://ftp.gnu.org/gnu/patch/patch-2.7.6.tar.gz into upstream/ it's more economic to use Homebrew for patch, and many more dependencies. PS. I gather that macOS patch is good enough nowadays, and we can use it, as proposed on https://github.com/sagemath/sag

Re: [sage-devel] Re:

2025-04-14 Thread Georgi Guninski
I continue to think this is at least one bug. There is an easy fix via change_ring(): sage: M=F.adjacency_matrix();f=M.characteristic_polynomial();f=f.change_ring(AA) : ;ro=f.roots();sum(e for _,e in ro) 90 -- You received this message because you are subscribed to the Google Groups "sage-

Re: [sage-devel] Re:

2025-04-14 Thread Nils Bruin
On Monday, 14 April 2025 at 09:16:49 UTC-7 dim...@gmail.com wrote: One would wish there was a way to tell the system from the beginning that this particular polynomial has only real roots. Perhaps there is an easy way to implement is (a class of real-rooted polynomials), no? Dima Well, the

Re: [sage-devel] Re:

2025-04-14 Thread Dima Pasechnik
On Mon, Apr 14, 2025 at 10:58 AM Nils Bruin wrote: > > It looks like a is an element of "Qbar". Elements there are tracked by > keeping track of a way to compute a polynomial it is a root of as well as a > complex "ball" that allows one to distinguish it from other roots of the > polynomial. Ce

[sage-devel] Re:

2025-04-14 Thread Nils Bruin
It looks like a is an element of "Qbar". Elements there are tracked by keeping track of a way to compute a polynomial it is a root of as well as a complex "ball" that allows one to distinguish it from other roots of the polynomial. Certain operations will force the actual computation of the min

Re: [sage-devel] PROPOSAL: remove python3 spkg from Sage

2025-04-14 Thread kcrisman
Marc, Your response seems to suggest that Dima is claiming that your distribution of Sage is wrong or shouldn't exist. Nothing could be further from the truth. Really? What does the following mean to you? "I don't want to go into merits of the macOS app, but it's a highly non-standard by m

[sage-devel]

2025-04-14 Thread Georgi Guninski
I think this is at least one bug on 10.5 on linux, attached is testcase F=Graph(SNIP) #90 vertices spe=F.spectrum() a=spe[64] print("(1):a=",a) #(1) -1.717980512878350? + 0.?e-60*I #XXX imaginary part print("(2):a=",a,"poly=",a.minpoly()) #(2): -1.717980512878350? poly= x^4 + 5*x^3 - 19*x - 16 #XX