/usr/include/singular/singular/kernel/oswrapper/timer.h is in libsingular4-dev-common 1:4.1.0-p3+ds-2build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 | #ifndef TIMER_H
#define TIMER_H
/****************************************
* Computer Algebra System SINGULAR *
****************************************/
/*
* ABSTRACT - get the computing time
*/
extern int timerv;
void startTimer(void);
void writeTime(const char* s);
int initTimer();
int getTimer();
extern int rtimerv;
void startRTimer(void);
void writeRTime(const char* s);
void initRTimer();
int getRTimer();
void SetTimerResolution(int res);
void SetMinDisplayTime(double mtime);
#endif
|