dmodloc.lib
LIB "dmodloc.lib"; ring r = 0,(x,y),dp; vector v = [x2-1,x+1]; simplifyRat(v); ==> x*gen(1)+gen(2)-gen(1) simplifyRat(v) - [x-1,1]; ==> 0