gmspoly.lib
int k= 0; if f is not tame 1; if f is tame
LIB "gmspoly.lib"; ring R=0,(x,y),dp; istame(x2y+x); ==> 0 istame(x3+y3+xy); ==> 1