Timers.g ======== This file contains two GAP4 functions which I have found useful for (reasonably) exact timing of quick operations in GAP, together with a utility function for printing the results in human-readable form. Detailed documentation is included in the file. Many caveats apply to these timings of course. Perhaps the most important is that the functions will execute the operation to be timed many times over and over until the run takes long enough for the average to be reasonably stable. This results in all the various caches, both within GAP and in your operating system and hardware becoming "tuned" for the operation that you are timing. Executing the operation once in the middle of other work can take significantly longer. Steve Linton