|
D.2.13.2 killTask
Procedure from library tasks.lib (see tasks_lib).
- Usage:
- killTask(t), t task
- Return:
- nothing. If the state of t is 'started', then t is stopped first. The
internal data structures of t are erased and its state is set to
'uninitialized'.
- Note:
- 'killTask(t);' is not the same as 'kill t;'. The latter command does
not erase the internal data structures of t. Hence killTask() should
be called for any no longer needed task in order to free memory.
Example:
| LIB "tasks.lib";
ring R = 0, (x,y), dp;
ideal I = x9y2+x10, x2y7-y8;
task t = "std", list(I);
startTasks(t);
t;
killTask(t);
t;
getState(t);
| See also:
createTask;
getState;
printTask;
stopTask.
|