Hi Eric,
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?
Hopefully that was more concrete. In any case, thanks for the links you
provided -- I will see if I can find ideas there. I expect that
grouping of log messages has a standard solution.
Best regards,
Simon
--
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.
