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

2023-01-26 Thread Matthias Koeppe
(Hopefully) final iteration: https://34.105.185.241/sagemath/sage-all-2023-01-14-014/issues (with some fixes in the markdown conversion, fixes for comment numbers, and sorted description attributes) On Tuesday, January 24, 2023 at 5:04:24 PM UTC-8 Matthias Koeppe wrote: > The latest iteration:

Re: [sage-devel] Jan 30 to Feb 4: Trac downtime, migration to GitHub

2023-01-26 Thread Dima Pasechnik
On Thu, Jan 26, 2023 at 11:55 PM Matthias Koeppe wrote: > > Dear Sage developers: > Next week the migration from Trac to GitHub will take place. > > 1. Starting Monday Jan 30 at 13:00 UTC, the Trac website and the Trac git > server will be temporarily offline. For indefinitely continued access

[sage-devel] Jan 30 to Feb 4: Trac downtime, migration to GitHub

2023-01-26 Thread Matthias Koeppe
Dear Sage developers: Next week the migration from Trac to GitHub will take place. 1. Starting Monday Jan 30 at 13:00 UTC, the Trac website and the Trac git server will be temporarily offline. For indefinitely continued access to branches on Trac git (read only!), you can use

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

2023-01-26 Thread Matthias Koeppe
Typing "enh" selects "enhancement" uniquely Typing "s w" selects "needs work" uniquely Typing "s r" selects "needs review" uniquely Typing "geo" gives you 2 options for "geometry" or "algebraic geometry" to select etc. So I don't think we need to add three-letter shortcuts, which would come with

Re: [sage-devel] Integral of log() and exp() failing the derivative check

2023-01-26 Thread Oscar Benjamin
On Sat, 21 Jan 2023 at 14:34, Georgi Guninski wrote: > > I got an integral, which fails the derivative check. > > For real positive x, define > f(x)=2^(x - 1/2*I*log(-e^(-2*I*pi*x))/pi - 1/2) > f(x) is just an obfuscation of 2^floor(x) and > for all positive x, f(x) is integer. > Let g(x) be the

[sage-devel] Re: Integral of log() and exp() failing the derivative check

2023-01-26 Thread Emmanuel Charpentier
Indeed : ``` sage: f(x)=2^(x-1/2*I*log(-e^(-2*I*pi*x))/pi-1/2) ``` The key is probably ``` sage: f(x).diff(x) 0 ``` This should include an (infinite) series of terms in `dirac(x-k)` for k in integers... Logical consequence : ``` sage: f(x).integrate(x) 1/2*sqrt(2)*(-1)^(-1/2*I*log(2)/pi)*x

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

2023-01-26 Thread seb....@gmail.com
I knew that argument. But isn't it much easier to select an entry from a list of almost 100 entries by typing two or three characters instead of scrolling through the list? If we were to change enhancement to enhancement /te (t for type to Trac) and needs work to needs work /snw (s for status),