LinBox timer is Givaro's. More...
#include <givaro/givtimer.h>
Namespace in which all linbox code resides.
LinBox timer is Givaro's.