Re: [sage-devel] Category question: how to get base ring?

2017-06-30 Thread Nicolas M. Thiery
On Fri, Jun 30, 2017 at 10:39:50AM +0200, Jeroen Demeyer wrote: > OK, but the question becomes: > > Suppose a parent R is in Algebras(something), is it safe to assume that R is > an algebra over R.base_ring()? In other words, what is the semantic of > "base_ring"? Hmm, good point. The funny

Re: [sage-devel] Re: Patchbot monitoring

2017-06-30 Thread Erik Bray
On Fri, Jun 30, 2017 at 4:04 PM, Vincent Delecroix <20100.delecr...@gmail.com> wrote: > On 30/06/2017 13:53, Erik Bray wrote: >> >> On Fri, Jun 30, 2017 at 12:35 PM, Kwankyu Lee wrote: >>> >>> >>> >>> On Friday, June 30, 2017 at 9:54:00 AM UTC+2, Erik Bray wrote:

Re: [sage-devel] Re: Patchbot monitoring

2017-06-30 Thread Vincent Delecroix
On 30/06/2017 13:53, Erik Bray wrote: On Fri, Jun 30, 2017 at 12:35 PM, Kwankyu Lee wrote: On Friday, June 30, 2017 at 9:54:00 AM UTC+2, Erik Bray wrote: Does anyone who runs / administers Sage patchbots have any hints/tips regarding monitoring of their patchbots? I

Re: [sage-devel] Re: Patchbot monitoring

2017-06-30 Thread Erik Bray
On Fri, Jun 30, 2017 at 12:35 PM, Kwankyu Lee wrote: > > > On Friday, June 30, 2017 at 9:54:00 AM UTC+2, Erik Bray wrote: >> >> Does anyone who runs / administers Sage patchbots have any hints/tips >> regarding monitoring of their patchbots? > > > I run a patchbot using

[sage-devel] Re: Patchbot monitoring

2017-06-30 Thread Kwankyu Lee
On Friday, June 30, 2017 at 9:54:00 AM UTC+2, Erik Bray wrote: > > Does anyone who runs / administers Sage patchbots have any hints/tips > regarding monitoring of their patchbots? > I run a patchbot using screen. 1. I use "screen -r" to see what the patchbot is doing currently. 2. I check

Re: [sage-devel] Category question: how to get base ring?

2017-06-30 Thread Jeroen Demeyer
On 2017-06-29 19:41, Nicolas M. Thiery wrote: Hi Jeroen, On Tue, Jun 27, 2017 at 11:31:36AM +0200, Jeroen Demeyer wrote: Suppose that R is some parent which is contained in the category Algebras(B) for some ring B, how does one determine B from the parent R? I am asking because I

[sage-devel] Patchbot monitoring

2017-06-30 Thread Erik Bray
Does anyone who runs / administers Sage patchbots have any hints/tips regarding monitoring of their patchbots? In particular there are two types of things I'd like to monitor: 1. General health status of the patchbot--is it up and running and how many unique tickets has it tested, etc. Are the