tasks.lib
LIB "tasks.lib"; ring R = 0, (x,y), dp; ideal I = x9y2+x10, x2y7-y8; task t = "std", list(I); getCommand(t); ==> std killTask(t);