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