|  |  D.2.3.17 watchdog Procedure from librarygeneral.lib(see  general_lib).
 
Example:Return:
Result of cmd, if the result can be computed in i seconds.
Otherwise the computation is interrupted after i seconds,
the string "Killed" is returned and the global variable
'watchdog_interrupt' is defined.
Note:
* the current basering should not be watchdog_rneu, since
watchdog_rneu will be killed
* if there are variable names of the structure x(i) all
polynomials have to be put into eval(...) in order to be
interpreted correctly
 * a second Singular process is started by this procedure
 
 |  | LIB "general.lib";
proc sleep(int s) {return(system("sh","sleep "+string(s)));}
watchdog(1,"sleep(5)");
==> Killed
watchdog(10,"sleep(5)");
==> 0
 | 
 
 |