Skip to content
Skip to main navigation
Skip to first column
Skip to second column
Singular
Download 3-1-3
Online Manual
Get Help
Report Bugs
Books
Teams
Join Us
Home
Online Manual
5.3.10 rtimer
Type:
int
Purpose:
identical to
timer
(see
timer
), except that real times (i.e., wall-clock) times are reported, instead of CPU times. This can be trusted on all operating systems (including Windows95/98).
Main
Home
News
Publications
How to cite Singular
Community
Forum
Trac
Events
Internal
System
New Libraries
SVN Repository
Third-party software
Misc
Links
Contact
Impressum