All of the *_console commands should be fixed by ticket #34547.
On Thursday, January 19, 2023 at 11:45:59 PM UTC-8 trevor...@gmail.com
wrote:
> Something similar seems to happen with `gap_console()` and `gap.console()`.
>
> On Thursday, January 19, 2023 at 5:22:23 PM UTC-6 John H Palmieri
I'm sure I have seen posts about this but cannot find them or guess the
appropriate commands.
In testing variants of some new and algorithms to compute the same thing I
know how to measure the CPU time taken using cputime(), but is there a way
I can tell how much memory was used -- the maximum