[sage-devel] Re: Multiple warnings in sagemath on default fedora 37

Hi, Le vendredi 20 janvier 2023 à 06:26:38 UTC+1, Georgi Guninski a écrit : sage: integrate(floor(x)^2,x) // Giac share root-directory:/usr/share/giac/ // Giac share root-directory:/usr/share/giac/ Added 0 synonyms x*floor(x)^2 I get this one with Sage 9.8.beta7 built from source on Ubuntu

[sage-devel] Doubts about correctness of `integrate(floor(x)^2,x)`

I have theoretical reasons to doubt the correctness of integrals involving `floor`. The smallest testcases: sage: integrate(floor(x)^2,x) // Giac share root-directory:/usr/share/giac/ // Giac share root-directory:/usr/share/giac/ Added 0 synonyms x*floor(x)^2 sage: integrate(2**floor(x),x) 2^flo

Re: [sage-devel] Re: Please inspect: Migrated Trac tickets on our temporary GitHub server

In the latest iteration, https://34.105.185.241/sagemath/sage-all-2023-01-14-009/issues, I have switched to the shorter prefix "c: " for components. Regarding the component labels, we have an ongoing discussion in https://github.com/sagemath/trac-to-github/issues/99 On Tuesday, January 17, 20

Re: [sage-devel] Doubts about correctness of `integrate(floor(x)^2,x)`

On Fri, Jan 20, 2023 at 07:16:14PM +0200, Georgi Guninski wrote: > I have theoretical reasons to doubt the correctness > of integrals involving `floor`. > > The smallest testcases: > > sage: integrate(floor(x)^2,x) > // Giac share root-directory:/usr/share/giac/ > // Giac share root-directory:/us