up previous next

1.7.1 Introduction to verbosity and interrupt

Various functions defined in CoCoALib and in the CoCoA packages print out some internal progress when the global VerbosityLevel is higher than some value (see their specific manual for the values, anyway not less than 10). See also SetVerbosityLevel .

A computation which appears to take too long may be interrupted by typing C-c (control-c), or, in Emacs, C-c C-c. The state of the memory after an interrupt is as it was before calling the interrupted function, thanks to the exception-safe design of CoCoALib.