arnold.lib
LIB "arnold.lib"; ring R=0,(x,y),ds; intvec v1 = 1,1; intvec v2=1,2; def c = poshull(list(v1,v2)); c; ==> AMBIENT_DIM ==> 2 ==> FACETS ==> -1, 1, ==> 2,-1 ==> LINEAR_SPAN ==> ==>