Classes | |
class | Commentator |
give information to user during runtime
This object is used for reporting information about a computation to the user. Such information includes errors and warnings, descriptions of internal progress, performance measurements, and timing estimates. It also includes facilities for controlling the type and amount of information displayed. More... | |
class | LinboxError |
class | MatrixStreamReader |
class | BaseTimer |
base for class RealTimer; class SysTimer; class UserTimer; More... |
Basic GMP integer wrapper, timers, commentator, matrix-stream-reader, error, debug.