tasks.lib
LIB "tasks.lib"; ring R = 0, (x,y), dp; ideal I = x9y2+x10, x2y7-y8; task t = "std", list(I); getArguments(t); ==> [1]: ==> _[1]=x9y2+x10 ==> _[2]=x2y7-y8 killTask(t);