Skip to content
Skip to main navigation
Skip to first column
Skip to second column
Singular
Search
Download 4-3-0
Try Online
Online Manual
Graphical Interface
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
Mailing List
Blog
System
New Libraries
Source Code
Open Tasks
Third-party software
Misc
Links
Contact
Impressum
Internal