tasks.lib
LIB "tasks.lib"; ring R = 0, (x,y), dp; ideal I = x9y2+x10, x2y7-y8; task t = "std", list(I); getState(t); ==> created startTasks(t); getState(t); ==> started waitAllTasks(t); getState(t); ==> completed killTask(t); getState(t); ==> uninitialized