Home Online Manual
Top
Back: createTask
Forward: copyTask
FastBack: resources_lib
FastForward: derham_lib
Up: tasks_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.20.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;
==> A task with the following properties:
==> command:          std
==> no. of arguments: 1
==> state:            started
==> 
killTask(t);
t;
==> An uninitialized task
==> 
getState(t);
==> uninitialized
See also: createTask; getState; printTask; stopTask.