|  |  D.2.12.2 killTask Procedure from librarytasks.lib(see  tasks_lib).
 
Example: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.
 See also:
 createTask;
 getState;
 printTask;
 stopTask.|  | LIB "tasks.lib";
ring R = 0, (x,y), dp;
ideal I = x9y2+x10, x2y7-y8;
task t = "std", list(I);
startTasks(t);
t;
==> A task with the following properties:
==> command:          std
==> no. of arguments: 1
==> state:            started
==> 
killTask(t);
t;
==> An uninitialized task
==> 
getState(t);
==> uninitialized
 | 
 
 |