I wrote a parser for Singular's protocol output during a Gröbner basis
However, sometimes I get output of the form:
Input rows 12
which isn't documented on the option(prot) page in the Singular manual. I can
guess the meaning of these lines, but is that really SlimGB's output or some
Also, since I'm mainly interested in extracting the highest degree reached
during the computation my question is mainly whether there's a way to get that
name: Martin Albrecht
_otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF
Hi, sorry for replying to myself. I now read the source code of tgb and it
seems this output comes from the noro implementation for multi reduction.
Would you object to printing the current degree for noro as well if opt(prot)
is set, just as in the other multi_reduction?