On Wed, Aug 17, 2016 at 11:30 AM, Simon King <simon.k...@uni-koeln.de> wrote: > On 2016-08-17, Erik Bray <erik.m.b...@gmail.com> wrote: >> Off the top of my head I don't know specifically what you're looking >> to do though; something more concrete would be helpful. > > The computation of the cohomology ring of a group G with coefficients in > GF(p) involves the computation of cohomology rings of several subgroups > U1, U2,... of G, unless G is abelian. In the log, I of course want to > see in what cohomology ring we currently do a computational task. > > It would be trivial to have a log that looks like this: > H*(G; GF(p)): Do task 1 > H*(U1; GF(p)): Do task 2 > H*(U1; GF(p)): Do task 3 > H*(U1; GF(p)): Do task 4 > H*(U2; GF(p)): Do task 2 > H*(U2; GF(p)): Do task 3 > H*(G; GF(p)): Do task 5 > > However, I find such a log difficult to read (just visually) and would > prefer to have the following instead: > H*(G; GF(p)): Do task 1 > H*(U1; GF(p)): Do task 2 > Do task 3 > Do task 4 > H*(U2; GF(p)): Do task 2 > Do task 3 > H*(G; GF(p)): Do task 5 > so that the messages related with a specific cohomology ring are nicely > grouped. Also it would be nice to *both* be able to turn logging on/off > for each cohomology ring individually as well as turn it on/off > simultaneously for all rings. > > Probably it makes sense that each cohomology ring has its own > logger (or perhaps there is a global logger, and each ring has its own > formatter?). But how to do the grouping? > I.e., how can I make the formatting of a log message depend on whether > the previous message came from the same or from a different ring?
Maybe don't even think about it that deeply or specifically as worrying about which log messages came from which ring. ISTM from your description that you'd get close enough if you had a log Formatter that is kind of dumb (in that it doesn't know anything semantically about the messages), but keeps track of the previous message it formatted, and strips / replaces with whitespace any common prefix between the current message and the last message. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
