Singular

D.15.20.2 killTask

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.

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