Re: [sage-devel] Re: Simple integral raises AttributeError

2019-12-06 Thread Emmanuel Charpentier
Okay. That means that we need - a wrapper for RootSum, AND - a wrapper for Lambda. ISTR that Mathematica has a similar setup.A rare occasion to kill two birds wit the same (two) stones. However, Mathematica's "pure functions" are, as far as I can tell, totally unknown to Sage... Thank yo

Re: [sage-devel] Google cloud platform research credits

2019-12-06 Thread Léo Brunswic
Hi,   I was thinking that a patchbot fulltime testing roughly one ticket every hour costs roughly 10€/month in electricity (it depends a lot on the configuration of course...).  Also, say we have roughly 12 ticket update every day and say we would like to check tickets for 10 different OS ( a

[sage-devel] Re: Problems setting patchbots

2019-12-06 Thread Frédéric Chapoton
The first problem is a known one, you can uninstall gap_packages to fix it. The second may be a bug in the patchbot server itself. I have no time to investigate. Maybe the # in the patchbot name is not a good idea (random guess) ? F Le vendredi 6 décembre 2019 13:04:06 UTC+1, mmarco a écrit :

Re: [sage-devel] Problems setting patchbots

2019-12-06 Thread Dima Pasechnik
On Fri, Dec 6, 2019 at 12:04 PM mmarco wrote: > > I am setting up several virtual machines with different distros to run > patchbots on them. In particular I want to use different distros (including > less usual ones) to get more diversity in the patchbot set. > > However, I am finding some prob

[sage-devel] Problems setting patchbots

2019-12-06 Thread mmarco
I am setting up several virtual machines with different distros to run patchbots on them. In particular I want to use different distros (including less usual ones) to get more diversity in the patchbot set. However, I am finding some problems: A debian machine is returning the following error w

Re: [sage-devel] Re: mad patchbot?

2019-12-06 Thread Dima Pasechnik
As Jeroen, who runs that bot, appears to be AWOL, this bot has to be banned. On Fri, 6 Dec 2019, 07:57 Frédéric Chapoton, wrote: > The mad patchbot named "sage4" is still running at full steam, sending > wrong reports by hundreds. > > It seems to be running an old version ot the patchbot code o