arnold.lib
LIB "arnold.lib"; ring R=0,(x,y),ds; poly f = 2*x^2+5*x*y+7*x^7; poly m = x*y; coeff(f,m); ==> 5